13 citations · 13 across the 3 of their papers we have counts for
3 papers
Lightweight, Secure and Stateful Serverless Computing with PSL
Alexander Thomas, Shubham Mishra, Kaiyuan Chen +1
We present PSL, a lightweight, secure and stateful Function-as-a-Serivce (FaaS) framework for Trusted Execution Environments (TEEs). The framework provides rich programming languag…
SCL: A Secure Concurrency Layer For Paranoid Stateful Lambdas
Kaiyuan Chen, Alexander Thomas, Hanming Lu +8
We propose a federated Function-as-a-Service (FaaS) execution model that provides secure and stateful execution in both Cloud and Edge environments. The FaaS workers, called Parano…
Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing
Dayeol Lee, Kevin Cheang, Alexander Thomas +7
Hardware enclaves rely on a disjoint memory model, which maps each physical address to an enclave to achieve strong memory isolation. However, this severely limits the performance…