Julien Vanegue

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 2

Top Topics

Defeasible Logic

Security Systems

Concurrent Programs

Top Venues

IEEE Symposium on Security and Privacy

IEEE Symposium on Security and Privacy Workshops

Publications

Azalea Raad, Julien Vanegue, Josh Berdine, Peter W. O'Hearn
A General Approach to Under-Approximate Reasoning About Concurrent Programs. CONCUR (2023)
Julien Vanegue
Adversarial Logic. SAS (2022)
Julien Vanegue
The Weird Machines in Proof-Carrying Code. IEEE Symposium on Security and Privacy Workshops (2014)
Julien Vanegue, Shuvendu K. Lahiri
Towards Practical Reactive Security Audit Using Extended Static Checkers. IEEE Symposium on Security and Privacy (2013)
Julien Vanegue, Sean Heelan
SMT Solvers in Software Security. WOOT (2012)
Shuvendu K. Lahiri, Julien Vanegue
ExplainHoudini: Making Houdini Inference Transparent. VMCAI (2011)
Julien Vanegue
Zero-sized Heap Allocations Vulnerability Analysis. WOOT (2010)
Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue
Towards Scalable Modular Checking of User-Defined Properties. VSTTE (2010)