Julien Vanegue
Cited by
Cited by
SMT Solvers in Software Security.
J Vanegue, S Heelan, R Rolles
WOOT 12, 9-22, 2012
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
The weird machines in proof-carrying code
J Vanegue
2014 IEEE Security and Privacy Workshops, 209-213, 2014
Towards practical reactive security audit using extended static checkers
J Vanegue, SK Lahiri
2013 IEEE Symposium on Security and Privacy, 33-47, 2013
The automated exploitation grand challenge
J Vanegue
H2HC Conference, 2013
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
Zero-sized heap allocations vulnerability analysis
J Vanegue
4th USENIX Workshop on Offensive Technologies (WOOT 10), 2010
The ERESI reverse engineering software interface
J Vanegue, JAD MEDEIROS, E Bisolfati, A Desnos, T Figueredo, ...
Heap models for exploit systems
J Vanegue
Proceedings of the IEEE Security and Privacy Workshop on Language-Theoretic …, 2015
Static binary analysis with a domain specific language
J Vanegue
Proc. of the EKOPARTY 2008, 2008
ExplainHoudini: making Houdini inference transparent
SK Lahiri, J Vanegue
International Workshop on Verification, Model Checking, and Abstract …, 2011
In Memory Safety, The Soundness Of Attacks Is What Matters
J Vanegue
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
Hacking the Preboot eXecution Environment
J Vanegue
Adversarial Logic
J Vanegue
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, ...
LangSec: Fourth Workshop on Language Theoretic Security
S Bratus, ME Locasto, ML Patterson, A Shubina, J Vanegue
Fourth Workshop on Language-Theoretic Security (LangSec)
S Bratus, S Bekrar, J Callas, F Duchene, T Dullien, D Geer, P Gutmann, ...
LangSec 2015
S Bratus, J Callas, T Dullien, A Gantman, D Geer, R Graham, D Grawrock, ...
The system can't perform the operation now. Try again later.
Articles 1–20