- » AFRL-RomeAir Force Research Laboratory (Rome)
- » AFRL-SPIAir Force Research Laboratory (Wright Paterson)
Anti-Tamper/Software Protection Initiative (AT-SPI) - » DARPADefense Advanced Research Projects Agency (DARPA)
- » HSARPADepartment of Homeland Security (DHS)
Homeland Security Advanced Research Projects Agency (HSARPA) - » MDAMissile Defense Agency (MDA)
- » NASANational Aeronautics and Space Administration (NASA)
- » NISTNational Institute of Standards and Technology (NIST)
- » NSFNational Science Foundation (NSF)
- » ARMYUnited States Army
- » NAVYUnited States Navy (USN)
- » ONRUnited States Navy (USN)
Office of Naval Research (ONR)
United States Navy (USN)
Office of Naval Research (ONR)
Current Projects
- Mathematically Rigorous Analysis of Software Binaries
- Safety in Numbers
- Static Detection of Component Communication Faults