Kevin Liao

kevliao@mit.edu | twitter | cv

I'm a JD/PhD candidate at Harvard Law School and MIT (Electrical Engineering and Computer Science). I'm a member of the Internet Policy Research Initiative and the Computer Science & Artificial Intelligence Laboratory. My research investigates the interplay between technology, law, and society.

Pic.

Publications

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

Billing for Private Ads with Divisible E-Cash
Kevin Liao, Henry Corrigan-Gibbs, Dan Boneh
In submission

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