Julien Vanegue

Julien Vanegue

Boyce Thompson Institute for Plant Research - New York / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 4597461
-
person_outline Julien Vanegue's MOST POPULAR ARTICLES
1-) SMT Solvers in Software Security.J Vanegue, S Heelan, R RollesWOOT 12, 9-22, 2012572012
2-) Towards scalable modular checking of user-defined propertiesT Ball, B Hackett, SK Lahiri, S Qadeer, J VanegueInternational Conference on Verified Software: Theories, Tools, and …, 2010412010
3-) Towards practical reactive security audit using extended static checkersJ Vanegue, SK Lahiri2013 IEEE Symposium on Security and Privacy, 33-47, 2013272013
4-) The weird machines in proof-carrying codeJ Vanegue2014 IEEE Security and Privacy Workshops, 209-213, 2014292014
5-) The automated exploitation grand challengeJ VanegueH2HC Conference, 2013132013