| DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization |
ACM CCS 2018
|
| Secure Opportunistic Multipath Key Exchange |
ACM CCS 2018
|
| AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation |
39th IEEE Symposium on Security and Privacy
|
| Synthesis of Probabilistic Privacy Enforcement |
ACM CCS 2017
|
| Revive: Rebalancing Off-Blockchain Payment Networks |
ACM CCS 2017
|
| New Adventures in Spying 3G and 4G Users: Locate Track & Monitor |
Black Hat USA 2017
|
| Hijacking Bitcoin: Routing Attacks on Cryptocurrencies |
38th IEEE Symposium on Security and Privacy
|
| CAIN: Silently Breaking ASLR in the Cloud |
WOOT '15
|