USA flag logo/image

An Official Website of the United States Government

Company Information:

Company Name: ATC - NY
City: Ithaca
State: NY
Zip+4: 14850-1250
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
Website URL: http://www.atcorp.com
Phone: (607) 257-1975

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
Agency: NASA
Principal Investigator: Richard platek , PRINCIPAL INVESTIGATOR
Award Amount: $50,000.00
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
Agency / Branch: DOD / ARMY
Principal Investigator:
Award Amount: $94,503.00

SUBLANGUAGE TECHNOLOGY APPLIED TO COMMAND AND CONTROL "JARGONS"

Award Year / Program / Phase: 1984 / SBIR / Phase II
Agency / Branch: DOD / ARMY
Principal Investigator:
Award Amount: $750,000.00
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
Agency / Branch: DOD / NAVY
Principal Investigator: Maureen Stillman
Award Amount: $60,500.00

GRAPHIC DISPLAY FOR MULTIMEDIA NETWORK MANAGEMENT

Award Year / Program / Phase: 1990 / SBIR / Phase II
Agency / Branch: DOD / NAVY
Principal Investigator: Maureen Stillman
Award Amount: $290,000.00
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
Agency: NASA
Principal Investigator: Douglas N. Hoover , Logician
Award Amount: $49,984.00
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
Agency / Branch: DOD / MDA
Principal Investigator: Ian Sutherland
Award Amount: $56,030.00

A SECURE FAULT TOLERANT REFERENCE MONITOR

Award Year / Program / Phase: 1991 / SBIR / Phase I
Agency / Branch: DOD / MDA
Principal Investigator: Ian Sutherland , Principal Investigator
Award Amount: $60,891.00
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
Agency: NASA
Principal Investigator:
Award Amount: $47,983.00
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
Agency / Branch: DOD / USAF
Principal Investigator: Mark Bickford
Award Amount: $69,770.00

Formal Verification of VHDL Models

Award Year / Program / Phase: 1994 / SBIR / Phase II
Agency / Branch: DOD / USAF
Principal Investigator: Mark Bickford
Award Amount: $300,000.00
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
Agency: NSF
Principal Investigator: James H Taylor
Award Amount: $64,944.00
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
Agency: NASA
Principal Investigator: Damir Jamsek
Award Amount: $69,957.00

Analysis Tools for VHSIC Hardware Description Language

Award Year / Program / Phase: 1995 / SBIR / Phase II
Agency: NASA
Principal Investigator: Damir Jamsek
Award Amount: $518,298.00
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
Agency / Branch: DOD / DARPA
Principal Investigator: Dr. David Guaspari
Award Amount: $69,962.00

Specification Interfaces for Larch/VHDL Designs

Award Year / Program / Phase: 1996 / SBIR / Phase I
Agency / Branch: DOD / USAF
Principal Investigator: Dr. Damir Jamsek
Award Amount: $124,987.00
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
Agency / Branch: DOD / DARPA
Principal Investigator: Roshan Thomas
Award Amount: $98,994.00

Security Policy Modeling and Enforcement Tools for Clinical Workflows

Award Year / Program / Phase: 1997 / SBIR / Phase II
Agency / Branch: DOD / DARPA
Principal Investigator: Roshan Thomas
Award Amount: $182,000.00
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
Agency / Branch: DOD / DARPA
Principal Investigator: Dr. David Guaspari
Award Amount: $182,000.00
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
Agency / Branch: DOD / DARPA
Principal Investigator: Roshan Thomas
Award Amount: $99,000.00
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
Agency / Branch: DOD / OSD
Principal Investigator: Frank Adelstein
Award Amount: $98,935.00
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
Agency / Branch: DOD / DARPA
Principal Investigator: Frank Adelstein, Principal Scientist
Award Amount: $98,956.00

Mobile Platforms to Support Network Forensics

