2 citations · 2 across the 2 of their papers we have counts for
3 papers
This is not the End: Rethinking Serverless Function Termination
Kalev Alpernas, Aurojit Panda, Mooly Sagiv
Elastic scaling is one of the central benefits provided by serverless platforms, and requires that they scale resource up and down in response to changing workloads. Serverless pla…
Some Complexity Results for Stateful Network Verification
Kalev Alpernas, Aurojit Panda, Alexander Rabinovich +4
In modern networks, forwarding of packets often depends on the history of previously transmitted traffic. Such networks contain stateful middleboxes, whose forwarding behaviour dep…
Secure Serverless Computing Using Dynamic Information Flow Control
Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi +4
The rise of serverless computing provides an opportunity to rethink cloud security. We present an approach for securing serverless systems using a novel form of dynamic information…