| S2E: A platform for in-vivo multi-path analysis of software systems V Chipounov, V Kuznetsov, G Candea ACM Sigplan Notices 46 (3), 265-278, 2011 | 1011 | 2011 |
| S2E: A platform for in-vivo multi-path analysis of software systems V Chipounov, V Kuznetsov, G Candea Proceedings of the sixteenth international conference on Architectural …, 2011 | 1011 | 2011 |
| Code-Pointer Integrity V Kuznetsov, L Szekeres, M Payer, G Candea, R Sekar, D Song 11th USENIX Symposium on Operating Systems Design and Implementation, 2014 | 687* | 2014 |
| Efficient State Merging in Symbolic Execution V Kuznetsov, J Kinder, S Bucur, G Candea Programming Language Design and Implementation, 2012 | 382 | 2012 |
| The S2E Platform: Design, Implementation, and Applications V Chipounov, V Kuznetsov, G Candea TOCS (ACM Transactions on Computer Systems) 30 (1), 2012 | 285 | 2012 |
| Testing closed-source binary device drivers with DDT V Kuznetsov, V Chipounov, G Candea Proceedings of the 2010 USENIX conference on USENIX annual technical …, 2010 | 148 | 2010 |
| High System-Code Security with Low Overhead J Wagner, V Kuznetsov, G Candea, J Kinder 36th IEEE Symposium on Security and Privacy, 2015 | 75 | 2015 |
| -OVERIFY: Optimizing Programs for Fast Verification J Wagner, V Kuznetsov, G Candea Proceedings of the 14th USENIX conference on Hot Topics in Operating Systems, 2013 | 39* | 2013 |
| Poster: Getting the point (er): On the feasibility of attacks on code-pointer integrity V Kuznetsov, L Szekeres, M Payer, G Candea, D Song 36th IEEE Symposium on Security and Privacy, 2015 | 27 | 2015 |
| Improving systems software security through program analysis and instrumentation V KUZNETSOV ÉCOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE, 2016 | | 2016 |
George CandeaAssociate Professor of Computer Science, EPFL (Lausanne, Switzerland)Verified email at epfl.ch
