Capstone Publications

Conference and Journal Papers

J. Z. Yu, A. R. Jha, U. Mathur, T. E. Carlson, and P. Saxena, “Anvil: a general-purpose timing-safe hardware description language,” in Proceedings of the 31st ACM international conference on architectural support for programming languages and operating systems, in ASPLOS ’26. Pittsburgh, PA, USA: Association for Computing Machinery, 2026. [Online]. Available: https://arxiv.org/abs/2503.19447

J. Z. Yu, F. Han, K. Choudhury, T. E. Carlson, and P. Saxena, “Securing Mixed Rust with Hardware Capabilities,” in Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, in CCS ’25. New York, NY, USA: Association for Computing Machinery, Nov. 2025, pp. 1544–1558. doi: 10.1145/3719027.3744861.
J. Z. Yu, M. Li, A. Badole, T. E. Carlson, M. Swift, and P. Saxena, “Caplification: Bridging Capability-Aware and Capability-Oblivious Software,” in Proceedings of the 30th ACM Symposium on Access Control Models and Technologies, in SACMAT ’25. New York, NY, USA: Association for Computing Machinery, Jul. 2025, pp. 33–44. doi: 10.1145/3734436.3734449.

J. Z. Yu, C. Watt, A. Badole, T. E. Carlson, and P. Saxena, “Capstone: A Capability-based Foundation for Trustless Secure Memory Access,” in 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023. Extended preprint