Software

  1. Cruiser, released in 2014, sponsored by National Science Foundation (NSF) under the Grant No. CNS-1223710.
  2. LOOP Opaque Predicate Detector, released in 2015,   sponsored by National Science Foundation (NSF) under the Grant No. CCF-1320605.
  3. IFC Importor for OpenStudio, released in 2015, sponsored by U.S. Department of Energy (DOE), National Energy Technology Laboratory (NETL), under the Grant DE-EE0004261.
  4. Uroboros: Reassembleable Disassembling, released in 2015, sponsored by Office of Naval Research (ONR) under the Grants No. N00014-13-1-0175 and N00014-16-1-2265. Uroboros has been adopted by 2 teams among the 7 finalists in the 2016 DARPA Cyber Grand Challenge (CGC) competition!