| 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 | 685 | 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 | 685 | 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 | 436* | 2014 |
| Efficient State Merging in Symbolic Execution V Kuznetsov, J Kinder, S Bucur, G Candea Programming Language Design and Implementation, 2012 | 258 | 2012 |
| The S2E Platform: Design, Implementation, and Applications V Chipounov, V Kuznetsov, G Candea TOCS (ACM Transactions on Computer Systems) 30 (1), 2012 | 190 | 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 | 114 | 2010 |
| High System-Code Security with Low Overhead J Wagner, V Kuznetsov, G Candea, J Kinder 36th IEEE Symposium on Security and Privacy, 2015 | 44 | 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 | 30 | 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 | 20 | 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
