Alternatives and similar repositories for cpsa

Users that are interested in cpsa are comparing it to the libraries listed below

• mitre / oldcpsa
  Cryptographic Protocol Shapes Analyzer
  ☆37Updated 3 years ago
• ge-high-assurance / VERDICT
  DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…
  ☆45Updated last year
• ANSSI-FR / x509-parser
  a RTE-free X.509 parser
  ☆63Updated 3 years ago
• AllanBlanchard / tutoriel_wp
  Frama-C and WP tutorial
  ☆66Updated 7 months ago
• mitre / mitre-saf
  Landing Page Content/Builder for MITRE Security Automation Framework
  ☆29Updated last month
• mitre / caldera-agent
  ☆20Updated 7 years ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆50Updated last month
• model-checking / cbmc-starter-kit
  The CBMC starter kit makes it easy to add CBMC verification to a software project.
  ☆48Updated 2 weeks ago
• gpetiot / Frama-C-Mutation
  Generation of mutant programs
  ☆20Updated 7 years ago
• Inria-Prosecco / proscript-messaging
  Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…
  ☆37Updated 3 years ago
• Z3Prover / FirewallChecker
  A self-contained firewall checker
  ☆108Updated 4 years ago
• GaloisInc / macaw
  Open source binary analysis tools.
  ☆230Updated 2 weeks ago
• ashwinraghav / Cqual
  Type qualifiers for C
  ☆16Updated 14 years ago
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆118Updated 6 months ago
• kdudka / predator
  A Shape Analyzer Based on Symbolic Memory Graphs
  ☆76Updated last month
• mal-lang / exampleLang
  A MAL language that demonstrates the Maven project structure
  ☆23Updated 3 years ago
• lammich / isabelle_llvm
  Isabelle LLVM Code Generator and Refinement
  ☆28Updated last week
• acsl-language / acsl
  Sources for the ANSI/ISO C Specification Language manual
  ☆63Updated 3 weeks ago
• squirrel-prover / squirrel-prover
  The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.
  ☆56Updated last month
• DeepSec-prover / deepsec
  DEciding Equivalence Properties in SECurity protocols
  ☆19Updated 2 years ago
• dafny-lang / xdsmith
  Fuzz testing for Dafny
  ☆13Updated 3 years ago
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆60Updated 8 years ago
• tls-attacker / TLS-Anvil
  TLS-Anvil, a fully automated TLS testsuite for client and servers.
  ☆98Updated last month
• awslabs / aws-lc-verification
  This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…
  ☆59Updated last week
• MTG-AG / cpt
  ☆12Updated 3 years ago
• mitre / CICAT
  ☆19Updated 5 years ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆41Updated 8 years ago
• awslabs / LibMLKEM
  ☆22Updated 2 months ago
• CERTCC / VINCE
  VINCE is the Vulnerability Information and Coordination Environment developed and used by the CERT Coordination Center to improve coordin…
  ☆82Updated this week
• MISP / PyMISPGalaxies
  Pythonic way to work with the galaxies defined there: https://github.com/MISP/misp-galaxy
  ☆19Updated 4 months ago