متابعة
Kevin Liao
Kevin Liao
Harvard Law School, Massachusetts Institute of Technology
بريد إلكتروني تم التحقق منه على mit.edu - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
Behind Closed Doors: Measurement and Analysis of CryptoLocker Ransoms in Bitcoin‏
K Liao, Z Zhao, A Doupé, GJ Ahn‏
Proceedings of the Symposium on Electronic Crime Research (eCrime), 2016‏
2312016
SoK: Computer-Aided Cryptography‏
M Barbosa, G Barthe, K Bhargavan, B Blanchet, C Cremers, K Liao, ...‏
2242019
Incentivizing Blockchain Forks via Whale Transactions‏
K Liao, J Katz‏
Financial Cryptography and Data Security 2017, 2017‏
150*2017
A probabilistic separation logic‏
G Barthe, J Hsu, K Liao‏
Proceedings of the ACM on Programming Languages 4 (POPL), 1-30, 2019‏
522019
High-assurance cryptography in the spectre era‏
G Barthe, S Cauligi, B Grégoire, A Koutsos, K Liao, T Oliveira, S Priya, ...‏
2021 IEEE Symposium on Security and Privacy (SP), 1884-1901, 2021‏
512021
Logging to the danger zone: Race condition attacks and defenses on system audit frameworks‏
R Paccagnella, K Liao, D Tian, A Bates‏
Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications …, 2020‏
502020
ILC: A Calculus for Composable, Computational Cryptography‏
K Liao, MA Hammer, A Miller‏
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019‏
252019
Ransomware and cryptocurrency‏
GJ Ahn, A Doupe, Z Zhao, K Liao‏
Cybercrime Through an Interdisciplinary Lens 26, 105, 2016‏
22*2016
Divisible E-Cash for Billing in Private Ad Retargeting‏
K Liao, H Corrigan-Gibbs, D Boneh‏
Proceedings on Privacy Enhancing Technologies, 2024‏
2024
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–9