SystemPapers
September 12, 2021 at 8:54 pm
CS
Research
System
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