USA flag logo/image

An Official Website of the United States Government

Company Information:

Company Name: Reservoir Labs., Inc.
City: New York
State: NY
Zip+4: -
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
Phone: (212) 780-0527

Award Totals:

Program/Phase Award Amount ($) Number of Awards
SBIR Phase I $1,904,599.00 19
SBIR Phase II $12,334,813.00 16
STTR Phase I $199,924.00 2
STTR Phase II $1,499,393.00 2

Award List:

Cognitive Processing Hardware/Software Elements

Award Year / Program / Phase: 2004 / SBIR / Phase I
Agency / Branch: DOD / DARPA
Principal Investigator: Richard A. Lethin, Directing Engineer – (212) 780-0527
Award Amount: $98,629.00
Abstract:
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,

Automatic Compilation of Scene Generation Applications on Clusters with Graphics Coprocessors

Award Year / Program / Phase: 2004 / SBIR / Phase I
Agency / Branch: DOD / MDA
Principal Investigator: Kenneth Mackenzie, Consulting Engineer
Award Amount: $99,999.00
Abstract:
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

Automatic Compilation of Firewall and Intrusion Detection Rules for High-Speed Network Processing Engines

Award Year / Program / Phase: 2004 / SBIR / Phase I
Agency: DOE
Principal Investigator: Kenneth Mackenzie, Dr.
Award Amount: $99,573.00
Abstract:
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

Cognitive Processing Hardware/Software Elements

Award Year / Program / Phase: 2005 / SBIR / Phase II
Agency / Branch: DOD / DARPA
Principal Investigator: Richard Lethin, President
Award Amount: $748,842.00
Abstract:
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

Automatic Compilation of Firewall and Intrusion Detection Rules for High-Speed Network Processing Engines

Award Year / Program / Phase: 2005 / SBIR / Phase II
Agency: DOE
Principal Investigator: Kenneth Mackenzie, Dr.
Award Amount: $750,000.00
Abstract:
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

Scalable Model Checking Using Compiler Analyses and the Alef SAT Solver

Award Year / Program / Phase: 2006 / SBIR / Phase I
Agency / Branch: DOD / OSD
Principal Investigator: Eric Schweitz, Managing Engineer
Award Amount: $99,940.00
Abstract:
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

Automatic Generation of Robust Network Intrusion Detection Signatures

Award Year / Program / Phase: 2006 / STTR / Phase I
Agency / Branch: DOD / OSD
Research Institution: CARNEGIE MELLON UNIV.
Principal Investigator: Steven Reinhardt, Managing Engineer
Award Amount: $99,925.00
RI Contact: A. J. Abels
Abstract:
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 IP networking over the backplane with next generation protocol factoring

Award Year / Program / Phase: 2006 / SBIR / Phase I
Agency / Branch: DOD / NAVY
Principal Investigator: Peter Mattson, Managing Engineer
Award Amount: $79,246.00
Abstract:
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

Run-time Verification, Validation, and Debugging of Cognitive Systems

Award Year / Program / Phase: 2006 / SBIR / Phase I
Agency / Branch: DOD / USAF
Principal Investigator: Peter Mattson, Managing Engineer
Award Amount: $99,994.00
Abstract:
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

Software Tools to Optimize BMD Radar Algorithms to COTS Hardware

Award Year / Program / Phase: 2007 / SBIR / Phase I
Agency / Branch: DOD / MDA
Principal Investigator: Richard Lethin, President
Award Amount: $99,993.00
Abstract:
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

An Architecture for Software Obfuscation

Award Year / Program / Phase: 2007 / SBIR / Phase I
Agency / Branch: DOD / OSD
Principal Investigator: Jonathan Springer, Managing Engineer
Award Amount: $99,986.00
Abstract:
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

Optimizing and Mapping Tool Chain for FPGA Programming

Award Year / Program / Phase: 2007 / SBIR / Phase I
Agency / Branch: DOD / DARPA
Principal Investigator: Eric Schweitz, Consulting Engineer
Award Amount: $98,995.00
Abstract:
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

High Performance Networks High-Speed Network Security Systems

