2 citations · 2 across the 2 of their papers we have counts for
3 papers
Property-Directed Reachability as Abstract Interpretation in the Monotone Theory
Yotam M. Y. Feldman, Mooly Sagiv, Sharon Shoham +1
Inferring inductive invariants is one of the main challenges of formal verification. The theory of abstract interpretation provides a rich framework to devise invariant inference a…
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…