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
• 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
• 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
• PrivGuard: Privacy Regulation Compliance Made Easier
• 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
• Scalable Memory Protection in the Penglai Enclave
• 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