USA flag logo/image

An Official Website of the United States Government

Company Information:

Company Name:
ATC - NY
Address:
33 Thornwood Drive, Suite 500
Ithaca, NY 14850-1250
Phone:
(607) 257-1975
URL:
EIN:
161549760
DUNS:
101321479
Number of Employees:
73
Woman-Owned?:
No
Minority-Owned?:
No
HUBZone-Owned?:
No

Commercialization:

Has been acquired/merged with?:
N/A
Has had Spin-off?:
N/A
Has Had IPO?:
N/A
Year of IPO:
N/A
Has Patents?:
N/A
Number of Patents:
N/A
Total Sales to Date $:
$ 0.00
Total Investment to Date $
$ 0.00
POC Title:
N/A
POC Name:
N/A
POC Phone:
N/A
POC Email:
N/A
Narrative:
N/A

Award Totals:

Program/Phase Award Amount ($) Number of Awards
SBIR Phase I $5,175,601.88 59
SBIR Phase II $13,299,599.00 23
STTR Phase I $619,873.00 6
STTR Phase II $1,492,764.00 2

Award List:

THE PRINCIPAL TECHNICAL OBJECTIVE IN THIS PROJECT IS TO SHOWTHE FEASIBILITY OF BUILDING TOOLS TO SUPPORT THE FORMAL VERIFICATION OF MATHEMATICAL SOFTWARE.

Award Year / Program / Phase:
1983 / SBIR / Phase I
Award Amount:
$50,000.00
Agency:
NASA
Principal Investigator:
Richard platek , PRINCIPAL INVESTIGATOR
Abstract:
The principal technical objective in this project is to showthe feasibility of building tools to support the formal verification of mathematical software. no existing verification environment supports proof of correctness of programs executing over the data structure of the real number system. there… More

SUBLANGUAGE TECHNOLOGY APPLIED TO COMMAND AND CONTROL "JARGONS"

Award Year / Program / Phase:
1983 / SBIR / Phase I
Award Amount:
$94,503.00
Agency / Branch:
DOD / ARMY
Principal Investigator:
Abstract:
N/a

SUBLANGUAGE TECHNOLOGY APPLIED TO COMMAND AND CONTROL "JARGONS"

Award Year / Program / Phase:
1984 / SBIR / Phase II
Award Amount:
$750,000.00
Agency / Branch:
DOD / ARMY
Principal Investigator:
Abstract:
Ora proposes to apply recent advances to sublanguage research to the description of command and control "jargons" for data base query systems. an initial linguistic study of several jargons will allow identification of the of the most tractable sublanguage, one of which will be singled out to plan a… More

GRAPHIC DISPLAY FOR MULTIMEDIA NETWORK MANAGEMENT

Award Year / Program / Phase:
1989 / SBIR / Phase I
Award Amount:
$60,500.00
Agency / Branch:
DOD / NAVY
Principal Investigator:
Maureen Stillman
Abstract:
N/a

GRAPHIC DISPLAY FOR MULTIMEDIA NETWORK MANAGEMENT

Award Year / Program / Phase:
1990 / SBIR / Phase II
Award Amount:
$290,000.00
Agency / Branch:
DOD / NAVY
Principal Investigator:
Maureen Stillman
Abstract:
The innovation described in this proposal is the design of graphical displays for multimedia network management tailored to navy requirements. these displays are designed to answer questions concerning the network's status that the navy network operator formulates in the process of managing the… More

FORMAL VERIFICATION FOR C WITH UNIX

Award Year / Program / Phase:
1990 / SBIR / Phase I
Award Amount:
$49,984.00
Agency:
NASA
Principal Investigator:
Douglas N. Hoover , Logician
Abstract:
We propose to build an automated formal verification system for programs written in the c programming language. this system will support verification of programs that include unix system calls, including those which make possible concurrent execution, such as fork and pipe. it will also support… More

SECURE NETWORK DEVICE DRIVER

Award Year / Program / Phase:
1990 / SBIR / Phase I
Award Amount:
$56,030.00
Agency / Branch:
DOD / MDA
Principal Investigator:
Ian Sutherland
Abstract:
N/a

A SECURE FAULT TOLERANT REFERENCE MONITOR

Award Year / Program / Phase:
1991 / SBIR / Phase I
Award Amount:
$60,891.00
Agency / Branch:
DOD / MDA
Principal Investigator:
Ian Sutherland , Principal Investigator
Abstract:
The goal of the project is to develop a formally verified design for a multilevel secure, distributed, fault tolerant reference monitor. a reference monitor is a system program which controls access of user processes to sensitive data. the reference monitor checks accesses for compliance with a… More

AN INTERMEDIATE LANGUAGE FOR FORMAL VERIFICATION TOOLS

Award Year / Program / Phase:
1991 / SBIR / Phase I
Award Amount:
$47,983.00
Agency:
NASA
Principal Investigator:
Abstract:
This project will investigate an intermediate formal language for integrating formal verification tools. such a language would allow different tools such as theorem provers, decision procedures, and formula generators to be used in the same environment, either by translating the various tools'… More

Formal Verification of VHDL Models

Award Year / Program / Phase:
1993 / SBIR / Phase I
Award Amount:
$69,770.00
Agency / Branch:
DOD / USAF
Principal Investigator:
Mark Bickford
Abstract:
N/a

Formal Verification of VHDL Models

