Kevin Liao

kevliao@mit.edu | twitter | cv

I'm a JD/PhD candidate at Harvard Law School and MIT (Electrical Engineering and Computer Science). At MIT, I conduct research as part of the Internet Policy Research Initiative and the Computer Science & Artificial Intelligence Laboratory. My research explores the interplay between law, technology, and society. In particular, my research focuses on legal-technical co-design, which asks how law and technology can help each other get things "right." My research has been generously supported by an NSF Graduate Research Fellowship and a Harvey Fellowship.

Pic.

Publications

SoK: Accountability for Data Privacy
Kevin Liao, Lillian Tsai, Daniel J. Weitzner
In submission

Divisible E-Cash for Billing in Private Ad Retargeting
Kevin Liao, Henry Corrigan-Gibbs, Dan Boneh
Privacy Enhancing Technologies Symposium (PETS) 2024

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
IEEE Symposium on Security and Privacy (Oakland) 2021

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