Urheberrechtlich geschützt
Hat mitgewirkt an:
-
Exploring the Use of Static Data Flow Analysis for Automatic Vulnerability Audits of Rust Code
-
Automatic detection of architectural security flaws
-
Behavior Compliance Control for More Trustworthy Computation Outsourcing
-
On the Scalability of Static Program Analysis to Detect Vulnerabilities in the Java Platform