research
∙
11/04/2022
This is not the End: Rethinking Serverless Function Termination
Elastic scaling is one of the central benefits provided by serverless pl...
share
research
∙
06/02/2021
Some Complexity Results for Stateful Network Verification
In modern networks, forwarding of packets often depends on the history o...
research
∙
02/25/2018
Secure Serverless Computing Using Dynamic Information Flow Control
The rise of serverless computing provides an opportunity to rethink clou...
research
∙
08/19/2017
Abstractions for Verifying Isolation Properties in Stateful Networks
Modern networks achieve robustness and scalability by maintaining states...
research
∙
08/19/2017