Award Year / Program / Phase:
1994 / SBIR / Phase II
Award Amount:
$300,000.00
Agency / Branch:
DOD / USAF
Principal Investigator:
Mark Bickford
Abstract:
The goal of this project is to create tools to support the formal verification of VHDL designs. Two existing formal verification tools will be enhanced to support VHDL. The first, Spectool, will allow a class of designs, the synchronous finite-state controlled systems, to be specified and verified… More

A RIGOROUS MODELING AND SIMULATION PACKAGE FOR HYBRID SYSTEMS

Award Year / Program / Phase:
1994 / SBIR / Phase I
Award Amount:
$64,944.00
Agency:
NSF
Principal Investigator:
James H Taylor
Abstract:
Existing commercial modeling and simulation software packages do not adequately predict the behavior of complex computer-controlled systems being developed and fielded today. these "hybrid" systems involve discontinuous phenomena such as mechanical parts engaging and disengaging (e.g., spacecraft… More

Analysis Tools for VHSIC Hardware Description Language

Award Year / Program / Phase:
1994 / SBIR / Phase I
Award Amount:
$69,957.00
Agency:
NASA
Principal Investigator:
Damir Jamsek
Abstract:
N/a

Analysis Tools for VHSIC Hardware Description Language

Award Year / Program / Phase:
1995 / SBIR / Phase II
Award Amount:
$518,298.00
Agency:
NASA
Principal Investigator:
Damir Jamsek
Abstract:
We propose to build a set of mathematically-based semantic analysis tools for VHLD. These lightweight tools will meet the following goals:

Security Policy Modeling and Enforcement Tools for Clinical Workflows

Award Year / Program / Phase:
1995 / SBIR / Phase I
Award Amount:
$69,962.00
Agency / Branch:
DOD / DARPA
Principal Investigator:
Dr. David Guaspari
Abstract:
N/a

Specification Interfaces for Larch/VHDL Designs

Award Year / Program / Phase:
1996 / SBIR / Phase I
Award Amount:
$124,987.00
Agency / Branch:
DOD / USAF
Principal Investigator:
Dr. Damir Jamsek
Abstract:
This project will define and develop specification techniques for hardware designs eventually targeted for VHDL implementation. The specification techniques may be graphical or textual and will interface with the Larch/VHDL verification system. The specification techniques will be based on… More

Security Policy Modeling and Enforcement Tools for Clinical Workflows

Award Year / Program / Phase:
1996 / SBIR / Phase I
Award Amount:
$98,994.00
Agency / Branch:
DOD / DARPA
Principal Investigator:
Roshan Thomas
Abstract:
N/a

Security Policy Modeling and Enforcement Tools for Clinical Workflows

Award Year / Program / Phase:
1997 / SBIR / Phase II
Award Amount:
$182,000.00
Agency / Branch:
DOD / DARPA
Principal Investigator:
Roshan Thomas
Abstract:
Classical access control and security models are inadequate for the health care domain. Our innovation for Phase I is to produce a security reference model for workflow based on clinical requirements and realistic hospital scenarios. This model will also incorporate important features such as the… More

Security Policy Modeling and Enforcement Tools for Clinical Workflows

Award Year / Program / Phase:
1997 / SBIR / Phase II
Award Amount:
$182,000.00
Agency / Branch:
DOD / DARPA
Principal Investigator:
Dr. David Guaspari
Abstract:
Formal methods techniques have the promise to help reduce or eliminate certain kinds of errors in the design and implementation of software-controlled systems, yet they are greatly underused. Among the reasons: most tool support for formal methods is unnecessarily difficult to use; and the research… More

Open Architecture Security Tools

Award Year / Program / Phase:
1997 / SBIR / Phase I
Award Amount:
$99,000.00
Agency / Branch:
DOD / DARPA
Principal Investigator:
Roshan Thomas
Abstract:
In this research proposal, we seek to develop two key technologies that will advance the state-of-the-art in security engineering. First we wish to develop a Secure Component Integration Protocol (SCIP) that will allow a message-based, protocol-driven approach to integration and interoperability of… More

Multipolicy Information Assurance for Microsensor Networks

Award Year / Program / Phase:
1999 / SBIR / Phase I
Award Amount:
$98,935.00
Agency / Branch:
DOD / OSD
Principal Investigator:
Frank Adelstein
Abstract:
Not Available Q-DOT proposes to develop a miniature oscillator MINO) in a small (0.2 x 0.2 x 0.5 ), PCMCIA-card-compatible module. The MINO will oscillate at a frequency in the range of 1-10 GH (nominally 6Ghz). The MINO is specifically designed to drive high performance analog-to-digital… More

N/A

Award Year / Program / Phase:
2000 / SBIR / Phase I
Award Amount:
$98,956.00
Agency / Branch:
DOD / DARPA
Principal Investigator:
Frank Adelstein, Principal Scientist
Abstract:
N/a

Mobile Platforms to Support Network Forensics

Award Year / Program / Phase:
2001 / SBIR / Phase I
Award Amount:
$98,814.00
Agency / Branch:
DOD / USAF
Principal Investigator:
Frank Adelstein, Principal Scientist
Abstract:
In a large computer network, a sophisticated, coordinated attack can have a devastating impact. To thwart the effectiveness of such an attack, investigators and administrators must be able to quickly understand what resources were affected and how theywere affected. Complicating this task is the… More

Efficient Code Certification for Open Firmware

Award Year / Program / Phase:
2001 / SBIR / Phase I
Award Amount:
$0.00
Agency / Branch:
DOD / DARPA
Principal Investigator:
Matthew Stillerman, Principal Scientist
Abstract:
Maliciously constructed boot firmware is a threat to our information infrastructure that has largely been ignored. Boot firmware controls the power-up procedure initializing a computer's hardware and loading its run-time system. This code, embedded inall third-party peripheral devices, can easily… More

