Attest the Whole, Verify Incrementally: Whole-Program Integrity via Lazy Verification in Trusted Execution Environments
Zhen Huang, Junhong Cheng, Yijia Ma, Guoxing Chen, Zhezhi He, Yan Meng, Mengmeng Zhou, Haojin Zhu
2026Year
Ask about this paper
Ask your agent about it.
Lune has read the top-tier papers around this one, so every answer names the papers it rests on.
Your agent calls
Lunesearch_papers
Free to start. No credit card required.
Terminal
Install the CLIlune papers get 46ede0ab-92eb-4ca6-9447-54d957cbf3d5Related papers
- TruePix: Fast and Memory-Efficient Zero-Knowledge Authentication for Images and VideosLi Liu, Puwen Wei, Yunyan Zou, Zhuoran Ji et al.CCS 2026
- Towards Formal Verification of State Continuity for Enclave ProgramsMohit Kumar Jangid, Guoxing Chen, Yinqian Zhang, Zhiqiang LinUSENIX Security 2021 · 18 citations
- EXIA: Trusted Transitions for Enclaves via External-Input AttestationZhen Huang, Yidi Kao, Sanchuan Chen, Guoxing Chen et al.NDSS 2026
- Adaptively Secure Computation for RAM ProgramsLaasya Bangalore, Rafail Ostrovsky, Oxana Poburinnaya, Muthuramakrishnan VenkitasubramaniamEUROCRYPT 2022
- Whole-Program Control-Flow Path AttestationNikita Yadav, Vinod GanapathyCCS 2023 · 10 citations
