32 Vassar St 32-G980
Cambridge, MA 02139
Projects
- Kint is a static integer overflow checker.
- Retro helps sysadmin retroactively undo damages.
- Resin allows developers to secure web apps with data-flow assertions.
- Altair generates modular API cross-references for documentation.
