Projects

Thank you! Your submission has been received!

Oops! Something went wrong while submitting the form.

No results found. Try adjusting your filters or search terms to see more projects.

QSAFE

Quantum Secure Architectures Fit for Embedded devices

VIEW PROJECT

Rigorous Digital Engineering

HIPERSPACE

High Integrity, Performant, Efficient Realization of a SPAceborne Cryptographic Engine

VIEW PROJECT

Aerospace & Defense

Semiconductors

Rigorous Digital Engineering

Advanced Cryptography & Privacy

GUMBO

Grand Unified Modeling of Behavioral Operators

VIEW PROJECT

Rigorous Digital Engineering

Software & Systems Analysis

FRIGATE

Auto-Generated Failure Recovery Plans

VIEW PROJECT

Rigorous Digital Engineering

Aerospace & Defense

TICS

Temporal Isolation CASE Scheduler

VIEW PROJECT

Software & Systems Analysis

DETECT

Discovering and Explaining Threats of Emergent Computation to enable Transformations

VIEW PROJECT

Software & Systems Analysis

POLYMORPH

Promotion to Optimal Languages Yielding Modular Operator-driven Replacements and Programmatic Hooks

VIEW PROJECT

Software & Systems Analysis

BASALISC

Bespoke Asynchronous Silicon-Accelerated LWE Intrinsics through Software/Hardware Codesign

VIEW PROJECT

Semiconductors

Advanced Cryptography & Privacy

SuperMaaS

A Proposed Model Registry For Actionable Updates

VIEW PROJECT

Artificial Intelligence & Machine Learning

ROCKY

Reliable Obfuscated Communications Kit for everYone

VIEW PROJECT

Advanced Cryptography & Privacy

LINK

Linking Multiphysics Models

VIEW PROJECT

Artificial Intelligence & Machine Learning

SEEC

Synthesizing Evidence of Emergent Computation

VIEW PROJECT

Software & Systems Analysis

Artificial Intelligence & Machine Learning