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
• microwalk-project / Microwalk
  A microarchitectural leakage detection framework using dynamic instrumentation.
  ☆74Updated last month
• MTG-AG / cpt
  ☆12Updated 3 years ago
• project-everest / QUIC-FStar
  An implementation of the IETF QUIC protocol in F*
  ☆20Updated 5 years ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆41Updated 8 years ago
• vernamlab / TPM-FAIL
  TPM-Fail Attack code & data
  ☆122Updated 2 years ago
• agl / ctgrind
  Checking that functions are constant time with Valgrind
  ☆188Updated 8 years ago
• tls13tamarin / TLS13Tamarin
  This is a Tamarin model of TLS 1.3
  ☆40Updated last year
• seecurity / mona-timing-lib
  Tools for timing attacks
  ☆19Updated 9 years ago
• airbus-seclab / GEA1_break
  Implementation of the key recovery attack against GEA-1 keys (Eurocrypt 2021)
  ☆49Updated 3 years ago
• Phantom1003 / QARMA64
  QARMA block cipher in C
  ☆30Updated 2 years ago
• sumanj / frankencert
  Frankencert - Adversarial Testing of Certificate Validation in SSL/TLS Implementations
  ☆178Updated 2 years ago
• hannob / bignum-fuzz
  Code to fuzz bignum libraries
  ☆46Updated 6 years ago
• lmrs2 / secretgrind
  Secretgrind: a Valgrind analysis tool to detect secrets in memory
  ☆61Updated 8 years ago
• jwilk / recidivm
  estimate peak virtual memory use
  ☆18Updated 4 months ago
• mitls / mitls-flex
  TLS implemented in f7
  ☆43Updated 9 years ago
• ANSSI-FR / SecAESSTM32
  Bibliothèque C et assembleur permettant le chiffrement/déchiffrement AES-128 de messages pour des composants grand public (famille STM32F…
  ☆69Updated 2 years ago
• Fraunhofer-AISEC / DATA
  Differential Address Trace Analysis
  ☆58Updated last year
• ANSSI-FR / picon
  Picon
  ☆39Updated 8 years ago
• mjosaarinen / brutus
  BRUTUS is an alternative, fast testing framework for CAESAR ciphers.
  ☆22Updated 9 years ago
• falsecurity / cache-leak-detector
  Instruction cache leakage detection tool for modular exponentation software.
  ☆15Updated 8 years ago
• airbus-seclab / airbus-seclab.github.io
  Conferences, tools, papers, etc.
  ☆43Updated last month
• BinaryAnalysisPlatform / bap-toolkit
  A collection of ready to use binary analysis tools
  ☆60Updated last year
• usubalang / usuba
  A programming language to write bitsliced ciphers
  ☆57Updated 11 months ago
• nccgroup / cachegrab
  a tool designed to help perform and visualize trace-driven cache attacks against software in the secure world of TrustZone-enabled ARMv8 …
  ☆80Updated 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
• airbus-seclab / c-compiler-security
  Security-related flags and options for C compilers
  ☆193Updated 2 years ago
• kste / keycommitment
  Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456
  ☆20Updated 3 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
• model-checking / cbmc-starter-kit
  The CBMC starter kit makes it easy to add CBMC verification to a software project.
  ☆46Updated 5 months ago