Categorizing TEE papers
A list of system papers using/about Intel SGX
A curated list of SGX code and resources.
Formal Modeling Efforts
Formal Modeling of TEE
Secure DB
TEE: Secure DB
Collaboration with blockchains
TEE: with Blockchain
Cross-chain with TEE
Attacks
TEE: Vulnerabilities
Not yet categorized
A Hybrid Approach to Secure Function Evaluation using SGX
STRESS-SGX
github
AccTEE: A WebAssembly-based Two-way Sandbox for Trusted Resource Accounting
CoSMIX: A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves
SGXIO: Generic Trusted I/O Path for Intel SGX
SGXIO protects secure user applications as well as associated trusted paths against an untrusted OS.
Robust P2P Primitives Using SGX Enclaves
Towards Memory Safe Enclave Programming with Rust-SGX
Integrating Remote Attestation with Transport Layer Security
ReplicaTEE: Enabling Seamless Replication of SGX Enclaves in the Cloud
SafeKeeper: Protecting Web Passwords using Trusted Execution Environments
Computation on Encrypted Data using Dataflow Authentication