Award Data

methyst Research Inc. will design, fabricate and test a high uniformity, large area, low noise infrared trap-detector detector for the 1- 4.5 μm wavelength range. This state of the art detector will have a large area (e.g., 1-1.8 cm diameter active area) with a spatial variability of internal quantum efficiency of less than 0.1 % between 1 μm and 4.5 μm. In addition, the internal quantum effici ...

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 ...

Although protocols for securing email have been available for over twenty years, these protocols, by nature of their use of asymmetric cryptography, require users to have the public key or certificate of the correspondents. Grier Forensics will develop technology to use the Domain Name System (DNS) to distribute certificates and keys, making email secure, authenticated, and confidential, curbing t ...

Trusted biometric validation of individual identities has never been more important. Several contributing factors are the increase in global terrorism, identity theft and the increase in legislation which are driving the accelerated adoption of biometric technology. Unfortunately, the biometrics industry has not actively responded to the changing market conditions being driven by the explosion in ...