Award Year / Program / Phase: 2001 / SBIR / Phase I
Agency / Branch: DOD / USAF
Principal Investigator: Frank Adelstein, Principal Scientist
Award Amount: $98,814.00
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
Agency / Branch: DOD / DARPA
Principal Investigator: Matthew Stillerman, Principal Scientist
Award Amount: $0.00
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
Agency / Branch: DOD / DARPA
Principal Investigator: Matthew Stillerman, Principal Scientist
Award Amount: $374,994.00
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
Agency / Branch: DOD / DARPA
Principal Investigator: C.Douglas Harper, Sr. Principal Scientist
Award Amount: $98,977.00
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
Agency / Branch: DOD / USAF
Principal Investigator: Frank Adelstein, Principal Scientist
Award Amount: $735,473.00
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
Agency / Branch: DOD / USAF
Principal Investigator: Matthew Stillerman, Sr. Principal Scientist
Award Amount: $97,805.00
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
Agency / Branch: DOD / DARPA
Principal Investigator: Matthew Stillerman, Sr. Principal Scientist
Award Amount: $98,952.00
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
Agency / Branch: DOD / OSD
Principal Investigator: Frank Adelestein, Senior Principal Scientis
Award Amount: $99,993.00
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
Agency / Branch: DOD / USAF
Principal Investigator: Matthew Stillerman, Senior Principal Scientis
Award Amount: $749,952.00
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
Agency / Branch: DOD / USAF
Principal Investigator: Carla Marceau, Senior Principal Scientis
Award Amount: $99,992.00
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
Agency / Branch: DOD / DARPA
Principal Investigator: David Guaspari, Senior Principal Scientis
Award Amount: $98,988.00
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
Agency / Branch: DOD / ARMY
Principal Investigator: C. Douglas Harper, Senior Principal Scientis
Award Amount: $69,965.00
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
Agency / Branch: DOD / DARPA
Principal Investigator: Frank Adelstein, Senior Principal Scientis
Award Amount: $0.00
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
Agency / Branch: DOD / DARPA
Principal Investigator: Frank Adelstein, Senior Principal Scientis
Award Amount: $374,988.00
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
Agency / Branch: DOD / OSD
Principal Investigator: Robert Joyce, Principal Scientist
Award Amount: $99,994.00
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
Agency / Branch: DOD / OSD
Principal Investigator: Carla Marceau, Senior Principal Scientis
Award Amount: $99,999.00
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
Agency / Branch: DOD / OSD
Principal Investigator: David Guaspari, Staff Scientist
Award Amount: $99,952.00
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
Agency / Branch: DOD / USAF
Principal Investigator: Robert Joyce
Award Amount: $744,321.00
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
Agency / Branch: DOD / USAF
Research Institution: Cornell University
Principal Investigator: David Guaspari, Staff Scientist
Award Amount: $99,993.00
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
Agency / Branch: DOD / DARPA
Principal Investigator: David Guaspari, Staff Scientist
Award Amount: $98,969.00
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
Agency: NSF
Principal Investigator: David Guaspari
Award Amount: $74,927.00
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
Agency / Branch: DOD / ARMY
Principal Investigator: Frank Adelstein, Senior Principal Scientis
Award Amount: $69,939.00
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
Agency / Branch: DOD / DARPA
Principal Investigator: Carla Marceau, Senior Principal Scientis
Award Amount: $98,999.00
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
Agency / Branch: DOD / OSD
Principal Investigator: David Rosenthal, Chief Scientist
Award Amount: $375,000.00
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
Agency: DHS
Principal Investigator: Matt A. Stillerman, Senior Principal Scientist
Award Amount: $99,957.00
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
Agency / Branch: DOD / USAF
Principal Investigator: Matt Stillerman, Senior Principal Scientist
Award Amount: $99,994.00
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
Agency / Branch: DOD / USAF
Principal Investigator: Frank Adelstein, Senior Principal Scientist
Award Amount: $99,924.00
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
Agency / Branch: DOD / USAF
Principal Investigator: Robert Joyce, Senior Principal Scientist
Award Amount: $99,954.00
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
Agency / Branch: DOD / OSD
Principal Investigator: Daryl McCullough, Senior Principal Scientist
Award Amount: $99,993.00
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
Agency / Branch: DOD / OSD
Principal Investigator: David Rosenthal, Chief Scientist
Award Amount: $99,978.00
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
Agency / Branch: DOD / OSD
Principal Investigator: Rob Joyce, Principal Scientist
Award Amount: $99,935.00
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
Agency / Branch: DOD / DARPA
Principal Investigator: Carla Marceau, Senior Principal Scientis
Award Amount: $374,923.00
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
Agency / Branch: DOD / USAF
Principal Investigator: Steven Brueckner, Computer Scientist
Award Amount: $749,947.00
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
Agency / Branch: DOD / USAF
Principal Investigator: Carla Marceau, Senior Principal Scientis
Award Amount: $749,859.00
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
Agency / Branch: DOD / OSD
Principal Investigator: David Rosenthal, Technical Director
Award Amount: $99,913.00
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
Agency / Branch: DOD / OSD
Principal Investigator: Steven Brueckner, Technical Director
Award Amount: $99,969.00
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
Agency / Branch: DOD / OSD
Research Institution: CORNELL UNIV.
Principal Investigator: Carla Marceau, Senior Principal Scientist
Award Amount: $100,000.00
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
Agency / Branch: DOD / MDA
Principal Investigator: Matthew Stillerman, Technical Director
Award Amount: $99,933.00
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
Agency / Branch: DOD / USAF
Principal Investigator: Daniel Tingstrom, Computer Scientist
Award Amount: $99,961.00
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
Agency / Branch: DOD / USAF
Principal Investigator: Marisa Gioioso, Principal Scientist
Award Amount: $99,963.00
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
Agency / Branch: DOD / MDA
Principal Investigator: David Guaspari, Staf Scientist
Award Amount: $99,942.00
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
Agency / Branch: DOD / NAVY
Principal Investigator: Daniel Tingstrom, Senior Computer Scientist
Award Amount: $69,959.00
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
Agency / Branch: DOD / NAVY
Principal Investigator: Matthew Stillerman, Senior Principal Scientist
Award Amount: $69,998.00
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
Agency / Branch: DOD / OSD
Principal Investigator: Steven Brueckner, Senior Cpmputer Scientist
Award Amount: $745,599.00
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
Agency / Branch: DOD / OSD
Research Institution: UNIV. OF MINNESOTA
Principal Investigator: David Guaspari, Staff Scientist
Award Amount: $99,991.00
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
Agency / Branch: DOD / MDA
Principal Investigator: Matthew Stillerman, Senior Principal Scientis
Award Amount: $750,000.00
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
Agency / Branch: DOD / NAVY
Research Institution: CORNELL UNIV.
Principal Investigator: Daniel Tingstrom, Technical Director
Award Amount: $69,938.00
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
Agency / Branch: DOD / USAF
Principal Investigator: Daniel Tingstrom, Computer Scientist
Award Amount: $99,970.00
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
Agency / Branch: DOD / USAF
Principal Investigator: Daryl McCullough, Senior Computer Scientist
Award Amount: $746,189.00
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
Agency / Branch: DOD / USAF
Research Institution: Cornell University
Principal Investigator: Mark Bickford, Senior Principal Scientist
Award Amount: $749,860.00
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
Agency / Branch: DOD / USAF
Principal Investigator: Steven Brueckner, Senior Principal Scientis
Award Amount: $99,982.00
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
Agency / Branch: DOD / USAF
Principal Investigator: Daniel Tingstrom, Computer Scientist
Award Amount: $749,855.00
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
Agency / Branch: DOD / OSD
Principal Investigator: Hajime Inoue, Principal Scientist
Award Amount: $99,976.00
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
Agency / Branch: DOD / ARMY
Principal Investigator: Frank Adelstein, Technical Director
Award Amount: $69,972.00
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
Agency / Branch: DOD / USAF
Principal Investigator: Steve Brueckner, Senior Principal Scientis
Award Amount: $747,594.00
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
Agency / Branch: DOD / NAVY
Research Institution: Cornell University
Principal Investigator: David Guaspari, Senior Staff Scientist – (607) 257-1975
Award Amount: $149,967.00
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
Agency: DOD
Principal Investigator: Stephen Brueckner, Technical Director – (607) 257-1975
Award Amount: $99,976.00
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
Agency: DOD
Principal Investigator: Hajime Inoue, Principal Scientist – (607) 257-1975
Award Amount: $99,987.00
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
Agency: DOD
Principal Investigator: Stephen Brueckner, Technical Director – (607) 257-1975
Award Amount: $79,921.00
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
Agency / Branch: DOD / ARMY
Principal Investigator: Matthew Donovan, Principal Scientist – (607) 257-1975
Award Amount: $758,724.00
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
Agency: DHS
Principal Investigator: Judson Powers
Award Amount: $99,905.88
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
Agency: NASA
Principal Investigator: David A. Guaspari, Principal Investigator
Award Amount: $124,986.00
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
Agency / Branch: DOC / NIST
Principal Investigator: Robert Joyce – (607) 257-1975
Award Amount: $89,920.00
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
Agency / Branch: DOD / USAF
Principal Investigator: Stephen Brueckner, Technical Director – (607) 257-1975
Award Amount: $749,896.00
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
Agency / Branch: DOD / NAVY
Principal Investigator: Daniel Tingstrom, Principal Scientist – (607) 257-1975
Award Amount: $599,987.00
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
Agency / Branch: DOD / USAF
Principal Investigator: Matthew Donovan, Technical Director – (607) 257-1975
Award Amount: $149,972.00
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