Award Data

Aculight, teamed with Lockheed Martin Missiles and Fire Control (LMMFC), will deliver a system for remote capture of biometrics for screening processes in the Phase II of this proposed work. This system will have a range in excess of 100 meters, if needed, and supply facial depth resolution of < 2 mm. This aggressive goal is enabled by the DOD investment in 3D LIDAR at LMMFC and in eye-safe fiber ...

To meet the critical security needs of the Department of Homeland Security and others, we propose two methods for providing a secure root of trust for mobile devices. One method is designed to integrate as easily into existing systems, while the other requires deeper integration but provides correspondingly stronger security. The keys to our work are practicality and integration: practicality to e ...

Galois will build a practical, efficient, modular, deductive code verifier and verification methodology for multithread C11 software. The verifier will take code written to the C11 standard, suitably annotated with function contracts, assertions, program/data invariants, ghost data/code, and any platform-specific assumptions beyond those guaranteed by the standard, and will prove that the code mee ...