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.

Verona

A Platform for Developing and Deploying Secure Computation for Data Scientists

VIEW PROJECT

Advanced Cryptography & Privacy

MATE

Merged Analysis To prevent Exploits

VIEW PROJECT

Software & Systems Analysis

Fintech

Jana

Private Data as a Service

VIEW PROJECT

Advanced Cryptography & Privacy

FIDES

Framework for Information Disclosure with Ethical Security

VIEW PROJECT

Advanced Cryptography & Privacy

Healthcare

BESSPIN

Balancing Evaluation of System Security Properties with Industrial Needs

VIEW PROJECT

Automotive

Rigorous Digital Engineering

Semiconductors

Software & Systems Analysis

CAVES

Cryptographic Analysis, Verification, Exploration, and Synthesis

VIEW PROJECT

Advanced Cryptography & Privacy

Proving Amazon’s s2n correct

Leveraging formal verification tools and techniques to prove the correctness of core components of Amazon’s s2n encryption library, a process that mathematically rules out flaws in their implementations.

VIEW PROJECT

Critical Systems

RAMPARTS

RApid Machine-learning Processing Applications and Reconfigurable Targeting of Security

VIEW PROJECT

Advanced Cryptography & Privacy

STARPILOT

The Safeware Test, Assessment, Research Prototype, Infrastructure, and Literature Overview Team

VIEW PROJECT

Advanced Cryptography & Privacy

ADAPT

A Diagnostic Approach for Persistent Threat Detection

VIEW PROJECT

Artificial Intelligence & Machine Learning

Advanced Cryptography & Privacy

RADSS

Robust, Assured Diversity for Software Systems

VIEW PROJECT

Software & Systems Analysis

FIPS

Conformance and Validation

VIEW PROJECT

Advanced Cryptography & Privacy