Skip to main content

Below is a list of code repositories released by the team.

  • Pythia: A verifiable, cryptographic protocol that hardens passwords with the help of a remote service
  • NoCrack: Cracking-resistant password vaults using natural language encoders
  • pASSWORD tYPOS: How to correct them securely
  • Bohatei: Flexible and elastic DDoS defense
  • SOL: A framework for writing network optimization applications on top of SDN controllers
  • OpenNF: Enabling innovation in network function control
  • Tetris: Multi-resource packing for cluster schedulers
  • MPA: Analytics toolkit for minimizing network outages (e.g., due to bugs, misconfigurations, or failures)
  • ARC: Network analysis and verification of safety invariants for cloud data centers
  • SAFE: A trust logic engine with a certificate framework and a scripting engine to produce and consume logical certificates
  • CQSTR: A system with a cloud container abstraction at the level of VM clusters to enable verification of security properties of a cloud service