Efficient Code Certification for Open Firmware

Award Year / Program / Phase:
2001 / SBIR / Phase II
Award Amount:
$374,994.00
Agency / Branch:
DOD / DARPA
Principal Investigator:
Matthew Stillerman, Principal Scientist
Abstract:
Maliciously constructed boot firmware is a threat to our information infrastructure that has largely been ignored. Boot firmware controls the power-up procedure initializing a computer's hardware and loading its run-time system. This code, embedded inall third-party peripheral devices, can easily… More

High Assurance for Embedded Systems through Aspect-Oriented Specification and Verification

Award Year / Program / Phase:
2001 / SBIR / Phase I
Award Amount:
$98,977.00
Agency / Branch:
DOD / DARPA
Principal Investigator:
C.Douglas Harper, Sr. Principal Scientist
Abstract:
Conventional methods of quality assurance cannot manage the increasing complexity of embedded systems and the demands being placed upon them. Aspect-Oriented Programming is a promising new software technology, well suited to embedded systems. MarryingAOP with formal methods will make possible high… More

Mobile Platforms to Support Network Forensics - Phase II

Award Year / Program / Phase:
2002 / SBIR / Phase II
Award Amount:
$735,473.00
Agency / Branch:
DOD / USAF
Principal Investigator:
Frank Adelstein, Principal Scientist
Abstract:
"In a large computer network, a sophisticated, coordinated attack can have a devastating impact. To thwart such an attack, investigators and administrators must be able to quickly ascertain its effects. Complicating this task is the fact that few largefacilities, either commercial or military,… More

Peer-to-Peer Object Repository with Integrated Security

Award Year / Program / Phase:
2002 / SBIR / Phase I
Award Amount:
$97,805.00
Agency / Branch:
DOD / USAF
Principal Investigator:
Matthew Stillerman, Sr. Principal Scientist
Abstract:
"The Air Force's Joint Battlespace Infosphere (JBI) requires a secure, scalable, object repository to support the vision of a globally accessible, secure, distributed information "space." Peer-to-peer (P2P) technology holds significant promise for theselarge-scale information repositories because of… More

A Design Language for Quantum Computing

Award Year / Program / Phase:
2002 / SBIR / Phase I
Award Amount:
$98,952.00
Agency / Branch:
DOD / DARPA
Principal Investigator:
Matthew Stillerman, Sr. Principal Scientist
Abstract:
"Current techniques for defining and specifying quantum algorithms are imprecise and to some degree informal, which causes a number of problems: informal descriptions can be ambiguous and difficult to understand, cannot be supported by automated tools (forcomputer algebra, simulation, etc.), and… More

WIDS: Wireless Intrusion Detection System for 802.11 Networks

Award Year / Program / Phase:
2002 / SBIR / Phase I
Award Amount:
$99,993.00
Agency / Branch:
DOD / OSD
Principal Investigator:
Frank Adelestein, Senior Principal Scientis
Abstract:
"The combination of inherent insecurity of wireless networks (signals radiating further than the intended coverage area) and weaknesses in the current security mechanisms are weighing heavily against this highly valuable network technology. Thus, wirelessnetworks on military bases and on board Navy… More

ORIS: Peer to Peer Object Repository with Integrated Security

Award Year / Program / Phase:
2003 / SBIR / Phase II
Award Amount:
$749,952.00
Agency / Branch:
DOD / USAF
Principal Investigator:
Matthew Stillerman, Senior Principal Scientis
Abstract:
The Joint Battlespace Infosphere (JBI) program needs an object repository for secure, reliable storage and retrieval of JBI objects. ATC-NY will construct ORIS, a peer-to-peer object repository suitable for the JBI. Self-organizing peer-to-peer networkshave proven to be robust and scalable to very… More

iFUSE: Integrated FUselet Synthesis Environment

Award Year / Program / Phase:
2003 / SBIR / Phase I
Award Amount:
$99,992.00
Agency / Branch:
DOD / USAF
Principal Investigator:
Carla Marceau, Senior Principal Scientis
Abstract:
A crucial component of the Joint Battlespace Infosphere (JBI) is a collection of fuselets, which are simple programs or scripts that effect small transformations on data. The global effect of a collection of cooperating fuselets is to transform data intoknowledge. We will create an environment for… More

A Complete Design Environment for Asynchronous Circuits

Award Year / Program / Phase:
2003 / SBIR / Phase I
Award Amount:
$98,988.00
Agency / Branch:
DOD / DARPA
Principal Investigator:
David Guaspari, Senior Principal Scientis
Abstract:
Theoretical research on asynchronous circuits has provided top﷓down methods that start from an operational description of a circuit. Top-down methods avoid the difficulty of understanding (let alone verifying) the behavior of compositions ofasynchronous components. In practice, however,… More

NetScout: Network Scanner of Capabilities and Organization via Unobvious Techniques

Award Year / Program / Phase:
2003 / SBIR / Phase I
Award Amount:
$69,965.00
Agency / Branch:
DOD / ARMY
Principal Investigator:
C. Douglas Harper, Senior Principal Scientis
Abstract:
Our nation's infrastructure is under increasing threat of criminal and terrorist cyber attacks, which can come without warning and cause great harm. There are numerous countermeasures we can take once we detect an attack, but as long as our responses aredefensive and reactionary in character, we… More

ASTER: Active Smart Targets for Effective Response

