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 2 years ago
• ge-high-assurance / VERDICT
  DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…
  ☆41Updated 8 months ago
• mal-lang / exampleLang
  A MAL language that demonstrates the Maven project structure
  ☆23Updated 3 years ago
• awslabs / aws-lc-verification
  This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…
  ☆40Updated 4 months ago
• model-checking / cbmc-starter-kit
  The CBMC starter kit makes it easy to add CBMC verification to a software project.
  ☆46Updated 2 months ago
• mitre / CICAT
  ☆19Updated 4 years ago
• mitre / mitre-saf
  Landing Page Content/Builder for MITRE Security Automation Framework
  ☆29Updated 2 weeks ago
• SRI-CSL / sally
  A model checker for infinite-state systems.
  ☆75Updated 4 months ago
• cmu-sei / AASPE
  A set of modeling tools for security analysis (attack tree, attack impact) and a code generator to produce code for the seL4 platform fro…
  ☆16Updated 6 years ago
• idaholab / EMV
  Exploit, Malware and Vulnerability Scoring Application
  ☆13Updated last year
• OWASP / OdTM
  OWASP Ontology-driven Threat Modelling framework
  ☆37Updated last year
• eqv / hexslides
  An opinionated tool to create amazing presentations
  ☆36Updated 2 years ago
• GaloisInc / macaw
  Open source binary analysis tools.
  ☆221Updated last week
• mitre / emb3d
  ☆27Updated last week
• mitre-cyber-academy / mitre-cyber-academy.github.io
  Repository for hosting the MITRE Cyber Academy website.
  ☆11Updated 2 years ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆35Updated last year
• CERTCC / VINCE
  VINCE is the Vulnerability Information and Coordination Environment developed and used by the CERT Coordination Center to improve coordin…
  ☆65Updated last month
• SRI-CSL / PVS
  The People's Verification System
  ☆151Updated last week
• BinaryAnalysisPlatform / bap-toolkit
  A collection of ready to use binary analysis tools
  ☆57Updated last year
• kth-step / HolBA
  Binary analysis in HOL
  ☆37Updated last month
• REPROSEC / dolev-yao-star
  DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
  ☆15Updated 10 months ago
• ddsmt / ddSMT
  A delta debugger for SMT benchmarks in SMT-LIB v2.
  ☆55Updated last year
• binsec / haunted
  Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.
  ☆17Updated last year
• Z3Prover / doc
  Documentation
  ☆42Updated this week
• AllanBlanchard / tutoriel_wp
  Frama-C and WP tutorial
  ☆60Updated last month
• murxla / murxla
  A model-based API Fuzzer for SMT Solvers.
  ☆14Updated last month
• binsec / Rel
  Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…
  ☆33Updated 3 months ago
• GaloisInc / cryptol-specs
  Specifications of cryptographic algorithms in Cryptol
  ☆41Updated last week
• tls-attacker / TLS-Anvil
  TLS-Anvil, a fully automated TLS testsuite for client and servers.
  ☆92Updated last year
• RFCNLP / RFCNLP
  Open-source code for RFCNLP paper.
  ☆58Updated 2 years ago