| When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise |
ACM CCS 2018
|
| Mutually Assured Destruction and the Impending AI Apocalypse David Evans, University of Virginia |
WOOT '18
|
| Mixr: Flexible Runtime Rerandomization for Binaries |
ACM CCS 2017
|
| Revisiting Square Root ORAM: Efficient Random Access in Multi-Party Computation |
37th IEEE Symposium on Security and Privacy
|
| Understanding and Monitoring Embedded Web Scripts |
36th IEEE Symposium on Security and Privacy
|