By topic
FaaS Papers, mainly in TEE
Generated List of Papers:
- A Design and Verification Methodology for Secure Isolated Regions
- A Formal Foundation for Secure Remote Execution of Enclaves
- A Study of Modern Linux API Usage and Compatibility: What to Support When You’re Supporting
- A Survey on Mix Networks and Their Secure Applications
- A Systematic Look at Ciphertext Side Channels on AMD SEV-SNP
- AccTEE: A WebAssembly-based Two-way Sandbox for Trusted Resource Accounting
- AddressSanitizer: A fast address sanity checker
- Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints
- BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
- Building GPU TEEs using CPU Secure Enclaves with GEVisor
- CHANCEL: Efficient Multi-client Isolation Under Adversarial Programs
- Clemmys: Towards Secure Remote Execution in FaaS
- ConfLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code
- Data-Oriented Programming: On the Expressiveness of Non-Control Data Attacks
- Dune: Safe User-level Access to Privileged CPU Features
- Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification
- Expressing Information Flow Properties
- GrapheneSGX
- Honeycomb: Secure and Efficient GPU Executions via Static Validation
- Information Flow Tracking for Heterogeneous Compartmentalized Software
- Labels and event processes in the asbestos operating system
- Machine Learning with Confidential Computing: A Systematization of Knowledge
- Occlum: Secure and Efficient Multitasking Inside a Single Enclave of Intel SGX
- Opaque: An Oblivious and Encrypted Distributed Analytics Platform
- P4CONTROL: Line-Rate Cross-Host Attack Prevention via In-Network Information Flow Control Enabled by Programmable Switches and eBPF
- PARTEMU: Enabling Dynamic Analysis of Real-World TrustZone Software Using Emulation
- PCC: Conventional and Foundational
- PRIDWEN: Universally Hardening SGX Programs via Load-Time Synthesis
- PrivGuard: Privacy Regulation Compliance Made Easier
- Proof Checking/Verification for SMT Solvers
- Provably-Safe Multilingual Software Sandboxing using WebAssembly
- S-FaaS: Trustworthy and Accountable Function-as-a-Service using Intel SGX
- SafeStack & CPI
- Scalable Memory Protection in the Penglai Enclave
- Securing TEEs with Verifiable Execution Contracts
- SGX Posts
- SinClave: Hardware-assisted Singletons for TEEs
- Software Debloating
- SoK: SGX.Fail: How Stuff Gets eXposed
- Towards Demystifying Serverless Machine Learning Training
- Trust more, serverless
- Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3
- Why3: Shepherd Your Herd of Provers
- Доверя́й, но проверя́й: SFI safety for native-compiled Wasm