“Divisible E-Cash for Billing in Private Ad Retargeting,” lead author, Privacy Enhancing Technologies Symposium (2024)
“High-Assurance Cryptography in the Spectre Era,” co-author, IEEE Symposium on Security and Privacy (2021)
“SoK: Computer-Aided Cryptography,” co-author, IEEE Symposium on Security and Privacy (2021)
“Logging to the Danger Zone: Race Condition Attacks and Defenses on System Audit Frameworks,” co-author, ACM Conference on Computer and Communications Security (2020)
“A Probabilistic Separation Logic,” co-author, ACM SIGPLAN Symposium on Principles of Programming Languages (2020)
“ILC: A Calculus for Composable, Computational Cryptography,” lead author, ACM SIGPLAN Conference on Programming Language Design and Implementation (2019)
“Incentivizing Blockchain Forks via Whale Transactions,” lead author, Workshop on Bitcoin and Blockchain Research (2017)
“Behind Closed Doors: Measurement and Analysis of CryptoLocker Ransoms in Bitcoin,” lead author, APWG Symposium on Electronic Crime Research (2016)
