Number of items: 2.
Majumdar, Rupak and Tetali, Sai Deep and Wang, Zilong
(2014)
Kuai: A model checker for software-defined networks.
Tetali, Sai Deep and Lesani, Mohsen and Majumdar, Rupak and Millstein, Todd
(2013)
MrCrypt: Static Analysis for Secure Cloud Computations.
This list was generated on Mon Jul 7 23:38:11 2025 CEST.