Award Year / Program / Phase: 2007 / SBIR / Phase I
Agency: DOE
Principal Investigator: Steven Reinhardt, Dr
Award Amount: $99,998.00
Abstract:
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

Runtime Verification of Cognitive Systems

Award Year / Program / Phase: 2007 / SBIR / Phase II
Agency / Branch: DOD / USAF
Principal Investigator: Jonathan Springer, Managing Engineer
Award Amount: $749,990.00
Abstract:
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

Software Tools to Optimize BMD Radar Algorithms to COTS Hardware

Award Year / Program / Phase: 2008 / SBIR / Phase II
Agency / Branch: DOD / MDA
Principal Investigator: Richard A. Lethin, Directing Engineer
Award Amount: $749,966.00
Abstract:
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

Static Analysis Tool for Interface Compliance Verification and Program Comprehension

Award Year / Program / Phase: 2008 / SBIR / Phase I
Agency / Branch: DOD / NAVY
Principal Investigator: James Ezick, Senoir Engineer
Award Amount: $99,985.00
Abstract:
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

Automatic Generation of Robust Network Intrusion Detection Signatures

Award Year / Program / Phase: 2008 / STTR / Phase II
Agency / Branch: DOD / OSD
Research Institution: CARNEGIE MELLON UNIV.
Principal Investigator: Steven Reinhardt, Managing Engineer
Award Amount: $749,989.00
RI Contact: A. J. Abels
Abstract:
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

Software Partitioning for Protecting High-Performance Code

Award Year / Program / Phase: 2008 / SBIR / Phase I
Agency / Branch: DOD / OSD
Principal Investigator: Jonathan Springer, Managing Engineer
Award Amount: $99,993.00
Abstract:
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

Advanced Constrained Optimization Algorithms Utilizing Next Generation Processors

Award Year / Program / Phase: 2008 / SBIR / Phase I
Agency / Branch: DOD / MDA
Principal Investigator: James Ezick, Senoir Engineer
Award Amount: $99,978.00
Abstract:
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

Optimizing and Mapping Tool Chain for FPGA Programming

Award Year / Program / Phase: 2008 / SBIR / Phase II
Agency / Branch: DOD / DARPA
Principal Investigator: Richard A. Lethin, Directing Engineer
Award Amount: $749,928.00
Abstract:
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

High Performance Networks - Compilation and Optimization of Protocol Analyzers

Award Year / Program / Phase: 2008 / SBIR / Phase I
Agency: DOE
Principal Investigator: Steven Reinhardt, Dr.
Award Amount: $99,996.00
Abstract:
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

Advanced Static and Dynamic Scheduling of HPC Applications on Petascale Computer Systems with GPU Accelerators

Award Year / Program / Phase: 2008 / SBIR / Phase I
Agency: DOE
Principal Investigator: Benoit Meister, Dr.
Award Amount: $99,997.00
Abstract:
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

Software Partitioning for Protecting High-Performance Code

Award Year / Program / Phase: 2009 / SBIR / Phase II
Agency / Branch: DOD / OSD
Principal Investigator: Jonathan Springer, Managing Engineer
Award Amount: $749,885.00
Abstract:
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

Static Analysis Tool for Interface Compliance Verification and Program Comprehension

Award Year / Program / Phase: 2009 / SBIR / Phase II
Agency / Branch: DOD / NAVY
Principal Investigator: James Ezick, Senior Engineer
Award Amount: $600,196.00
Abstract:
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

Applying Distributed SAT-based Constrained Optimization to Global Missile Defense Battle Management

Award Year / Program / Phase: 2009 / SBIR / Phase I
Agency / Branch: DOD / MDA
Principal Investigator: James Ezick, Senior Engineer
Award Amount: $99,965.00
Abstract:
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

High Performance Networks - Compilation and Optimization of Protocol Analyzers

Award Year / Program / Phase: 2009 / SBIR / Phase II
Agency: DOE
Principal Investigator: Steven Reinhardt, Dr.
Award Amount: $749,991.00
Abstract:
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

Advanced Static and Dynamic Scheduling of HPC Applications on Petascale Computer Systems with GPU Accelerators

Award Year / Program / Phase: 2009 / SBIR / Phase II
Agency: DOE
Principal Investigator: Benoit Meister, Dr.
Award Amount: $749,978.00
Abstract:
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

