Award Data

Cargo containers are an attractive target for criminals and other enemies of the state. Yet the most widely adopted method of securing cargo containers--the bolt seal--provides at best limited protection from tampering and illicit entry. Such seals can be defeated quickly and the evidence hidden easily, in a variety of ways. These seals also rely on slow visual inspection to confirm their presence ...

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

The objective of the proposed work is to create low cost, low power sensors for autonomous measurement of ocean carbon. In our Phase I effort, we showed that Dioxide Materials’ miniature CO2 sensors have the speed and sensitivity to meet NOAA’s requirements for sensing ocean carbon. The objective of the proposed work is to further develop the sensors so that they can be used directly in NOAA ...

The A606 round is the current round of choice for sniper operations using the M107 or MK-15 weapons platforms.The A606 round was designed as an anti-materiel munitions, is not overly accurate (estimated 2 Minute of Angle), and is heavy (every two rounds weigh approximately a pound).(For example, the M107 weighs 36 pounds and 50 rounds of ammunition weigh 25 additional pounds for a total of 61 poun ...

The U.S. Special Operations Command (USSOCOM) has identified a need to develop a miniature unmanned air vehicle (MUAV) that can be launched from an airborne platform by a single crewman and subsequently transmit real-time video images for gathering intelligence, surveillance, and reconnaissance (ISR) information. The MUAV will provide real-time combat identification information in difficult to ob ...

Military ground mobility vehicles often operate in areas of high heat with no environmental conditioning systems for cooling the individual soldier or critical vehicle electronic systems. Typical vehicle climate control systems are large refrigerant-based systems that are not man portable. SOCOM has expressed a desire for cooling equipment that is man portable for short periods (~ 3 hours). Thi ...

Cyber Defense Agency, LLC (CDA) proposes to develop StopBot, a unique, multi-modal security application that will detect botnets and disable their command and control systems. StopBot will have three different modes of operation: a free, stand-alone mode to protect individual end systems, a subscription mode in which results from individual end systems are collected securely and correlated to gene ...

In this Phase I effort, Global Technical Systems (GTS) proposes to research and develop a concept for a lightweight airborne Universal Longwire Antenna Module (ULAM) to be used for broadcasting Psychological Operations (PSYOPS) in the commercial AM and Short Wave bands at high or low power. The lightweight design enables installation on a wide variety of manned and unmanned aircraft.

The Phase 2 objective is to provide NIST with a modular gauge head unit equipped with InsituTec's standing wave probe technology. The complete gauge head unit will be retrofitted to the NIST M48 which is one of the most precise measuring machines in the world. This unit will enable NIST to achieve the agency's program goal in dimensional metrology which is to provide microscale measurement capacit ...

Using Polyshok patented technology, Polyshok, Inc. will complete the development of the high performance door breaching round started in Phase I and make it production ready. In addition the manufacturing technology will be developed to produce this 12 gauge ammunition on commercial high speed loading equipment. All M1030 US Army 12 gauge Door Breaching performance requirements will be met as par ...