Kevin Liao

According to our database1, Kevin Liao authored at least 8 papers between 2016 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
A probabilistic separation logic.
Proc. ACM Program. Lang., 2020

High-Assurance Cryptography Software in the Spectre Era.
IACR Cryptol. ePrint Arch., 2020

Logging to the Danger Zone: Race Condition Attacks and Defenses on System Audit Frameworks.
Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

2019
ILC: A Calculus for Composable, Computational Cryptography.
IACR Cryptol. ePrint Arch., 2019

SoK: Computer-Aided Cryptography.
IACR Cryptol. ePrint Arch., 2019

Autonomous Haiku Generation.
CoRR, 2019

2017
Incentivizing Blockchain Forks via Whale Transactions.
Proceedings of the Financial Cryptography and Data Security, 2017

2016
Behind closed doors: measurement and analysis of CryptoLocker ransoms in Bitcoin.
Proceedings of the 2016 APWG Symposium on Electronic Crime Research, 2016


  Loading...