팔로우
Vitaly Chipounov
Vitaly Chipounov
Cyberhaven
chipounov.fr의 이메일 확인됨
제목
인용
인용
연도
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
9122011
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
2672012
Selective symbolic execution
V Chipounov, V Georgescu, C Zamfir, G Candea
Proceedings of the 5th Workshop on Hot Topics in System Dependability (HotDep), 2009
1452009
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
1172010
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
562010
Enabling sophisticated analyses of× 86 binaries with revgen
V Chipounov, G Candea
2011 IEEE/IFIP 41st International Conference on Dependable Systems and …, 2011
482011
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
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–16