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
2026年份
问问这篇 Paper
问问你的智能体。
Lune 读过与它相关的顶会 Paper，每个回答都会注明依据哪几篇。
相关 Paper
- TruePix: Fast and Memory-Efficient Zero-Knowledge Authentication for Images and VideosLi Liu, Puwen Wei, Yunyan Zou, Zhuoran Ji 等CCS 2026
- Towards Formal Verification of State Continuity for Enclave ProgramsMohit Kumar Jangid, Guoxing Chen, Yinqian Zhang, Zhiqiang LinUSENIX Security 2021 · 被引用 18 次
- EXIA: Trusted Transitions for Enclaves via External-Input AttestationZhen Huang, Yidi Kao, Sanchuan Chen, Guoxing Chen 等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 次
