Biblio

Export 3 results:
Filters: Author is Volodymyr Kuznetsov  [Clear All Filters]
2014
Kuznetsov V, Szekeres L, Payer M, Candea G, Sekar R., Song D.  2014.  Code-Pointer Integrity. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :147--163.
2013
Wagner J, Kuznetsov V, Candea G.  2013.  -OVERIFY: Optimizing Programs for Fast Veriļ¬cation. 14th Workshop on Hot Topics in Operating Systems (HotOS XIV).
2010
Kuznetsov V, Chipounov V, Candea G.  2010.  Testing Closed-Source Binary Device Drivers with DDT. 2010 USENIX Annual Technical Conference (USENIX ATC 10).