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 Thu Mar 28 05:05:44 2024 CET.