Cross-checking Semantic Correctness: The Case of Finding File System Bugs, ACM Symposium on Operating Systems Principles (SOSP), Oct 2015 > International Papers

[SW Security] Cross-checking Semantic Correctness: The Case of Finding File System Bugs, ACM Symposium on Operating Systems Principles (SOSP), Oct 2015

0
0
Print
08-19

Cross-checking Semantic Correctness: The Case of Finding File System Bugs, Changwoo Min, Sanidhya Kashyap, Byoungyoung Lee, Chengyu Song, and Taesoo Kim, ACM Symposium on Operating Systems Principles (SOSP) 2015

0
0

International Papers

HW Security KI-Mon: A Hardware-assisted Event-triggered Monitoring Platform for Mutable Kernel Object. , 22nd USENIX Security Symposium, Aug 2013 (Acceptance rate: 15.9%)

HW Security Vigilare : Toward Snoop-based Kernel Integrity Monitor, 19th ACM conference on computer and communications security, Oct 2012 (Acceptance rate: 18.9%)