Award Data

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

Inexperienced swimmers are often unaware of the presence of treacherous rip currents and this leads to many drowning deaths each year. Even when signs are posted, the public probably does not clearly understand the danger. It would be more informative if the public were ale to maps of the location, speed, and direction of coastal currents. Ocean safety officials are using various methods to inform ...

For Phase II work, we propose to complete the development of the DICOS compliant ATR algorithm whose feasibility has been demonstrated by results of Phase I work. Important project milestones for the first base year of Phase II are as follows: (1) implementation of the DICOS standard including network protocol, (2) improvement of the proposed ATR algorithm in terms of explosive detection performan ...

The proposed goal of Nevada Nanotech Systems Inc for the Phase I program is to select a practical technological solution and develop a Con-Ops for the problem of detecting U.S. currency via unique vapor signature(s) in confined spaces for three related, though unique, application scenarios (bags, vehicles, and shipping containers). Nevada Nano will document a matrix of technical and operational re ...

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

In the proposed effort, we will leverage this extensive experience and capabilities to realize a frequency agile mmW radiometer that can cover the range of DC-110 GHz and can be scaled to DC-200 GHz under Phase II. Ours is a photonic system that multiplies and up-coverts a low-frequency reference signal onto an optical carrier (laser) using EO modulation, then uses the modulation sidebands to inj ...

Special Operation Forces personnel require a rugged, miniature receiver that is capable of monitoring RF energy while deployed on a mission. The RF receiver will give a better picture of the electromagnetic threat environment enabling a heightened situational awareness, yet the device must be small enough that it does not hamper the SOF warfighter during missions requiring stealth and rapid mobil ...

This project is designed to test a novel receptor scaffold/sensor combination for the selective and direct measurement of antigens and to compare direct electric detection of antigens against the corresponding antibody based ELISA method. The scaffold concept combines a robust nucleic acid receptor (aptamer) coupled to a low cost CMOS FET and AlGaN MODFET transducer. Aptamers are short nucleic aci ...

We propose to develop an integrated Cryptography Module (CM) and RTU (CMRTU) for SCADA applications. When used in CM mode, our CMRTU will be easily retrofitted into existing SCADA networks. When used in advanced RTU mode (where higher bandwidth connections are available), our CMRTU will provide both a secure gateway function and secure Internet protocols for interaction with either central monitor ...