Folgen
Julien Vanegue
Julien Vanegue
Bestätigte E-Mail-Adresse bei ic.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
SMT Solvers in Software Security.
J Vanegue, S Heelan, R Rolles
WOOT 12, 9-22, 2012
592012
Towards scalable modular checking of user-defined properties
T Ball, B Hackett, SK Lahiri, S Qadeer, J Vanegue
International Conference on Verified Software: Theories, Tools, and …, 2010
422010
Towards practical reactive security audit using extended static checkers
J Vanegue, SK Lahiri
2013 IEEE Symposium on Security and Privacy, 33-47, 2013
292013
The weird machines in proof-carrying code
J Vanegue
2014 IEEE Security and Privacy Workshops, 209-213, 2014
272014
The automated exploitation grand challenge
J Vanegue
H2HC Conference, 2013
132013
Next generation debuggers for reverse engineering
J Vanegue, T Garnier, J Auto, S Roy, R Lesniak
4th Annual Hackers To Hackers Conference (BlackHat Europe), 2007
122007
Zero-sized heap allocations vulnerability analysis
J Vanegue
4th USENIX Workshop on Offensive Technologies (WOOT 10), 2010
72010
Heap models for exploit systems
J Vanegue
Proceedings of the IEEE Security and Privacy Workshop on Language-Theoretic …, 2015
62015
The ERESI reverse engineering software interface
J Vanegue, JAD MEDEIROS, E Bisolfati, A Desnos, T Figueredo, ...
62009
Adversarial logic
J Vanegue
International Static Analysis Symposium, 422-448, 2022
52022
Static binary analysis with a domain specific language
J Vanegue
Proc. of the EKOPARTY 2008, 2008
52008
Compositional Non-Termination Proving
A Raad, J Vanegue, P O’Hearn
22023
In memory safety, the soundness of attacks is what matters
J Vanegue
22020
ExplainHoudini: making Houdini inference transparent
SK Lahiri, J Vanegue
International Workshop on Verification, Model Checking, and Abstract …, 2011
22011
A General Approach to Under-Approximate Reasoning About Concurrent Programs
A Raad, J Vanegue, J Berdine, P O'Hearn
34th International Conference on Concurrency Theory (CONCUR 2023), 2023
12023
Eresi: une plate-forme d’analyse binaire au niveau noyau
A Desnos, S Roy, J Vanegue
SSTIC08, Rennes, France. http://www. sstic. org/SSTIC08/programme. do. Also …, 2008
12008
Relational Adversarial Logic
J Vanegue
2023
Hacking the Preboot eXecution Environment
J Vanegue
2008
Report on the KLEE workshop
J Vanegue, P Martin
Fifth Workshop on Language-Theoretic Security (LangSec) Program Committee
S Bratus, S Bekrar, J Callas, S Checkoway, F Duchene, T Dullien, D Geer, ...
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20