Award Year / Program / Phase:
2003 / SBIR / Phase I
Award Amount:
$0.00
Agency / Branch:
DOD / DARPA
Principal Investigator:
Frank Adelstein, Senior Principal Scientis
Abstract:
Sophisticated attacks on computer systems typically proceed in stages. The attacker first probes the target site to discover its vulnerabilities, and then exploits the vulnerabilities. To avoid detection, attacks can be spread out over time or be launchedfrom multiple hosts. An attacker who has… More

ASTER: Active Smart Targets for Effective Response

Award Year / Program / Phase:
2003 / SBIR / Phase II
Award Amount:
$374,988.00
Agency / Branch:
DOD / DARPA
Principal Investigator:
Frank Adelstein, Senior Principal Scientis
Abstract:
Sophisticated attacks on computer systems typically proceed in stages. The attacker first probes the target site to discover its vulnerabilities, and then exploits the vulnerabilities. To avoid detection, attacks can be spread out over time or be launchedfrom multiple hosts. An attacker who has… More

Interactive Display of Probabilistic Geo-Spatial Information

Award Year / Program / Phase:
2003 / SBIR / Phase I
Award Amount:
$99,994.00
Agency / Branch:
DOD / OSD
Principal Investigator:
Robert Joyce, Principal Scientist
Abstract:
Systems that integrate and present data from multiple sources often ignore the probabilistic uncertain nature of the information they are handling. Such systems are often designed with pre-determined thresholds or other algorithms to make binary go/no-godecisions, rather than presenting the entire… More

TSPI: Transparent Software Protection Infrastructure

Award Year / Program / Phase:
2003 / SBIR / Phase I
Award Amount:
$99,999.00
Agency / Branch:
DOD / OSD
Principal Investigator:
Carla Marceau, Senior Principal Scientis
Abstract:
Software theft causes tremendous financial losses to software companies. Theft of trade secrets and critical national security information embedded in software can lead to further financial losses or even jeopardize national security. Various techniqueshave been developed to protect software after… More

Dissimulation: A Defense Against Differential Software Analysis

Award Year / Program / Phase:
2003 / SBIR / Phase I
Award Amount:
$99,952.00
Agency / Branch:
DOD / OSD
Principal Investigator:
David Guaspari, Staff Scientist
Abstract:
Adding protection to fielded software provides an attacker with a point of leverage: By comparing the original code (or executable) with the updated version, an attacker may be able to locate the

iFUSE: Integrated FUselet Synthesis Environment

Award Year / Program / Phase:
2004 / SBIR / Phase II
Award Amount:
$744,321.00
Agency / Branch:
DOD / USAF
Principal Investigator:
Abstract:
A crucial component of the Joint Battlespace Infosphere (JBI) is a collection of cooperating fuselets, simple programs or scripts that effect small transformations on data, thus transforming data into knowledge. Based on successful Phase I accomplishments, ATC-NY, in collaboration with Architecture… More

SCorES, A Logical Programming Environment for Distributed Systems

Award Year / Program / Phase:
2004 / STTR / Phase I
Award Amount:
$99,993.00
Agency / Branch:
DOD / USAF
Principal Investigator:
David Guaspari, Staff Scientist
Research Institution:
Cornell University
RI Contact:
Daniel B. Whitaker
Abstract:
Distributed systems, important to civilian and military infrastucture, have steadily become more complex and steadily more difficult to understand, implement, and maintain. Addressing these dangers, a collaboration between ATC-NY and Cornell University will build a mathematically based tool, … More

SPRINT: Secure Programming Using Artificial Intelligence Techniques

Award Year / Program / Phase:
2004 / SBIR / Phase I
Award Amount:
$98,969.00
Agency / Branch:
DOD / DARPA
Principal Investigator:
David Guaspari, Staff Scientist
Abstract:
To meet the demand for more "intelligent" applications-in web services, enterprise software, network management, etc.-developers are turning to the AI technique of rule-based programming. But the very things that make rule-based programming attractive-its flexibility, its introduction of complex and… More

TIGer: A Test Instance Generator for Large Programs

Award Year / Program / Phase:
2004 / SBIR / Phase I
Award Amount:
$74,927.00
Agency:
NSF
Principal Investigator:
Abstract:
Testing accounts for a large and growing share of software development costs. Developing tests is labor-intensive; and significant savings would result from tools that could automatically generate tests meeting some given criterion of completeness. ATC-NY proposes to build a set of modules, Tiger,… More

Intra Vehicle Adaptive Computing with SQUAWB (Secure QoS-enchanced UltrA Wide Band)

Award Year / Program / Phase:
2004 / SBIR / Phase I
Award Amount:
$69,939.00
Agency / Branch:
DOD / ARMY
Principal Investigator:
Frank Adelstein, Senior Principal Scientis
Abstract:
Ultra Wideband (UWB) technology provides high-speed, low-power wireless networks with a low probability of detection and interception, and is resistant to jamming. This promising technology lacks support above the physical layer to provide capabilities that the Army requires for intra-vehicle… More

EPP: Empirical Privilege Profiling for Black-box Software

Award Year / Program / Phase:
2004 / SBIR / Phase I
Award Amount:
$98,999.00
Agency / Branch:
DOD / DARPA
Principal Investigator:
Carla Marceau, Senior Principal Scientis
Abstract:
The Principle of Least Privilege says that programs should operate with sufficient privilege to get the job done, but no more, in order to minimize the harm that can be done in case of error. The Empirical Privilege Profiling system (EPP) will collect data about privileges actually exercised by… More

