Kevin Liao | twitter | cv

I'm a Ph.D. student at MIT in the PDOS group. My research focuses on building secure systems by blending ideas from cryptography and formal verification.



High-Assurance Cryptography in the Spectre Era
Gilles Barthe, Sunjay Cauligi, Benjamin Gregoire, Adrien Koutsos, Kevin Liao*, Tiago Oliveira, Swarn Priya, Tamara Rezk, Peter Schwabe
In submission

SoK: Computer-Aided Cryptography
Manuel Barbosa, Gilles Barthe, Karthik Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao*, Bryan Parno
IEEE Symposium on Security and Privacy (Oakland) 2021

Logging to the Danger Zone: Race Condition Attacks and Defenses on System Audit Frameworks
Riccardo Paccagnella, Kevin Liao, Dave (Jing) Tian, Adam Bates
ACM Conference on Computer and Communications Security (CCS) 2020

A Probabilistic Separation Logic
Gilles Barthe, Justin Hsu, Kevin Liao*
ACM SIGPLAN Symposium on Principles of Programming Languages (POPL) 2020

ILC: A Calculus for Composable, Computational Cryptography
Kevin Liao, Matthew A. Hammer, Andrew Miller
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2019

Incentivizing Blockchain Forks via Whale Transactions
Kevin Liao and Jonathan Katz
Workshop on Bitcoin and Blockchain Research (BITCOIN) 2017

Behind Closed Doors: Measurement and Analysis of CryptoLocker Ransoms in Bitcoin
Kevin Liao, Ziming Zhao, Adam Doupé, Gail-Joon Ahn
APWG Symposium on Electronic Crime Research (eCrime) 2016

* = alphabetical authorship