Applying Distributed SAT-based Constrained Optimization to Global Missile Defense Battle Management

Award Year / Program / Phase: 2010 / SBIR / Phase II
Agency / Branch: DOD / MDA
Principal Investigator: James Ezick, Managing Engineer
Award Amount: $499,900.00
Abstract:
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

Implementation of an Energy-Saving Bro-Aware Load Balancer at 100 Gbps with Closed-Loop Flow Policy Control

Award Year / Program / Phase: 2010 / SBIR / Phase I
Agency: DOE
Principal Investigator: Jordi Giralt, Dr.
Award Amount: $99,992.00
Abstract:
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

Bro-Intelligent Load Balancer Towards Terabit-Scale Cyber-Security

Award Year / Program / Phase: 2011 / SBIR / Phase I
Agency: DOE
Principal Investigator: Jordi R. Ros Giralt, Dr. – 212-780-0527
Award Amount: $148,412.00
Abstract:
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

Implementation of an Energy-Saving Bro-Aware Load Balancer at 100 Gbps with Closed-Loop Flow Policy Control

Award Year / Program / Phase: 2011 / SBIR / Phase II
Agency: DOE
Principal Investigator: Jordi R. Giralt, Dr.
Award Amount: $999,953.00
Abstract:
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

Network Sensor to Geolocate Cyber Attacks and Framework

Award Year / Program / Phase: 2011 / SBIR / Phase I
Agency: DOD
Principal Investigator: Jordi Ros-Giralt, Managing Engineer – (212) 780-0527
Award Amount: $79,928.00
Abstract:
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

Cognitive Processing Hardware/Software Elements

Award Year / Program / Phase: 2011 / SBIR / Phase II
Agency / Branch: DOD / DARPA
Principal Investigator: Richard Lethin, Directing Engineer – (212) 780-0527
Award Amount: $749,995.00
Abstract:
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

Sensor Application Notation for ExaScale (SANE)

Award Year / Program / Phase: 2012 / STTR / Phase I
Agency / Branch: DOD / OSD
Research Institution: Georgia Tech Research Institution
Principal Investigator: Benoit Meister, Managing Engineer – (212) 780-0527
Award Amount: $99,999.00
RI Contact: Dan Campbell
Abstract:
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

Bro-Intelligent Load Balancer Towards Terabit-Scale Cyber-Security

Award Year / Program / Phase: 2012 / SBIR / Phase II
Agency: DOE
Principal Investigator: Jordi Ros Giralt, Dr. – 212-780-0527
Award Amount: $999,843.00
Abstract:
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

Static Analysis Tool for Interface Compliance Verification and Program Comprehension

Award Year / Program / Phase: 2012 / SBIR / Phase II
Agency / Branch: DOD / NAVY
Principal Investigator: James Ezick, Managing Engineer – (212) 780-0527
Award Amount: $986,351.00
Abstract:
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

Network Sensor to Geolocate Cyber Attacks and Framework

Award Year / Program / Phase: 2012 / SBIR / Phase II
Agency: DOD
Principal Investigator: James Ezick, Managing Engineer – (212) 780-0527
Award Amount: $999,999.00
Abstract:
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

Sensor Application Notation for ExaScale (SANE)

Award Year / Program / Phase: 2013 / STTR / Phase II
Agency / Branch: DOD / OSD
Research Institution: Georgia Tech Applied Research Corp
Principal Investigator: Benoit Meister, Managing Engineer – (212) 780-0527
Award Amount: $749,404.00
RI Contact: Daniel Campbell
Abstract:
In Phase II, based on the Phase I success, we propose to research further enabling optimizations for a wider range of sensor applications than in Phase I. We will also implement the key optimizations to SAR found in Phase I within the SANE high-productivity array language and automatic… More

Applying Distributed SAT-based Constrained Optimization to Global Missile Defense Battle Management

Award Year / Program / Phase: 2013 / SBIR / Phase II
Agency / Branch: DOD / MDA
Principal Investigator: James Ezick, Managing Engineer – (212) 780-0527
Award Amount: $499,996.00
Abstract:
In process for public release