Formally Verified X.509 Certificate Validation
☆18Nov 19, 2025Updated 11 months ago
Alternatives and similar repositories for verdict
Users that are interested in verdict are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆35Aug 30, 2022Updated 4 years ago
- Compositional Verification of Security Protocols☆37Updated this week
- High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus☆104Updated this week
- ☆14Mar 18, 2025Updated last year
- A test library for computing modular exponentiation in parallel using AVX-512 vector arithmetic☆12Dec 18, 2023Updated 2 years ago
- 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.
- Rust interface for cvc5☆17Oct 13, 2026Updated 2 weeks ago
- Nola: Later-Free Ghost State for Verifying Termination in Iris☆10Aug 2, 2025Updated last year
- ☆13Updated this week
- Assignments for COMP SCI 839 from UW-Madison in Fall 2023☆12Nov 30, 2023Updated 2 years ago
- ☆22Jan 31, 2026Updated 8 months ago
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆14Oct 30, 2025Updated 11 months ago
- ☆11Jan 5, 2025Updated last year
- A memory allocator verified with Verus☆41Updated this week
- ☆20Sep 9, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Mirror of my Go Kyber implementation.☆16May 30, 2018Updated 8 years ago
- ☆24Feb 2, 2026Updated 8 months ago
- ☆15Mar 20, 2024Updated 2 years ago
- ☆22Oct 12, 2026Updated 2 weeks ago
- Towers of category constructors☆13Oct 21, 2026Updated last week
- Artifact for the OSDI'2025 paper☆18Sep 9, 2026Updated last month
- clone from myJIT(a fork of GNU lightning)☆11Mar 17, 2015Updated 11 years ago
- ☆14Sep 25, 2026Updated last month
- What C# can do for studying Finite Groups, quotient groups, semi-direct products, homomorphisms, automorphisms group, characters table, m…☆15Jul 16, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- System for verifying the correctness of generated Copilot programs☆20May 8, 2025Updated last year
- An SMT solver for program verification☆20Updated this week
- Easy SMT solver interaction☆37Feb 3, 2026Updated 8 months ago
- For Jar artifacts☆20Nov 8, 2025Updated 11 months ago
- A new take on facet-reflect☆14Oct 16, 2026Updated last week
- A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.☆21Jul 21, 2026Updated 3 months ago
- Faster Montgomery and Joye ladder formulas for short Weierstrass elliptic curves☆22Jul 1, 2020Updated 6 years ago
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆24May 7, 2025Updated last year
- AlphaVerus: Formally Verified Code Generation through Self-Improving Translation and Treefinement☆35May 14, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A c-style toy language, Implemented with llvm.☆10Apr 2, 2015Updated 11 years ago
- An automated deductive program verifier based on concurrent separation logic☆34Updated this week
- A DSL for formal verification of hardware and software systems using Rocq/Coq.☆12Updated this week
- A formally verified security module for AMD confidential VMs☆75Sep 25, 2026Updated last month
- Tools for testing and verifying the safety and correctness of C programs.☆19May 5, 2025Updated last year
- An implementation of a post quantum anonymous credential scheme☆17Dec 18, 2024Updated last year
- Storage systems with verified correctness properties☆85Sep 29, 2026Updated last month