Kevin Liao

15 papers A* 4Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Data Traceability for Privacy Alignment.
CoRR
Kevin Liao, Shreya Thipireddy, Daniel Weitzner
2024 J jnl
Divisible E-Cash for Billing in Private Ad Retargeting.
Proc. Priv. Enhancing Technol.
Kevin Liao, Henry Corrigan-Gibbs, Dan Boneh
2024 — conf
Dynamic Security Management of Systems on Chip via Embedded FPGA in 22nm CMOS Technology.
MWSCAS
Elsayed Elgendy, Ahmed Zaky Ghonem, Sherif Abouzeid, Islam Elsadek, Kevin Liao, Vincent Yen, K. C. Yap, Brian Faith, Eslam Yahya Tawfik
2021 A* conf
High-Assurance Cryptography in the Spectre Era.
SP
Gilles Barthe, Sunjay Cauligi, Benjamin Grégoire, Adrien Koutsos, Kevin Liao, Tiago Oliveira, Swarn Priya, Tamara Rezk, Peter Schwabe
2021 A* conf
SoK: Computer-Aided Cryptography.
SP
Manuel Barbosa, Gilles Barthe, Karthik Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno
2020 J jnl
A probabilistic separation logic.
Proc. ACM Program. Lang.
Gilles Barthe, Justin Hsu, Kevin Liao
2020 J jnl
High-Assurance Cryptography Software in the Spectre Era.
IACR Cryptol. ePrint Arch.
Gilles Barthe, Sunjay Cauligi, Benjamin Grégoire, Adrien Koutsos, Kevin Liao, Tiago Oliveira, Swarn Priya, Tamara Rezk, Peter Schwabe
2020 A* conf
Logging to the Danger Zone: Race Condition Attacks and Defenses on System Audit Frameworks.
CCS
Riccardo Paccagnella, Kevin Liao, Dave Tian, Adam Bates
2019 J jnl
A Probabilistic Separation Logic.
CoRR
Gilles Barthe, Justin Hsu, Kevin Liao
2019 J jnl
Autonomous Haiku Generation.
CoRR
Rui Aguiar, Kevin Liao
2019 J jnl
ILC: A Calculus for Composable, Computational Cryptography.
IACR Cryptol. ePrint Arch.
Kevin Liao, Matthew A. Hammer, Andrew Miller
2019 A* conf
ILC: a calculus for composable, computational cryptography.
PLDI
Kevin Liao, Matthew A. Hammer, Andrew Miller
2019 J jnl
SoK: Computer-Aided Cryptography.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, Gilles Barthe, Karthikeyan Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno
2017 — conf
Incentivizing Blockchain Forks via Whale Transactions.
Financial Cryptography Workshops
Kevin Liao, Jonathan Katz
2016 — conf
Behind closed doors: measurement and analysis of CryptoLocker ransoms in Bitcoin.
eCrime
Kevin Liao, Ziming Zhao, Adam Doupé, Gail-Joon Ahn