SMT Solvers in Software Security. J Vanegue, S Heelan, R Rolles WOOT 12, 9-22, 2012 | 59 | 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 | 43 | 2010 |
Towards practical reactive security audit using extended static checkers J Vanegue, SK Lahiri 2013 IEEE Symposium on Security and Privacy, 33-47, 2013 | 31 | 2013 |
The weird machines in proof-carrying code J Vanegue 2014 IEEE Security and Privacy Workshops, 209-213, 2014 | 28 | 2014 |
The automated exploitation grand challenge J Vanegue H2HC Conference, 2013 | 12 | 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 | 12 | 2007 |
Adversarial logic J Vanegue International Static Analysis Symposium, 422-448, 2022 | 9 | 2022 |
Zero-sized heap allocations vulnerability analysis J Vanegue 4th USENIX Workshop on Offensive Technologies (WOOT 10), 2010 | 7 | 2010 |
Heap models for exploit systems J Vanegue Proceedings of the IEEE Security and Privacy Workshop on Language-Theoretic …, 2015 | 6 | 2015 |
The ERESI reverse engineering software interface J Vanegue, JAD MEDEIROS, E Bisolfati, A Desnos, T Figueredo, ... | 6 | 2009 |
Static binary analysis with a domain specific language J Vanegue Proc. of the EKOPARTY 2008, 2008 | 5 | 2008 |
Compositional Non-Termination Proving A Raad, J Vanegue, P O’Hearn | 3 | 2023 |
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 | 3 | 2023 |
ExplainHoudini: making Houdini inference transparent SK Lahiri, J Vanegue International Workshop on Verification, Model Checking, and Abstract …, 2011 | 3 | 2011 |
In memory safety, the soundness of attacks is what matters J Vanegue | 2 | 2020 |
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 | 1 | 2008 |
Non-termination Proving at Scale A Raad, J VANEGUE, P O’HEARN | | 2024 |
Relational Adversarial Logic J Vanegue | | 2023 |
Hacking the Preboot eXecution Environment J Vanegue | | 2008 |
Report on the KLEE workshop J Vanegue, P Martin | | |