You are here

Aries Design Automation, LLC

Company Information
Address IL
Chicago, IL, 60618-3745


DUNS: 361627933

# of Employees: 5

Ownership Information

HUBZone Owned: N

Socially and Economically Disadvantaged: N

Woman Owned: N

Award Charts

Award Listing

  1. An Efficient Parallel SAT Solver Exploiting Multi-Core Environments

    Amount: $100,000.00

    The hundreds of stream cores in the latest graphics processors (GPUs), and the possibility to execute non-graphics computations on them, open unprecedented levels of parallelism at a very low cost. We ...

    SBIRPhase I2009National Aeronautics and Space Administration
  2. Insider Threat Detection and Response Using Formal Methods

    Amount: $100,000.00

    This project will extend the Capability Acquisition Graph (CAG) model to a form that can be easily analyzed with formal methods in order to develop countermeasures for cyber attacks arising from withi ...

    SBIRPhase I2009Department of Energy
  3. Formal Methods for Robustness Checking of Radiation-Hardened-by-Design Microelectronics

    Amount: $100,000.00

    For more than four decades, space-based systems have been used to support the detection of activities associated with the proliferation of weapons of mass destruction. This project will develop effic ...

    SBIRPhase I2009Department of Energy
  4. Efficient Techniques for Formal Verification of PowerPC 750 Executables

    Amount: $100,000.00

    We will develop an efficient tool for formal verification of PowerPC 750 executables. The PowerPC 750 architecture is used in the radiation-hardened RAD750 flight-control computers that are utilized i ...

    SBIRPhase I2008National Aeronautics and Space Administration
  5. Formal Methods for Malware Detection

    Amount: $100,000.00

    Our objective is to develop highly automatic and scalable formal methods for malware detection. Existing tools for malware detection operate by searching for pattern matches with respect to signatures ...

    SBIRPhase I2006Department of Defense Air Force
  6. Formal-Verification-Based Tool for Deobfuscation of Tamper-Proofed Software

    Amount: $100,000.00

    The rapid increase in the use of the Internet in many aspects of our lives has led to an explosive growth in the spread of malware such as computer worms, viruses, and trojans. Security tools typicall ...

    STTRPhase I2006Department of Defense Air Force
  7. SBIR Phase I: Techniques for Analysis of Counterexamples from Formal Verification of High-Level Microprocessor Designs

    Amount: $100,000.00

    This Small Business Innovation Research (SBIR) Phase I research proposes to study the feasibility of automatic methods for analysis of counterexamples from formal verification of pipelined and supersc ...

    SBIRPhase I2006National Science Foundation
US Flag An Official Website of the United States Government