a RTE-free X.509 parser
☆64Oct 24, 2022Updated 4 years ago
Alternatives and similar repositories for x509-parser
Users that are interested in x509-parser are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Generation of mutant programs☆20Oct 31, 2018Updated 7 years ago
- Public snapshots of "ACSL by Example"☆128Sep 5, 2026Updated last month
- Picon☆39Apr 16, 2017Updated 9 years ago
- A TLA+ specification for the Xen vchan protocol☆15Jan 7, 2026Updated 9 months ago
- Sources for the ANSI/ISO C Specification Language manual☆74Sep 9, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Toolset to analyse TLS datasets☆12Aug 7, 2019Updated 7 years ago
- JTAG in a box : easy JTAG for router flashing, recovery and many more use cases !☆13Dec 17, 2018Updated 7 years ago
- Release snapshots of the Frama-C platform for source code analysis☆190Oct 21, 2020Updated 6 years ago
- Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)☆35Oct 29, 2020Updated 6 years ago
- Very small examples of TLA+ features.☆42Apr 14, 2019Updated 7 years ago
- ☆14Sep 25, 2026Updated last month
- Linux kernel library functions formally verified.☆66Sep 21, 2026Updated last month
- A file-sharing app providing end-to-end encryption of data.☆35May 22, 2026Updated 5 months ago
- RFCs for changes to the TLA+ specification language☆12Sep 22, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Set of tools to analyze Tinynuke samples☆15Nov 18, 2021Updated 4 years ago
- zmk is a collection of reusable makefiles☆24Aug 4, 2024Updated 2 years ago
- Coq Lecture Notes (WIP)☆56Oct 17, 2020Updated 6 years ago
- A framework for implementing and certifying impure computations in Coq☆54Jan 16, 2024Updated 2 years ago
- Clade is a tool for extracting information about software build process and source code☆25Oct 13, 2026Updated 2 weeks ago
- Clang/LLVM patches to zero stack/registers of sensitive functions☆16Apr 14, 2018Updated 8 years ago
- High Speed elliptic curve signature system using a 260-bit Granger Moss Prime.☆14Sep 24, 2026Updated last month
- Optimized implementation of ring-TESLA☆11Aug 4, 2016Updated 10 years ago
- An Internet-Draft for the Balloon Key Derivation Function (BKDF), a memory-hard password hashing and password-based key derivation functi…☆11Jun 29, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- unofficial grsecurity gpl release☆24Dec 18, 2018Updated 7 years ago
- Fully proved small C functions (examples for verification course).☆17Jun 26, 2017Updated 9 years ago
- Multiplication using AVX512 and AVX512IFMA instructions☆26Nov 9, 2015Updated 10 years ago
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆27Nov 18, 2022Updated 3 years ago
- A tool for linear and differential cryptanalysis of block ciphers written in Rust☆15Sep 28, 2022Updated 4 years ago
- Internship (research) project for SURF. Process (Net)Flow data into Nmap scans.☆12Jun 7, 2022Updated 4 years ago
- like ChaCha, but 64-bit instead of 32-bit thanks to BLAKE2b's permutation☆16Apr 8, 2017Updated 9 years ago
- Concurrent hash map for Rust☆16Sep 18, 2016Updated 10 years ago
- A hex editor widget for Qt5☆10Feb 8, 2016Updated 10 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- MRT Parser☆47Apr 5, 2019Updated 7 years ago
- A Tutorial on Reflecting in Coq the generation of Hoare proof obligations [maintainer=@k4rtik]☆22Nov 25, 2021Updated 4 years ago
- ☆16Updated this week
- A Coq library for abstract syntactical reasoning☆24Apr 29, 2025Updated last year
- IVRE's fork of the famous TCP port scanner. See below for details.☆39Jan 28, 2025Updated last year
- A simple, lightweight, public-domain secure random number generator☆17Feb 21, 2015Updated 11 years ago
- BOF (Boiboite Opener Framework) is a testing framework for industrial protocols implementations and devices.☆54Feb 14, 2025Updated last year