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:
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆42Updated 10 months ago
- Cryptographic Protocol Shapes Analyzer☆37Updated 2 years ago
- DEciding Equivalence Properties in SECurity protocols☆18Updated 2 years ago
- MIT's abstract interpretation class taught by Cousot☆40Updated 10 years ago
- Binary analysis in HOL☆40Updated 3 months ago
- Structured Threat Intelligence Graph☆95Updated 2 months ago
- A MAL language that demonstrates the Maven project structure☆23Updated 3 years ago
- Coq library for verified low-level programming☆60Updated 8 years ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆50Updated 2 weeks ago
- Coq library for tactics, basic definitions, sets, maps☆49Updated last week
- The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.☆53Updated 3 weeks ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆56Updated last year
- Isabelle LLVM Code Generator and Refinement☆28Updated this week
- The CBMC starter kit makes it easy to add CBMC verification to a software project.☆46Updated 3 months ago
- Fuzz testing for Dafny☆13Updated 2 years ago
- SRI Sally: A model checker for infinite-state systems.☆74Updated this week
- An extension to PUMPKIN PATCH with support for proof repair across type equivalences.☆49Updated this week
- The BAP tutorial☆72Updated 2 years ago
- Library for Classical Coq☆39Updated last month
- Patches Assured up to Trace Equivalence☆16Updated 2 months ago
- WiP - cve-search next gen☆13Updated 5 years ago
- ☆19Updated 2 years ago
- Landing Page Content/Builder for MITRE Security Automation Framework☆29Updated 2 weeks ago
- Type qualifiers for C☆16Updated 13 years ago
- ☆28Updated 2 weeks ago
- A collection of ready to use binary analysis tools☆59Updated last year
- Pythonic way to work with the galaxies defined there: https://github.com/MISP/misp-galaxy☆19Updated 7 months ago
- Generation of mutant programs☆20Updated 6 years ago
- A CALDERA plugin☆13Updated last year
- Exploit, Malware and Vulnerability Scoring Application☆13Updated last year