Follow
Vitaly Chipounov
Vitaly Chipounov
Cyberhaven
Verified email at chipounov.fr
Title
Cited by
Cited by
Year
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
7912011
Cloud9: A software testing service
L Ciortea, C Zamfir, S Bucur, V Chipounov, G Candea
ACM SIGOPS Operating Systems Review 43 (4), 5-10, 2010
2732010
The S2E platform: Design, implementation, and applications
V Chipounov, V Kuznetsov, G Candea
ACM Transactions on Computer Systems (TOCS) 30 (1), 1-49, 2012
2232012
Selective symbolic execution
V Chipounov, V Georgescu, C Zamfir, G Candea
Proceedings of the 5th Workshop on Hot Topics in System Dependability (HotDep), 2009
1292009
Testing {Closed-Source} Binary Device Drivers with {DDT}
V Kuznetsov, V Chipounov, G Candea
2010 USENIX Annual Technical Conference (USENIX ATC 10), 2010
1262010
Reverse engineering of binary device drivers with RevNIC
V Chipounov, G Candea
Proceedings of the 5th European conference on Computer systems, 167-180, 2010
1102010
System and method for in-vivo multi-path analysis of binary software
G Candea, V Chipounov, V Kuznetsov
US Patent 8,776,026, 2014
762014
Enabling sophisticated analyses of× 86 binaries with revgen
V Chipounov, G Candea
2011 IEEE/IFIP 41st International Conference on Dependable Systems and …, 2011
462011
Dynamically Translating x86 to LLVM using QEMU
V Chipounov, G Candea
462010
Lightweight snapshots and system-level backtracking
E Bugnion, V Chipounov, G Candea
Presented as part of the 14th Workshop on Hot Topics in Operating Systems, 2013
162013
Reverse-engineering drivers for safety and portability
V Chipounov, G Candea
Proceedings of the 4th Workshop on Hot Topics in System Dependability (HotDep), 2008
72008
Discover deeper bugs with dynamic symbolic execution and coverage‐based fuzz testing
B Zhang, C Feng, A Herrera, V Chipounov, G Candea, C Tang
Iet Software 12 (6), 507-519, 2018
52018
The SE Platform
V Chipounov, V Kuznetsov, G Candea
ACM Transactions on Computer Systems (), 2011
22011
Solution open source ou propriétaire. Content/web
V Chipounov, P Conus, S Ramareddy, PA Robert, S Ruchet
2007
Group ID U11275 Affiliated authors Amhof, Monique
S Andrica, R Banabic, AEW Bique, CM Brzak, S Bucur, G Candea, ...
Using Automated Reverse Engineering for the Safe Execution of Untrusted Device Drivers
V Chipounov, G Candea, W Zwaenepoel
The system can't perform the operation now. Try again later.
Articles 1–16