Publications

2025

  1. NDSS 2025
    A Formal Approach to Multi-Layered Privileges for Enclaves

2024

  1. USENIX 2024
    ShadowBound: Efficient Heap Memory Protection Through Advanced Metadata Management and Customized Compiler Optimization