Not All Bugs Are Created Equal, But Robust Reachability Can Tell the Difference

von Girol, Guillaume
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)

A Tight Integration of Symbolic Execution and Fuzzing (Short Paper)

von Vinçont, Yaelle
Veröffentlicht in FPS (14. : 2021 : Paris) Foundations and practice of security (2022)

Adversarial Reachability for Program-level Security Analysis

von Ducousso, Soline
Veröffentlicht in ESOP (32. : 2023 : Paris) Programming languages and systems (2023)

Hunting the Haunter — Efficient Relational Symbolic Execution for Spectre with Haunted RelSE

von Daniel, Lesly-Ann
Veröffentlicht in Network and Distributed System Security Symposium (28. : 2021 : Online) Network and Distributed System Security Symposium 2021 (NDSS'21) ; Volume 2 of 2 (2021)

An Automated Deductive Verification Framework for Circuit-building

von Chareton, Christophe
Veröffentlicht in ESOP (30. : 2021 : Online) Programming languages and systems (2021)

Program Protection through Software-based Hardware Abstraction

von McDonald, J.
Veröffentlicht in SECRYPT (18. : 2021 : Online) SECRYPT 2021 (2021)

Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities

von Nguyen, Manh-Dung
Veröffentlicht in RAID (23. : 2020 : Online) 23rd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2020) (2021)

Evaluating Defensive Countermeasures for Software-Based Hardware Abstraction

von McDonald, J. Todd
Veröffentlicht in ICETE (18. : 2021 : Online) E-Business and telecommunications (2023)