Kevin Liao

According to our database, Kevin Liao authored at least 11 papers between 2016 and 2024.

Collaborative distances:

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

2024

Divisible E-Cash for Billing in Private Ad Retargeting.

Kevin Liao, Henry Corrigan-Gibbs, Dan Boneh

Proc. Priv. Enhancing Technol., 2024

Dynamic Security Management of Systems on Chip via Embedded FPGA in 22nm CMOS Technology.

Elsayed Elgendy, Ahmed Zaky Ghonem, Sherif Abouzeid, Islam Elsadek, Kevin Liao, Vincent Yen, K. C. Yap, Brian Faith, Eslam Yahya Tawfik

Proceedings of the 67th IEEE International Midwest Symposium on Circuits and Systems, 2024

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