Prati
Vitaly Chipounov
Vitaly Chipounov
Cyberhaven
Potvrđena adresa e-pošte na chipounov.fr
Naslov
Citirano
Citirano
Godina
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
9352011
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
2842010
The S2E platform: Design, implementation, and applications
V Chipounov, V Kuznetsov, G Candea
ACM Transactions on Computer Systems (TOCS) 30 (1), 1-49, 2012
2692012
Selective symbolic execution
V Chipounov, V Georgescu, C Zamfir, G Candea
Proceedings of the 5th Workshop on Hot Topics in System Dependability (HotDep), 2009
1502009
Testing {Closed-Source} Binary Device Drivers with {DDT}
V Kuznetsov, V Chipounov, G Candea
2010 USENIX Annual Technical Conference (USENIX ATC 10), 2010
1402010
Reverse engineering of binary device drivers with RevNIC
V Chipounov, G Candea
Proceedings of the 5th European conference on Computer systems, 167-180, 2010
1182010
System and method for in-vivo multi-path analysis of binary software
G Candea, V Chipounov, V Kuznetsov
US Patent 8,776,026, 2014
812014
Dynamically Translating x86 to LLVM using QEMU
V Chipounov, G Candea
582010
Enabling sophisticated analyses of× 86 binaries with revgen
V Chipounov, G Candea
2011 IEEE/IFIP 41st International Conference on Dependable Systems and …, 2011
492011
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
182013
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
62018
The SE Platform
V Chipounov, V Kuznetsov, G Candea
ACM Transactions on Computer Systems (), 2011
2011
Solution open source ou propriétaire. Content/web
V Chipounov, P Conus, S Ramareddy, PA Robert, S Ruchet
2007
Group ID U11275 Affiliated authors Andrica, Silviu
R Banabic, AEW Bique, CM Brzak, S Bucur, G Candea, C Cebeci, ...
Using Automated Reverse Engineering for the Safe Execution of Untrusted Device Drivers
V Chipounov, G Candea, W Zwaenepoel
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–16