Kevin Liao

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 13

Top Topics

Sponsored Search

Probabilistic Approaches

Top Venues

IACR Cryptol. ePrint Arch.

IEEE Symposium on Security and Privacy

Proc. ACM Program. Lang.

Publications

Kevin Liao, Henry Corrigan-Gibbs, Dan Boneh
Divisible E-Cash for Billing in Private Ad Retargeting. Proc. Priv. Enhancing Technol. 2024 (4) (2024)
Gilles Barthe, Sunjay Cauligi, Benjamin Grégoire, Adrien Koutsos, Kevin Liao, Tiago Oliveira, Swarn Priya, Tamara Rezk, Peter Schwabe
High-Assurance Cryptography in the Spectre Era. IEEE Symposium on Security and Privacy (2021)
Manuel Barbosa, Gilles Barthe, Karthik Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno
SoK: Computer-Aided Cryptography. IEEE Symposium on Security and Privacy (2021)
Gilles Barthe, Justin Hsu, Kevin Liao
A probabilistic separation logic. Proc. ACM Program. Lang. 4 (POPL) (2020)
Gilles Barthe, Sunjay Cauligi, Benjamin Grégoire, Adrien Koutsos, Kevin Liao, Tiago Oliveira, Swarn Priya, Tamara Rezk, Peter Schwabe
High-Assurance Cryptography Software in the Spectre Era. IACR Cryptol. ePrint Arch. 2020 (2020)
Riccardo Paccagnella, Kevin Liao, Dave Tian, Adam Bates
Logging to the Danger Zone: Race Condition Attacks and Defenses on System Audit Frameworks. CCS (2020)
Kevin Liao, Matthew A. Hammer, Andrew Miller
ILC: A Calculus for Composable, Computational Cryptography. IACR Cryptol. ePrint Arch. 2019 (2019)
Manuel Barbosa, Gilles Barthe, Karthikeyan Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno
SoK: Computer-Aided Cryptography. IACR Cryptol. ePrint Arch. 2019 (2019)
Rui Aguiar, Kevin Liao
Autonomous Haiku Generation. CoRR (2019)
Kevin Liao, Matthew A. Hammer, Andrew Miller
ILC: a calculus for composable, computational cryptography. PLDI (2019)
Gilles Barthe, Justin Hsu, Kevin Liao
A Probabilistic Separation Logic. CoRR (2019)
Kevin Liao, Jonathan Katz
Incentivizing Blockchain Forks via Whale Transactions. Financial Cryptography Workshops (2017)
Kevin Liao, Ziming Zhao, Adam Doupé, Gail-Joon Ahn
Behind closed doors: measurement and analysis of CryptoLocker ransoms in Bitcoin. eCrime (2016)