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.

D-FAMS

Digital Future Acquisition, Maintenance, and Sustainment

VIEW PROJECT

Rigorous Digital Engineering

Aerospace & Defense

QUIIP

QUantified Information flow for Intelligent Partitioning

VIEW PROJECT

Rigorous Digital Engineering

SIEVE

Securing Information for Encrypted Verification and Evaluation

VIEW PROJECT

Advanced Cryptography & Privacy

Automotive

ESSENCE

Revolutionizing Cyber-Physical System Design with AI-Assisted Tools

VIEW PROJECT

Automotive

Aerospace & Defense

Artificial Intelligence & Machine Learning

Rigorous Digital Engineering

INDIGO

INsight into Diverse Information using Graphs and Ontologies

VIEW PROJECT

Rigorous Digital Engineering

Human Factors

Space-BACN

Space-Based Adaptive Communications Node

VIEW PROJECT

Aerospace & Defense

Rigorous Digital Engineering

Blockchain Technologies

A rigorous mathematical approach to blockchain security

VIEW PROJECT

Fintech

Advanced Cryptography & Privacy

LAGOON

An analysis tool for open-source communities

VIEW PROJECT

Artificial Intelligence & Machine Learning

Formal Verso

Formal Verification for Smart Contracts

VIEW PROJECT

Fintech

Software & Systems Analysis

Advanced Cryptography & Privacy

5STARS

Automated Network Verification

VIEW PROJECT

Software & Systems Analysis

Aerospace & Defense

REVERSER

Repair Engineering for Verified Software Resilience

VIEW PROJECT

Critical Systems

Software & Systems Analysis

Artificial Intelligence & Machine Learning

HARDENS

High Assurance Rigorous Digital Engineering for Nuclear Safety

VIEW PROJECT

Rigorous Digital Engineering

Semiconductors