Project focuses on the development of architectures for substantially improving throughput and power for modern cognitive algorithm examples incorporating learning to accelerate inference and implication, with a focus on the programming tools (languages,

Contemporary off-the-shelf graphics processing units (GPUs) are programmable multiprocessors-on-a-chip that surpass their host processors at raw computational capacity and far surpass them at computation capacity per dollar. Further, they are expected to continue to outpace general-purpose… More

75500-This project will develop technologies for building ultra-high-speed network security systems such as firewalls and intrusion detection systems. These systems will be capable of operating at the multi-gigabits/sec rates required by DOE computer networks. In addition, they will permit… More

Recently, solvers for the Satisfiability problem (SAT) have proved to be an enabling technology for diverse application areas including planning, cryptography, hardware verification, and software verification. However, solver performance, in terms of speed, maximum problem size, and efficiency, is a… More

75500S As networks move to 10 Gbps and beyond (including scientific networks within the Department of Energy) the need arises for high-speed security solutions capable of defending these networks from cyberattacks. The current market supplies no solutions that operate at these speeds. To address… More

Our objective is to produce a commercial-grade model checking system that is scalable, end-to-end and highly usable. By scalable, we mean that the system will check larger software systems and answer more detailed queries than existing systems. By end-to-end, we mean that the system will automate… More

We propose to develop a system that autonomously and rapidly (1) directly detects exploitation of application software vulnerabilities (including previously unknown vulnerabilities) via dynamic taint analysis, and (2) generates vulnerability signatures identifying all traffic that exploits those… More

High-performance embedded systems often comprise multiple single-board computers (SBCs) connected via a common backplane bus. The SBCs usually communicate using the Internet Protocol (IP) over Ethernet, but using Ethernet requires that the system contain an Ethernet switch and, potentially,… More

We propose to design a system for run-time verification and validation (V&V), and debugging, of cognitive systems. Cognitive systems have unique characteristics that make them challenging to verify, validate, and debug: they make intelligent decisions based on complex and often incomplete data, they… More

The objective of this project is to develop additional capabilities in software tools, in order to map advanced BMD signal processing algorithms to next-generation COTS signal processing hardware, within the context of open standards programming APIs. Specifically we propose to focus on advanced… More

Modern devices of all kinds are increasingly dependent upon software, and that software increasingly constitutes a distinct military assert and battlefield advantage. To protect that software, a layered defense in desirable. A key component of a defense-in-depth is obfuscation, which inhibits… More

In this Phase I SBIR project, we will produce a plan and feasibility study for improvements in tools through the use and improvement advanced high-level program optimization and mapping technologies, coupled with low-level tools that render programs to FPGAs, within the context of an embedded… More

Network-based intrusion detection and prevention (IDP) systems are widely deployed across commercial, governmental, and educational sites, as well as at DOE facilities. These IDP systems provide effective site-wide security by detecting and eliminating malicious network traffic before it reaches… More

Automation is becoming increasingly significant in operational domains. To manage this automation, it is becoming increasingly useful or even necessary to utilize cognitive computing. Due to their inherent complexity, however, cognitive systems are resistant to conventional verification and… More

The objective of this project is to develop the capability in software programming tools to automatically map advanced BMD signal processing algorithms to next-generation COTS computational accelerators, within the context of open standards programming APIs, and in doing so to achieve a significant… More

Our objective is to develop a static analysis tool that can be used by both software developers and verification specialists to verify compliance with standard interface specifications. As an additional capability, our tool will provide both developers and verification specialists with a robust… More

In this Phase II STTR project, we propose to develop a system that autonomously and rapidly (1) detects exploitation of application software vulnerabilities (including previously unknown vulnerabilities) via dynamic taint analysis; (2) generates vulnerability signatures identifying nearly all… More

Modern devices of all kinds are increasingly dependent upon software, and that software increasingly constitutes a distinct military assert and battlefield advantage. Hardware anti-tamper solutions offer substantial protection for software assets, but can be difficult to apply due to architectural… More

C2BMC systems must perform rapid automatic development of plans to assign and employ weapons in the face of BMD attacks; the systems that produce these plans are based on advanced constrained optimization solvers for extremely large problem instances. This proposal outlines a path toward developing… More

Field Programmable Gate Arrays (FPGAs) are an important technology for many DoD and commercial high performance computing applications. A number of supercomputing, workstation, and embedded computing hardware platforms have emerged recently to supply FPGA computing power for these applications.… More

Network-based intrusion detection and prevention (IDP) systems provide effective site-wide security at institutions such as DOE national laboratories by detecting and eliminating malicious network traffic before it reaches vulnerable host systems. To identify malware reliably without triggering… More

The DOE undertakes scientific research in areas that are extremely computation intensive. These areas include climate modeling, nuclear physics, high energy physics, biomedical engineering, and combustion chemistry. DOE¿s supercomputer systems provide performance in the 100¿s of TeraFLOPS… More

Critical technology is increasingly encoded as software, exposing it to risk of loss when deployed on platforms in hostile environments. Because of this, special anti-tamper hardware may be incorporated into a device to prevent access to the software. The platform may also include insecure hardware… More

Our objective is to develop a suite of analysis tools (with both static and dynamic components) usable by both software developers and testing specialists to evaluate compliance of Joint Tactical Radio System (JTRS) software codes with requirements derived from the Software Communications… More

As part of an ongoing MDA SBIR effort we have developed REASON, a scenario environment for the missile defense battle management asset assignment and employment problems. Through that effort, we demonstrated how it was both possible and computational advantageous to map missile defense intercept… More

In times when critical national infrastructure depends more than ever on digital networks, the prevention of cyber attacks, as opposed to reacting after security has been compromised, becomes a chief concern. Intrusion Detection and Prevention (IDP) systems serve an indispensable role in… More

What has been holding back General Purpose Graphics Processing Units (GPGPUs) until now has been programmability. At present, to take advantage of GPGPUs' potential, application developers must hand-optimize their code, which is expensive and difficult. This project will develop an advanced… More

Emerging weapons systems are making a layered ballistic missile defense a reality. To realize the potential benefits of this diverse capability, it is necessary to extend the ability of assignment and planning algorithms and decision theory. We propose to implement a broadly applicable solution that… More

In an increasingly hostile computing environment, Network Intrusion Detection Systems (NIDS) serve an indispensable role in preserving the integrity of computer networks. This comes to manifest as the DOE is working at a national level to secure a number of strategic network entry points using Bro… More

In an increasingly hostile computing environment, Network Intrusion Detection Systems (NIDS) serve an indispensable role in preserving the integrity of computer networks. This comes to manifest as the DOE is working at a national level to secure a number of strategic network entry points using Bro,… More

In an increasingly hostile computing environment, Network Intrusion Detection Systems (NIDS) serve an indispensable role in preserving the integrity of computer networks. This comes to manifest as the Department of Energy (DOE) is working at a national level to secure a number of strategic network… More

This proposal describes a cyber-defense research and development program. The technologies offered and to be developed will increase the depth and pervasiveness of cyber defenses through Navy systems, provide a platform for more rapid deployment of new defenses, increase the performance (data… More

Recently, solvers for the Satisfiability problem (SAT) have proved to be an enabling technology for diverse application areas including planning, cryptography, hardware verification, and software verification. However, solver performance, in terms of speed, maximum problem size, and efficiency, is a… More

Recently, solvers for the Satisfiability problem (SAT) have proved to be an enabling technology for diverse application areas including planning, cryptography, hardware verification, and software verification. However, solver performance, in terms of speed, maximum problem size, and efficiency, is a… More

We propose SANE (Sensor Application Notation for ExaScale), a language and compiler for sensor applications coupled with an automatic parallelization and optimization system for ExaScale based on the R-Stream mapper. The project includes the definition of the SANE domain-specific language, as well… More

In an increasingly hostile computing environment, Network Intrusion Detection Systems (NIDS) serve an indispensable role in preserving the integrity of computer networks. This comes to manifest as the DOE is working at a national level to secure a number of strategic network entry points using… More

This Phase II.5 effort will advance the state of test technology for Software Defined Radio (SDR) applications and operating environments through the continued development of the R-Check SCA tool. R-Check SCA is a static analysis tool being used by the Joint Program Executive Office (JPEO) Joint… More

Cyber defense is a challenge in terrestrial environments and a great deal of progress has been made in recent years to support perimeter and host defenses in those environments. The tactical environment is now more challenging due to resource constraints such as bandwidth, Size-Weight-and-Power… More