| CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation |
40th IEEE Symposium on Security and Privacy
|
| Using Safety Properties to Generate Vulnerability Patches |
40th IEEE Symposium on Security and Privacy
|
| Block Oriented Programming: Automating Data-Only Attacks |
ACM CCS 2018
|
| From Thousands of Hours to a Couple of Minutes: Automating Exploit Generation for Arbitrary Types of Kernel Vulnerabilities |
Black Hat USA 2018
|
| Online algorithms for adaptive cyber defense on Bayesian attack graphs |
ACM CCS 2017
|
| Is Interaction Necessary for Distributed Private Learning? |
38th IEEE Symposium on Security and Privacy
|
| Abusing Notification Services on Smartphones for Phishing and Spamming |
WOOT '12
|