List

To automatically detect software bugs, understand their characteristics, and categorize them according to the evolving NIST Bugs Framework (BF), SIFT is developing ISABEL: Integrated Secure Automated Bug Extraction List. ISABEL will provide three key functions:- Using symbolic analysis and fuzz-testing tools to find inputs that trigger vulnerabilities (bugs).- Using fuzz-testing, delta-debugging, ...

TECHNICAL ABSTRACT: InnovaPrep proposes to develop a rapid sample-to-answer monitoring system for detecting pathogens in marine aquaculture waters. An assessment of industry needs will include a kickoff meeting with NOAA and a visit to Toby Island Bay Oyster Farm. Following the assessment and report, a TRL-4 breadboard prototype system will be developed that will include the combination of sample ...

The ISABEL program will create symbolic execution signatures to classify bugs in the NIST Bugs Framework. Using the symbolic execution signature ISABEL will find a program input to trigger the bug using fuzz testing. ISABEL will integrate its bug categorization and bug triggering capability with a software development environment using a flexible framework that will allow both open source and comm ...

This proposal from Climate Forecast Applications Network addresses the challenge of providing business-relevant subseasonal forecasts for the energy and agricultural sectors, including applications to renewable energy. An innovative multi-model prediction system using the CFSv2 and ECMWF forecasts will be developed to exploit the advantages of each model. An interactive web-based dashboard system ...

This project focuses on developing a magnetic resonance imaging (MRI) contrast agent that may increase the detection of tagged cells by a factor of 10-100. The ability to noninvasively track specifically labeled (tagged) cells, enables a researcher or medical treatment professional to dynamically monitor the delivery and targeted application of medicinal and bio-reactive agents.

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 nBeacon system will push localized, timely, relevant NOAA data products to public users’ smartphones, tablets, and other mobile devices in a convenient, unobtrusive, accessible, easily understandable format. In essence, the nBeacon system will provide a new distribution channel for NOAA data products and services to the general public.

The accurate identification of seafood species and origin has become an extremely important topic in the food industry. Mislabeling a lower valued seafood product to represent a species of higher value constitute economic fraud. In addition, this mislabeling compromises proper geographic origin labeling and fishery management efforts. DNA barcoding for seafood species identification provides re ...

Historical methods of reliability assessment are less and less effective as device sizes shrink. Larger sample sizes and longer duration tests are increasingly needed. At the same time, efforts to continue scaling semiconductors to ever smaller geometries is leading to an explosion of new device structures, materials and processes. The cost of testing these innovations is becoming a major barrier ...

Salo IT Solutions, Inc. will design and implement the Wide-area, Environmental Sensing and alterTing network (WESTnet) protocols, a next-generation suite of wireless network protocols that will provide enhanced services for hydrologic warning systems and other large-scale, wide-area environmental monitoring activities. The WESTnet protocols will offer significant functionality over that available ...