Kevin Liao

According to our database, Kevin Liao authored at least 9 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

High-Assurance Cryptography in the Spectre Era.

Gilles Barthe, Sunjay Cauligi, Benjamin Grégoire, Adrien Koutsos, Kevin Liao, Tiago Oliveira, Swarn Priya, Tamara Rezk, Peter Schwabe

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

2020

A probabilistic separation logic.

Gilles Barthe, Justin Hsu, Kevin Liao

Proc. ACM Program. Lang., 2020

High-Assurance Cryptography Software in the Spectre Era.

Gilles Barthe, Sunjay Cauligi, Benjamin Grégoire, Adrien Koutsos, Kevin Liao, Tiago Oliveira, Swarn Priya, Tamara Rezk, Peter Schwabe

IACR Cryptol. ePrint Arch., 2020

Logging to the Danger Zone: Race Condition Attacks and Defenses on System Audit Frameworks.

Riccardo Paccagnella, Kevin Liao, Dave Tian, Adam Bates

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

2019

ILC: A Calculus for Composable, Computational Cryptography.

Kevin Liao, Matthew A. Hammer, Andrew Miller

IACR Cryptol. ePrint Arch., 2019

SoK: Computer-Aided Cryptography.

Manuel Barbosa, Gilles Barthe, Karthikeyan Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno

IACR Cryptol. ePrint Arch., 2019

Autonomous Haiku Generation.

Rui Aguiar, Kevin Liao

CoRR, 2019

2017

Incentivizing Blockchain Forks via Whale Transactions.

Kevin Liao, Jonathan Katz

Proceedings of the Financial Cryptography and Data Security, 2017

2016

Behind closed doors: measurement and analysis of CryptoLocker ransoms in Bitcoin.

Kevin Liao, Ziming Zhao, Adam Doupé, Gail-Joon Ahn

Proceedings of the 2016 APWG Symposium on Electronic Crime Research, 2016