机密计算

Formally Verifying a Rollback-Prevention Protocol for TEEs

8 7 月 pm8:51

SoK: Understanding Design Choices and Pitfalls of Trusted Execution Environments

8 7 月 pm8:47

SoK: Opportunities for Accelerating Multi-Party Computation via Trusted Hardware

8 7 月 pm8:46

Reusable Enclaves for Confidential Serverless Computing

28 8 月 2023

Controlled Data Races in Enclaves: Attacks and Detection

28 8 月 2023

Narrator: Secure and Practical State Continuity for Trusted Execution in the Cloud

21 9 月 2022

ENGRAFT: Enclave-guarded Raft on Byzantine Faulty Nodes

21 9 月 2022

CETIS: Retrofitting Intel CET for Generic and Efficient Intra-process Memory Isolation

21 9 月 2022

Stacco: Differentially Analyzing Side-Channel Traces for Detecting SSL/TLS Vulnerabilities in Secure Enclaves

5 4 月 2022

Leaky Cauldron on the Dark Land: Understanding Memory Side-Channel Hazards in SGX

5 4 月 2022