Следене
Volodymyr Kuznetsov
Volodymyr Kuznetsov
Cyberhaven
Потвърден имейл адрес: cyberhaven.io - Начална страница
Заглавие
Позовавания
Позовавания
Година
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
10122011
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
10122011
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
697*2014
Efficient State Merging in Symbolic Execution
V Kuznetsov, J Kinder, S Bucur, G Candea
Programming Language Design and Implementation, 2012
3812012
The S2E Platform: Design, Implementation, and Applications
V Chipounov, V Kuznetsov, G Candea
TOCS (ACM Transactions on Computer Systems) 30 (1), 2012
2912012
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
1452010
High System-Code Security with Low Overhead
J Wagner, V Kuznetsov, G Candea, J Kinder
36th IEEE Symposium on Security and Privacy, 2015
802015
-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
41*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
262015
Improving systems software security through program analysis and instrumentation
V KUZNETSOV
ÉCOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE, 2016
2016
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–10