Alternatives and similar repositories for x509-parser

Users that are interested in x509-parser are comparing it to the libraries listed below

• imdea-software / verifying-constant-time
  ☆35Updated 8 years ago
• MTG-AG / cpt
  ☆12Updated 3 years ago
• airbus-seclab / c-compiler-security
  Security-related flags and options for C compilers
  ☆194Updated 2 years ago
• microwalk-project / Microwalk
  A microarchitectural leakage detection framework using dynamic instrumentation.
  ☆77Updated 2 months ago
• hannob / bignum-fuzz
  Code to fuzz bignum libraries
  ☆46Updated 6 years ago
• project-everest / QUIC-FStar
  An implementation of the IETF QUIC protocol in F*
  ☆20Updated 6 years ago
• sancus-tee / tutorial-dsn18
  Building Distributed Enclave Applications with Sancus and SGX
  ☆13Updated 4 years ago
• lmrs2 / secretgrind
  Secretgrind: a Valgrind analysis tool to detect secrets in memory
  ☆61Updated 8 years ago
• mitls / mitls-flex
  TLS implemented in f7
  ☆43Updated 9 years ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆41Updated 8 years ago
• falsecurity / cache-leak-detector
  Instruction cache leakage detection tool for modular exponentation software.
  ☆15Updated 8 years ago
• binsec / Rel
  Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…
  ☆33Updated 7 months ago
• ANSSI-FR / picon
  Picon
  ☆39Updated 8 years ago
• airbus-seclab / gustave
  GUSTAVE is a fuzzing platform for embedded OS kernels. It is based on QEMU and AFL (and all of its forkserver siblings). It allows to fuz…
  ☆200Updated 4 years ago
• BinaryAnalysisPlatform / bap-toolkit
  A collection of ready to use binary analysis tools
  ☆60Updated last year
• airbus-seclab / airbus-seclab.github.io
  Conferences, tools, papers, etc.
  ☆43Updated 2 months ago
• trailofbits / screen
  Measure branching along code paths
  ☆20Updated 8 years ago
• jwilk / recidivm
  estimate peak virtual memory use
  ☆18Updated 5 months ago
• randombit / crypto-corpus
  Corpus of crypto formats
  ☆12Updated 2 years ago
• mjosaarinen / gostbox
  GOSTBOX -- A 95-byte program for the 256-byte Streebog/Kuznyechik S-Box.
  ☆15Updated 4 years ago
• binsec / haunted
  Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.
  ☆17Updated last year
• model-checking / cbmc-starter-kit
  The CBMC starter kit makes it easy to add CBMC verification to a software project.
  ☆46Updated 3 weeks ago
• vanhauser-thc / vulntest
  Static code analysis test source code
  ☆32Updated 2 years ago
• Fraunhofer-AISEC / DATA
  Differential Address Trace Analysis
  ☆58Updated last year
• danpage / mascab
  MASCAB: a Micro-Architectural Side-Channel Attack Bibliography
  ☆41Updated 6 years ago
• danpage / scale
  SCALE: Side-Channel Attack Lab. Exercises
  ☆43Updated last year
• 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
• crocs-muni / ct-tools
  A repository of tools for verifying constant-timeness
  ☆18Updated 6 months ago
• SEI-CERT / scvs
  Secure Coding Validation Suite
  ☆70Updated 12 years ago
• draperlaboratory / cbat_tools
  Program analysis tools developed at Draper on the CBAT project.
  ☆103Updated 2 years ago