TSPI: Transparent Software Protection Infrastructure

Award Year / Program / Phase:
2004 / SBIR / Phase II
Award Amount:
$375,000.00
Agency / Branch:
DOD / OSD
Principal Investigator:
David Rosenthal, Chief Scientist
Abstract:
The Transparent Software Protection Infrastructure (TSPI) is a collection of software modules that enhance software protection during the software development process. TSPI uses wrapper technology to provide a layer between COTS development systems and the file system. It provides security to… More

State-based Security Policies for Electric Power SCADAs

Award Year / Program / Phase:
2004 / SBIR / Phase I
Award Amount:
$99,957.00
Agency:
DHS
Principal Investigator:
Matt A. Stillerman, Senior Principal Scientist
Abstract:
ATC-NY and Bigwood Systems, Inc. will design and build Zebra, an innovative access control system for electric power SCADA systems. Access control decisions will depend on the dynamic state of the electric transmission/distribution system, in addition to conventional inputs such as identity. We will… More

PMAF, a Pedigree Management and Assessment Framework

Award Year / Program / Phase:
2005 / SBIR / Phase I
Award Amount:
$99,994.00
Agency / Branch:
DOD / USAF
Principal Investigator:
Matt Stillerman, Senior Principal Scientist
Abstract:
Warfighters need information that is both timely and trustworthy. New initiatives such as the Joint Battlespace Infosphere and Net-Centric Enterprise Services have the goal of getting "raw" information to the warfighter as quickly as possible. In order to assess the trustworthiness of such… More

CYDEST: CYber DEfense Simulation Trainer

Award Year / Program / Phase:
2005 / SBIR / Phase I
Award Amount:
$99,924.00
Agency / Branch:
DOD / USAF
Principal Investigator:
Frank Adelstein, Senior Principal Scientist
Abstract:
As the level of conflict increases in the new battlefield of our nation's infosphere, the demand for better training of cyber security professionals is critical. In response, a small number of efforts have attempted to provide network defense training simulators to prepare students for real-world… More

Dynamet: A Dynamic, Enterprise-Scale Information Flow Management Environment

Award Year / Program / Phase:
2005 / SBIR / Phase I
Award Amount:
$99,954.00
Agency / Branch:
DOD / USAF
Principal Investigator:
Robert Joyce, Senior Principal Scientist
Abstract:
Mission success requires accurate, timely, and relevant information to be available to decision makers and those taking action in the field. Too often, this information is not available because the needed systems do not interoperate, or because the end user doesn't have the software or access… More

AESOP - Automatic Extraction and verification of Security features Of Programs

Award Year / Program / Phase:
2005 / SBIR / Phase I
Award Amount:
$99,993.00
Agency / Branch:
DOD / OSD
Principal Investigator:
Daryl McCullough, Senior Principal Scientist
Abstract:
To address the threat of malicious third party software modules, ATC-NY, Professor Dexter Kozen, Cornell University, and Architecture Technology Corporation, will create AESOP, a static analysis tool that automatically extracts a digest of the security-relevant behavior of a software module at… More

Software Pedigree Analyzer

Award Year / Program / Phase:
2005 / SBIR / Phase I
Award Amount:
$99,978.00
Agency / Branch:
DOD / OSD
Principal Investigator:
David Rosenthal, Chief Scientist
Abstract:
Software protection methods are needed in order to prevent the unauthorized distribution and exploitation of critical national security software. This proposal addresses software protection during the software development process, and in particular, the collection, analysis, and response mechanisms… More

BLISS: BLood Inventory Submission System

Award Year / Program / Phase:
2005 / SBIR / Phase I
Award Amount:
$99,935.00
Agency / Branch:
DOD / OSD
Principal Investigator:
Rob Joyce, Principal Scientist
Abstract:
The Joint Medical Asset Repository (JMAR) is being successfully used to track medical supplies in near-real-time, saving time, money, and lives. However, assets housed at a temporary emergency-response location, near the battlefield, or any other location without the proper installation, can not be… More

EPP: Empirical Privilege Profiling for Black-Box Software

Award Year / Program / Phase:
2006 / SBIR / Phase II
Award Amount:
$374,923.00
Agency / Branch:
DOD / DARPA
Principal Investigator:
Carla Marceau, Senior Principal Scientis
Abstract:
The Principle of Least Privilege says that programs should operate with sufficient privilege to get the job done, but no more, in order to minimize the harm that can be done in case of error. The Empirical Privilege Profiler system (EPP) will collect data about privileges actually exercised by… More

CYDEST: CYber DEfense Simulation Trainer

Award Year / Program / Phase:
2006 / SBIR / Phase II
Award Amount:
$749,947.00
Agency / Branch:
DOD / USAF
Principal Investigator:
Steven Brueckner, Computer Scientist
Abstract:
The number and sophistication of cyber attacks on our nation's computing resources has been increasing at an alarming rate. At stake are the compromise and loss of critical data and computational resources in the commercial, military, government, and academic sectors. Advanced training tools for… More

PMAF, a Pedigree Management and Assessment Framework

Award Year / Program / Phase:
2006 / SBIR / Phase II
Award Amount:
$749,859.00
Agency / Branch:
DOD / USAF
Principal Investigator:
Carla Marceau, Senior Principal Scientis
Abstract:
Warfighters need information that is both timely and trustworthy. New initiatives such as the Joint Battlespace Infosphere (JBI) and Net-Centric Enterprise Services (NCES) have the goal of getting both "raw" and processed information to the warfighter as quickly as possible. In order to assess the… More

