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.

AMIDOL

Agile Metamodel Inference using Domain-specific Ontological Languages

VIEW PROJECT

Artificial Intelligence & Machine Learning

GLASS-CV

Galois Low-energy Asynchronous Secure SoC for Computer Vision

VIEW PROJECT

Semiconductors

Fromager

Verify and Evaluate Software with Zero-Knowledge of its Source Code

VIEW PROJECT

Advanced Cryptography & Privacy

Assured Learning

Leveraging Symbolic Representations for Safe and Assured Learning

VIEW PROJECT

Software & Systems Analysis

Cyber-Assured Plugins

Stable, cyber-secure systems with built-in assurance and analysis

VIEW PROJECT

Software & Systems Analysis

PIRATE

Partitioning Information via Resource-Aware Transformations for Everyone

VIEW PROJECT

Software & Systems Analysis

21CC

21st Century Cryptography

VIEW PROJECT

Semiconductors

Advanced Cryptography & Privacy

Rigorous Digital Engineering

SHAVE

Software/Hardware Assurance Verified End-to-end

VIEW PROJECT

Semiconductors

GULPHAAC

Galois Ultra-Low-Power High-Assurance Asynchronous Cryptography

VIEW PROJECT

Semiconductors

COVID-19 Data Insights

Automated Scientific Knowledge Extraction for Data-Driven Policy

VIEW PROJECT

Artificial Intelligence & Machine Learning

Healthcare

VADD

Verified Debloating and Delayering

VIEW PROJECT

Software & Systems Analysis

DaeDaLus and SPARTA

Safe PARser Toolkit for Assurance

VIEW PROJECT

Critical Systems

Software & Systems Analysis

Artificial Intelligence & Machine Learning