Secure Software Engineering
Secure Software Engineering Live Stream
Secure Software Engineering
TaintBench: Automatic Real-World Malware Benchmarking of Android Taint Analyses
17:55
Secure Software Engineering
Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++
7:00
Secure Software Engineering
Modelling the Effects of Global Variables in Data-Flow Analysis for C/C++ (SCAM 2021)
7:00
Secure Software Engineering
Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis (ECOOP 2021)
14:48