Tool Support for Objective-based Network Policy Decisions

Award Year / Program / Phase:
2006 / SBIR / Phase I
Award Amount:
$99,913.00
Agency / Branch:
DOD / OSD
Principal Investigator:
David Rosenthal, Technical Director
Abstract:
The fast moving dynamics of future network centric warfare, i.e. changes in capability (significant gain or loss of infrastructure), changes in mission, changes in (coalition) partners and their roles, and responses to network attacks require the ability for rapid system reconfiguration. To avoid… More

EXploit And Malware INcubator (EXAMIN)

Award Year / Program / Phase:
2006 / SBIR / Phase I
Award Amount:
$99,969.00
Agency / Branch:
DOD / OSD
Principal Investigator:
Steven Brueckner, Technical Director
Abstract:
To control the costs of software development of complex, critical military, government, and commercial applications, organizations are turning to outside specialty sub-contractors and COTS software. However, the uncertain pedigree of purchased software leads to the possible presence of exploitable… More

AppMon: Application Monitors for Not-Yet-Trusted Software

Award Year / Program / Phase:
2006 / STTR / Phase I
Award Amount:
$100,000.00
Agency / Branch:
DOD / OSD
Principal Investigator:
Carla Marceau, Senior Principal Scientist
Research Institution:
CORNELL UNIV.
RI Contact:
Daniel Whittaker
Abstract:
Full certification and testing of application programs provides a level of assurance that they will not harm host systems, but it takes a long time. For this reason, software users are often faced with a vexing dilemma: in order to obtain critical new functionality, they must use software that may… More

Chipotle: A Peer-to-Peer System for Highly Distributed and Fault Tolerant XML Data Management

Award Year / Program / Phase:
2006 / SBIR / Phase I
Award Amount:
$99,933.00
Agency / Branch:
DOD / MDA
Principal Investigator:
Matthew Stillerman, Technical Director
Abstract:
ATC-NY, in collaboration with Cornell University and Architecture Technology Corporation, will design and build Chipotle, a distributed XML database targeting the needs of the MDA, other DoD operations, and commercial applications. The Chipotle system will be highly resistant to failures, require… More

MLIDS, a Machine Learning Intrusion Detection System

Award Year / Program / Phase:
2006 / SBIR / Phase I
Award Amount:
$99,961.00
Agency / Branch:
DOD / USAF
Principal Investigator:
Daniel Tingstrom, Computer Scientist
Abstract:
High-fidelity simulation environments using Distributed Mission Operations (DMO) may be attacked by enemies wishing to subvert the simulation performance and results. To detect, mitigate, and inoculate against such attacks, ATC-NY, in collaboration with Architecture Technology Corporation and… More

The Metadata Security Assertion Framework and Evaluation system (MetaSAFE)

Award Year / Program / Phase:
2007 / SBIR / Phase I
Award Amount:
$99,963.00
Agency / Branch:
DOD / USAF
Principal Investigator:
Marisa Gioioso, Principal Scientist
Abstract:
Modern Defense strategy and execution is increasingly net-centric and distributed, allowing for new information flows that cross system, domain, and community of interest boundaries. But these new data flows introduce security risk as sensitive information passes outside of the domain where it was… More

Aspen: Analyzing the compatibility of security policies in a system of systems

Award Year / Program / Phase:
2007 / SBIR / Phase I
Award Amount:
$99,942.00
Agency / Branch:
DOD / MDA
Principal Investigator:
David Guaspari, Staf Scientist
Abstract:
Complex applications are, increasingly, constructed by networking and integrating computer systems and services, each with its own stakeholders and security policy. Developers can find it difficult to understand how those policies mediate interactions among the component systems. Access decisions… More

DaSD - Dynamic Service Discovery

Award Year / Program / Phase:
2007 / SBIR / Phase I
Award Amount:
$69,959.00
Agency / Branch:
DOD / NAVY
Principal Investigator:
Daniel Tingstrom, Senior Computer Scientist
Abstract:
The current UDDI standard does not support dynamic federation of registries in the Navy's disconnected and low bandwidth environment. To support these dynamic, multi-enclave federations while keeping security policies in place, ATC-NY, in collaboration with Architecture Technology Corporation, will… More

Phantom: Virtualized COI Information Systems

Award Year / Program / Phase:
2007 / SBIR / Phase I
Award Amount:
$69,998.00
Agency / Branch:
DOD / NAVY
Principal Investigator:
Matthew Stillerman, Senior Principal Scientist
Abstract:
Communities of interest (COIs) are often established in response to emerging situations; the participants and their needs are fluid, and not completely known at the outset. Frequently, they include participants from different organizations, whose information systems are not integrated. Whether a… More

EXploit And Malware INcubator (EXAMIN)

Award Year / Program / Phase:
2007 / SBIR / Phase II
Award Amount:
$745,599.00
Agency / Branch:
DOD / OSD
Principal Investigator:
Steven Brueckner, Senior Cpmputer Scientist
Abstract:
To mitigate the problem of obtaining potentially insecure software, ATC-NY, Architecture Technology Corporation, and Lockheed Martin are creating the EXploit And Malware INcubator (EXAMIN), a product designed to assist in the safe triggering and detection of malicious code in binaries. EXAMIN will… More

Protoplasm: Automating checks for protocol compatibility

