mitre / cpsaLinks
Experimental CPSA -- the Cryptographic Protocol Shapes Analyzer experimental version
☆18Updated last month
Alternatives and similar repositories for cpsa
Users that are interested in cpsa are comparing it to the libraries listed below
Sorting:
- Cryptographic Protocol Shapes Analyzer☆37Updated 2 years ago
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆42Updated 9 months ago
- A MAL language that demonstrates the Maven project structure☆23Updated 3 years ago
- A model checker for infinite-state systems.☆74Updated 2 weeks ago
- Open source binary analysis tools.☆224Updated this week
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆41Updated 5 months ago
- a RTE-free X.509 parser☆61Updated 2 years ago
- Binary analysis in HOL☆40Updated 2 months ago
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆51Updated this week
- The DejaVu runtime verification system, using BDDs for storing data occurring in observed events.☆19Updated last year
- A formalization of properties of a simple imperative, memory-safe language.☆19Updated 3 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 3 years ago
- Coq library for verified low-level programming☆59Updated 7 years ago
- VINCE is the Vulnerability Information and Coordination Environment developed and used by the CERT Coordination Center to improve coordin…☆68Updated 3 weeks ago
- MSR Project Freta☆78Updated 10 months ago
- The CBMC starter kit makes it easy to add CBMC verification to a software project.☆46Updated 3 months ago
- MIT's abstract interpretation class taught by Cousot☆40Updated 10 years ago
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆30Updated last week
- Frama-C and WP tutorial☆60Updated last month
- ☆36Updated this week
- CertiCrypt Coq Framework☆35Updated 9 years ago
- Program Round-off Error Certifier via Static Analysis☆51Updated 8 months ago
- A CALDERA plugin☆13Updated last year
- Patches Assured up to Trace Equivalence☆16Updated last month
- Bedrock Bit Vector Library☆27Updated last year
- Repository for hosting the MITRE Cyber Academy website.☆11Updated 2 years ago
- Formalization of C++ for verification purposes.☆80Updated last week
- A self-contained firewall checker☆106Updated 3 years ago
- ☆12Updated last year
- Linux kernel library functions formally verified.☆52Updated 4 years ago