ANSSI-FR / x509-parser

Related projects ⓘ

Alternatives and complementary repositories for x509-parser

• MTG-AG / cpt
  ☆12Updated 2 years ago
• imdea-software / verifying-constant-time
  ☆35Updated 7 years ago
• riverloopsec / banned-h-embedded
  An embedded-focused banned.h / strsafe variant intended to assist for Secure Software Development Lifecycle for Embedded Developers
  ☆12Updated 5 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…
  ☆67Updated 2 years ago
• model-checking / cbmc-starter-kit
  The CBMC starter kit makes it easy to add CBMC verification to a software project.
  ☆44Updated last month
• Ledger-Donjon / visplot
  Side-channel traces visualizer
  ☆13Updated 8 months ago
• sancus-tee / tutorial-dsn18
  Building Distributed Enclave Applications with Sancus and SGX
  ☆13Updated 3 years ago
• danpage / mascab
  MASCAB: a Micro-Architectural Side-Channel Attack Bibliography
  ☆40Updated 6 years ago
• HexHive / EPOXY
  Root Repo for the EPOXY tool that applies Privilege Overlays on bare-metal systems
  ☆33Updated 7 years ago
• tls13tamarin / TLS13Tamarin
  This is a Tamarin model of TLS 1.3
  ☆31Updated last year
• kste / keycommitment
  Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456
  ☆20Updated 2 years ago
• Ledger-Donjon / ledger-donjon-ctf-2020
  Ledger Donjon CTF 2020
  ☆17Updated 3 years ago
• seecurity / mona-timing-lib
  Tools for timing attacks
  ☆18Updated 9 years ago
• jwilk / recidivm
  estimate peak virtual memory use
  ☆19Updated 9 months ago
• microwalk-project / Microwalk
  A microarchitectural leakage detection framework using dynamic instrumentation.
  ☆68Updated 5 months ago
• Phantom1003 / QARMA64
  QARMA block cipher in C
  ☆24Updated 2 years ago
• danpage / scale
  SCALE: Side-Channel Attack Lab. Exercises
  ☆41Updated last year
• Fraunhofer-AISEC / DATA
  Differential Address Trace Analysis
  ☆54Updated 7 months ago
• ANSSI-FR / picon
  Picon
  ☆38Updated 7 years ago
• lmrs2 / secretgrind
  Secretgrind: a Valgrind analysis tool to detect secrets in memory
  ☆59Updated 7 years ago
• airbus-seclab / airbus-seclab.github.io
  Conferences, tools, papers, etc.
  ☆43Updated 2 months ago
• fotisl / utimaco
  Tools for reverse engineering the Utimaco Firmware
  ☆43Updated 7 years ago
• crocs-muni / ct-tools
  A repository of tools for verifying constant-timeness
  ☆12Updated 2 months ago
• landlock-lsm / linux
  Linux kernel - See Landlock issues
  ☆35Updated 2 months ago
• hannob / bignum-fuzz
  Code to fuzz bignum libraries
  ☆45Updated 6 years ago
• project-everest / QUIC-FStar
  An implementation of the IETF QUIC protocol in F*
  ☆18Updated 5 years ago
• static-analysis-engineering / CodeHawk-C
  CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
  ☆27Updated 2 weeks ago
• kkamagui / shadow-box-for-arm
  Shadow-Box: Lightweight and Practical Kernel Protector for ARM (Presented at BlackHat Asia 2018)
  ☆71Updated 6 years ago
• intel / dynamic-application-loader-host-interface
  ☆34Updated last year
• RobinDavid / checksec
  Bash script to test executable properties like (PIE, RELRO, PaX, Canaries, ASLR). (Version derivated from the original one trapkit.de/too…
  ☆21Updated 11 years ago