Award Year / Program / Phase:
2007 / STTR / Phase I
Award Amount:
$99,991.00
Agency / Branch:
DOD / OSD
Principal Investigator:
David Guaspari, Staff Scientist
Research Institution:
UNIV. OF MINNESOTA
RI Contact:
April H. Coon
Abstract:
Pervasive networking provides ever-growing opportunities for collaboration among computer systems operating in different domains. These systems may "speak" in their own protocols and data formats; and determining whether two speak in compatible terms can be difficult. Since manual review is… More

Chipotle: A Peer-to-Peer System for Highly Distributed and Fault Tolerant XML Data Management

Award Year / Program / Phase:
2007 / SBIR / Phase II
Award Amount:
$750,000.00
Agency / Branch:
DOD / MDA
Principal Investigator:
Matthew Stillerman, Senior Principal Scientis
Abstract:
ATC-NY, and collaborators from Cornell University, the US Naval Academy, and Architecture Technology Corporation, will design and build Chipotle, a distributed XML database targeting the needs of the MDA, other DoD operations, and organizations providing emergency services. The Chipotle system… More

ALMA: The Agile Loss Management Approach in Wireless Networks

Award Year / Program / Phase:
2008 / STTR / Phase I
Award Amount:
$69,938.00
Agency / Branch:
DOD / NAVY
Principal Investigator:
Daniel Tingstrom, Technical Director
Research Institution:
CORNELL UNIV.
RI Contact:
Diane West
Abstract:
Tactical military wireless networks present unique challenges. They must provide the capabilities of commercially available wireless networks-under radically different conditions. Nodes are very mobile and network topologies change often. Military networks cannot use commercially available… More

WIRE - Web service Interface Revision Environment

Award Year / Program / Phase:
2008 / SBIR / Phase I
Award Amount:
$99,970.00
Agency / Branch:
DOD / USAF
Principal Investigator:
Daniel Tingstrom, Computer Scientist
Abstract:
Upgrading a service in a Service Oriented Architecture (SOA) can be costly and inefficient. ATC-NY, together with Architecture Technology Corporation, will develop WIRE (Web service Interface Revision Environment), a framework and toolset to efficiently manage version problems in a large distributed… More

The Metadata Security Assertion Framework and Evaluation system (MetaSAFE)

Award Year / Program / Phase:
2008 / SBIR / Phase II
Award Amount:
$746,189.00
Agency / Branch:
DOD / USAF
Principal Investigator:
Daryl McCullough, Senior Computer Scientist
Abstract:
Modern defense strategy and execution is increasingly net-centric and distributed, allowing for new information flows that cross system, domain, and community of interest boundaries. But these new data flows introduce security risks as sensitive information passes outside of the domain where it was… More

Elan: The Event Logic Assistant

Award Year / Program / Phase:
2009 / STTR / Phase II
Award Amount:
$749,860.00
Agency / Branch:
DOD / USAF
Principal Investigator:
Mark Bickford, Senior Principal Scientist
Research Institution:
Cornell University
RI Contact:
Dan Whitaker
Abstract:
Distributed systems have become too complex to develop and maintain without the aid of mathematical techniques supported by automated tools. Abstraction has been the most reliable means for gaining intellectual control of such complexities. Over the past several years, ATC-NY and Cornell University… More

Alcuin

Award Year / Program / Phase:
2009 / SBIR / Phase I
Award Amount:
$99,982.00
Agency / Branch:
DOD / USAF
Principal Investigator:
Steven Brueckner, Senior Principal Scientis
Abstract:
Digital forensics is the science of investigating digital devices, transmissions, and storage media to acquire legal evidence related to a crime. The discipline is essential in addressing rising cyber crime rates, and acting as a deterrent to insider threats by providing attribution. There is need… More

WIRE - Web service Interface Revision Environment

