Alternatives and similar repositories for FirewallChecker

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

• rems-project / netsem
  Network Semantics
  ☆90Updated 6 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
• ANSSI-FR / mabo
  MRT Parser
  ☆47Updated 6 years ago
• mitls / mitls-flex
  TLS implemented in f7
  ☆43Updated 9 years ago
• vignat / vignat
  [deprecated, see https://github.com/vigor-nf/vigor] VigNAT first repository. Includes VigNAT, libVig, Vigor Validator, and all the proofs…
  ☆75Updated 3 years ago
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆288Updated this week
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆114Updated 4 months ago
• project-everest / mitls-fstar
  Verified implementation of TLS 1.3 in F*
  ☆177Updated 7 months ago
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆32Updated 6 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆124Updated 5 years ago
• project-everest / everest
  ☆200Updated this week
• kenmcmil / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆96Updated last week
• GaloisInc / macaw
  Open source binary analysis tools.
  ☆231Updated last week
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆71Updated 9 years ago
• sergeybratus / HammerPrimer
  Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson
  ☆81Updated 8 years ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆55Updated 2 years ago
• Z3Prover / z3test
  Test and benchmark repository for Z3.
  ☆28Updated last month
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆52Updated 4 years ago
• uw-unsat / serval-tutorial-sosp19
  ☆14Updated 5 years ago
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 5 years ago
• semgrep / pfff
  pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source…
  ☆184Updated 2 years ago
• landlock-lsm / linux
  Linux kernel - See Landlock issues
  ☆42Updated 4 months ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆168Updated 2 weeks ago
• microsoft / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆231Updated 4 years ago
• GaloisInc / daedalus
  The Daedalus data description language
  ☆80Updated 5 months ago
• konne88 / bagpipe
  BGP Policy Verification
  ☆26Updated 9 years ago
• sysml / uniprof
  A stack tracer/profiler for Xen domains
  ☆30Updated 2 years ago
• bolinfest / opensnoop-native
  opensnoop in pure C using eBPF
  ☆100Updated 4 months ago
• diekmann / Iptables_Semantics
  Verified iptables Firewall Ruleset Analysis
  ☆98Updated last year
• jbangert / nail
  A practical interface generator for data formats.
  ☆128Updated 5 years ago