|
V. Chipounov and G. Candea.
Enabling Sophisticated Analysis of x86 Binaries with
RevGen.
In 7th Workshop on Hot Topics in System
Dependability (HotDep), 2011.
[ Details |
Full Text ]
V. Chipounov, V. Kuznetsov, and G. Candea.
S2E: A Platform for In-Vivo Multi-Path Analysis of
Software Systems.
In Proceedings of the 16th International Conference on
Architectural Support for Programming Languages and Operating
Systems, 2011.
BEST PAPER AWARD.
[ DOI |
Details |
Full Text ]
V. Chipounov and G. Candea.
Dynamically Translating x86 to LLVM using QEMU.
Technical report, 2010.
[ Details |
Full Text ]
V. Kuznetsov, V. Chipounov, and G. Candea.
Testing Closed-Source Binary Device Drivers with DDT.
In USENIX Annual Technical Conference, 2010.
[ Details |
Full Text ]
V. Chipounov and G. Candea.
Reverse Engineering of Binary Device Drivers with RevNIC.
In Proceedings of the 5th ACM SIGOPS/EuroSys European
Conference on Computer Systems (EuroSys), Paris France, April
2010, Paris, France, 2010.
[ Details |
Full Text |
Link ]
V. Chipounov, V. Georgescu, C. Zamfir, and G. Candea.
Selective Symbolic Execution.
In Proceedings of the 5th Workshop on Hot Topics in
System Dependability (HotDep), 2009.
[ Details |
Full Text |
Link ]
V. Chipounov and G. Candea.
Reverse-Engineering Drivers for Safety and Portability.
In Proceedings of the 4th Workshop on Hot Topics in
System Dependability (HotDep), 2008.
[ Details |
Full Text |
Link ]
|