Kevin Liao
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2017–2021
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | SP | SoK: Computer-Aided Cryptography. | Manuel Barbosa, Gilles Barthe, Karthik Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno |
| 2021 | SP | High-Assurance Cryptography in the Spectre Era. | Gilles Barthe, Sunjay Cauligi, Benjamin Grgoire, Adrien Koutsos, Kevin Liao, Tiago Oliveira, Swarn Priya, Tamara Rezk, Peter Schwabe |
| 2020 | CCS | Logging to the Danger Zone: Race Condition Attacks and Defenses on System Audit Frameworks. | Riccardo Paccagnella, Kevin Liao, Dave Tian, Adam Bates |
| 2019 | PLDI | ILC: a calculus for composable, computational cryptography. | Kevin Liao, Matthew A. Hammer, Andrew Miller |
| 2017 | FC | Incentivizing Blockchain Forks via Whale Transactions. | Kevin Liao, Jonathan Katz |