발행물
컨퍼런스
Proceedings of the 2022 Annual Conference on USENIX Annual Technical Conference (ATC)
2022
,
Modulo: Finding Convergence Failure Bugs in Distributed Systems with Divergence Resync Models
Proceedings of Proceedings of the 37th Annual Computer Security Applications Conference (ACSAC)
2021
Rocky: Replicating Block Devices for Tamper and Failure Resistant Edge-based Virtualized Desktop Infrastructure
Proceedings of the 2015 IEEE Symposium on Security and Privacy (Oakland 2015)
2015
Caelus: Verifying the Consistency of Cloud Services with Battery-Powered Devices
18th ACM Conference on Computer and Communications Security (CCS 2011)
2011
Unicorn: Two-Factor Attestation for Data Security
2025년 한국정보보호학회 하계학술대회 (CISC-S'25)
2025
Limitations of Automatically Generated API Specification for WordPress CMS Plugins: An Empirical Study