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
- Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints
- BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
- CHANCEL: Efficient Multi-client Isolation Under Adversarial Programs
- Clemmys: Towards Secure Remote Execution in FaaS
- Data-Oriented Programming: On the Expressiveness of Non-Control Data Attacks
- Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification
- Expressing Information Flow Properties
- GrapheneSGX
- Occlum: Secure and Efficient Multitasking Inside a Single Enclave of Intel SGX
- Opaque: An Oblivious and Encrypted Distributed Analytics Platform
- PARTEMU: Enabling Dynamic Analysis of Real-World TrustZone Software Using Emulation
- PRIDWEN: Universally Hardening SGX Programs via Load-Time Synthesis
- PrivGuard: Privacy Regulation Compliance Made Easier
- 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
- Towards Demystifying Serverless Machine Learning Training
- Trust more, serverless
- Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3
- Доверя́й, но проверя́й: SFI safety for native-compiled Wasm