Award Year / Program / Phase:
2009 / SBIR / Phase II
Award Amount:
$749,855.00
Agency / Branch:
DOD / USAF
Principal Investigator:
Daniel Tingstrom, Computer Scientist
Abstract:
Upgrading a service in a Service Oriented Architecture (SOA) can be costly and inefficient, especially since in SOA environments services typically depend on other services in a system-of-systems context. ATC-NY, together with Architecture Technology Corporation, will develop WIRE (Web service… More

LureID: A Scalable, Highly Accurate Anti-Phishing Filter

Award Year / Program / Phase:
2010 / SBIR / Phase I
Award Amount:
$99,976.00
Agency / Branch:
DOD / OSD
Principal Investigator:
Hajime Inoue, Principal Scientist
Abstract:
Phishing is an increasing danger to the military and other organizations that must prevent information leakage. Targeted phishing (spear-phishing) and even regular phishing attempts evade regular spam detectors because phishing attacks are designed to loo

USB Steward

Award Year / Program / Phase:
2010 / SBIR / Phase I
Award Amount:
$69,972.00
Agency / Branch:
DOD / ARMY
Principal Investigator:
Frank Adelstein, Technical Director
Abstract:
Universal Serial Bus (USB) devices such as thumb drives are commonly used to share information between computers and thus serve as vectors for attacks. For example, unsuspecting military personnel can easily carry malicious software or hardware into secure environments on USB thumb drives. Malicious… More

Alcuin

Award Year / Program / Phase:
2010 / SBIR / Phase II
Award Amount:
$747,594.00
Agency / Branch:
DOD / USAF
Principal Investigator:
Steve Brueckner, Senior Principal Scientis
Abstract:
The military, government, and commercial enterprises are all vulnerable to the crime of cyber attack. Digital forensics is the science of investigating digital devices, transmissions, and storage media to acquire and analyze evidence related to an incident or crime with the goal of providing solid… More

DivA: Automated Generation of Logical Code Diversity

Award Year / Program / Phase:
2011 / STTR / Phase I
Award Amount:
$149,967.00
Agency / Branch:
DOD / NAVY
Principal Investigator:
David Guaspari, Senior Staff Scientist – (607) 257-1975
Research Institution:
Cornell University
RI Contact:
Linda Brainard
Abstract:
Computing systems built on identical foundations (hardware, operating systems, etc.) will be vulnerable to the same attacks. To avoid widespread failures, techniques have been sought for introducing"synthetic diversity"into systems. The best studied are low level randomization… More

Fight-Through Nodes (FTN)

Award Year / Program / Phase:
2011 / SBIR / Phase I
Award Amount:
$99,976.00
Agency:
DOD
Principal Investigator:
Stephen Brueckner, Technical Director – (607) 257-1975
Abstract:
ABSTRACT: Despite existing security efforts, DoD networks are susceptible to attack and compromise. For critical missions, it is necessary to"fight through"cyber attacks in order to achieve mission objectives. Such a"survivable"network would be capable of carrying on (in a… More

SIPRIA: a System for Presenting Intelligence Relevant to an Anomalous Event Alert

Award Year / Program / Phase:
2011 / SBIR / Phase I
Award Amount:
$99,987.00
Agency:
DOD
Principal Investigator:
Hajime Inoue, Principal Scientist – (607) 257-1975
Abstract:
ABSTRACT: Analysts must determine the proper response to an alert produced by an anomaly detection system. Currently, analysts must manually generate queries to other intelligence sources and then search by hand through the results to find evidence relevant to the alert. This is a slow and… More

BotMesh

Award Year / Program / Phase:
2011 / SBIR / Phase I
Award Amount:
$79,921.00
Agency:
DOD
Principal Investigator:
Stephen Brueckner, Technical Director – (607) 257-1975
Abstract:
Botnets and other large-scale malicious behaviors present a pervasive and evolving threat to cyber security. Stealth botnets and distributed, stealthy cyber attacks present a particular challenge to cyber defense because their malicious behavior is difficult to detect. State-of-the-art and… More

USB Steward

Award Year / Program / Phase:
2011 / SBIR / Phase II
Award Amount:
$758,724.00
Agency / Branch:
DOD / ARMY
Principal Investigator:
Matthew Donovan, Principal Scientist – (607) 257-1975
Abstract:
Universal Serial Bus (USB) devices such as thumb drives are commonly used to share information between computers. These innocuous-looking devices, however convenient, also serve as vectors for attacks. For example, unsuspecting military personnel can easily carry malicious software or hardware into… More

Arden

Award Year / Program / Phase:
2012 / SBIR / Phase I
Award Amount:
$99,905.88
Agency:
DHS
Principal Investigator:
Abstract:
Solid-state storage media, particularly solid-state drives (SSDs), present new challenges to forensic investigation that need to be addressed. The lowlevel behavior of these drives is dramatically different than for mechanical hard disk drives-including what low-level data is available, how that… More

Emile: The EventML Explorer

Award Year / Program / Phase:
2012 / SBIR / Phase I
Award Amount:
$124,986.00
Agency:
NASA
Principal Investigator:
David A. Guaspari, Principal Investigator
Abstract:
The protocols needed to coordinate the activities of distributed components, such as consensus algorithms, are notoriously difficult to design, implement, and verify. Abstraction is the only way to gain intellectual control over this complex problem; so ATC-NY and Cornell University have developed… More

Automated SCAP Tool Validator (ASTV)

Award Year / Program / Phase:
2013 / SBIR / Phase I
Award Amount:
$89,920.00
Agency / Branch:
DOC / NIST
Principal Investigator:
Robert Joyce – (607) 257-1975
Abstract:
The current testing methods of the NIST Security Content Automation Protocol (SCAP) Validation Program are largely manual and labor-intensive, making comprehensive validation of SCAP-enabled IT security products difficult and time-consuming. ATC-NY will design and develop the Automated SCAP Tool… More

WITTS: White Team Training Suite

Award Year / Program / Phase:
2014 / SBIR / Phase II
Award Amount:
$749,896.00
Agency / Branch:
DOD / USAF
Principal Investigator:
Stephen Brueckner, Technical Director – (607) 257-1975
Abstract:
ABSTRACT: To maintain superiority in the cyber domain, the Air Force is preparing the next generation of cyber warriors. Running trainees through realistic exercises on cyber ranges is a highly effective method for preparing warfighters for cyber operations. However, training platforms and cyber… More

BotMesh

Award Year / Program / Phase:
2014 / SBIR / Phase II
Award Amount:
$599,987.00
Agency / Branch:
DOD / NAVY
Principal Investigator:
Daniel Tingstrom, Principal Scientist – (607) 257-1975
Abstract:
JTRS tactical networks that employ mobile ad hoc networking (MANET) protocols, while providing new network centric capabilities for the warfighter, also present challenges for real-time cyber defense and cyber situational awareness. The JPEO JTRS therefore identified the need to protect tactical… More

LAVA: Lightweight Application Virtualization Architecture

Award Year / Program / Phase:
2014 / SBIR / Phase I
Award Amount:
$149,972.00
Agency / Branch:
DOD / USAF
Principal Investigator:
Matthew Donovan, Technical Director – (607) 257-1975
Abstract:
ABSTRACT: Cloud computing is an attractive platform architecture for many IT applications, particularly because of its support for elastic scaling in response to changing loads. However, adoption of cloud computing is hampered by reduced computing efficiency, higher management cost, and greater… More