Repo for DTLS 1.3
☆33Jul 7, 2026Updated last month
Alternatives and similar repositories for dtls13-spec
Users that are interested in dtls13-spec are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Implementation of cryptographic primitives in Go☆13Mar 13, 2023Updated 3 years ago
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 6 years ago
- ☆17Aug 2, 2021Updated 5 years ago
- [work in progress] Python framework for supporting cryptographic game-hopping proofs☆13Oct 19, 2022Updated 3 years ago
- A WASM version of the AMP transform library work for use in Cloudflare Workers☆11Mar 29, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- The anonymous credentials zoo☆16Mar 17, 2021Updated 5 years ago
- Please check out https://github.com/hacspec/hacspec for more information on hacspec☆47Nov 11, 2020Updated 5 years ago
- Implements ristretto255, a fast prime-order group.☆110Feb 19, 2026Updated 5 months ago
- Experimental implementation of the Distributed Aggregation Protocol (DAP) specification.☆70Updated this week
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆62Jan 16, 2017Updated 9 years ago
- DEPRECATED - TLS regression scanner for Firefox☆19Dec 16, 2022Updated 3 years ago
- Deterministic/nonce-reuse resistant authenticated encryption scheme using XChaCha20, implemented on libsodium.☆31Aug 5, 2024Updated 2 years ago
- Boulder's archived fork of Square's go-jose library. Not used anymore. See go-jose/go-jose instead.☆12Nov 20, 2015Updated 10 years ago
- TLS 1.3 Specification☆580Jul 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.
- Map/Reduce functions for processing Certificate Transparency. Used for https://LetsEncrypt.org/stats☆11Feb 14, 2023Updated 3 years ago
- Just an example I wrote for a tc ebpf classifier (cls_bpf)☆15May 3, 2021Updated 5 years ago
- [RFC9380] Hash to curves - Rust reference implementation☆27Mar 10, 2024Updated 2 years ago
- Documentation and proofs of concept on the polyglot file PEDICOM (PE executable + DICOM)☆38Apr 10, 2019Updated 7 years ago
- A tool for verifying transitions in cryptographic game-hopping proofs☆24Updated this week
- Package software with ease 📦 Versatile deb, rpm and apk packager fueled by PKGBUILD specfiles and golang☆13Mar 4, 2024Updated 2 years ago
- Code and data for benchmarking post-quantum cryptography in TLS 1.3☆23Feb 10, 2021Updated 5 years ago
- Implementations of a fast Elliptic-curve Diffie-Hellman primitive☆28Apr 13, 2015Updated 11 years ago
- Several example uses of TPM2/TSS APIs.☆12Jan 4, 2016Updated 10 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 🔒 Pure Go GOST Security Suite☆12Dec 10, 2022Updated 3 years ago
- Verifying constant-time code with symbolic execution☆48Oct 26, 2021Updated 4 years ago
- ☆19Apr 25, 2025Updated last year
- ☆15Feb 27, 2019Updated 7 years ago
- ModbusTCP Fuzzing and DoS Tool.☆11Aug 8, 2020Updated 6 years ago
- Lichee Tang - A circuit board of RISC-V architecture http://tang.lichee.pro☆18Jul 19, 2019Updated 7 years ago
- The CCNx Distillery software distribution☆34Apr 12, 2019Updated 7 years ago
- Mirror of http://sourceforge.net/p/ed448goldilocks/code/ci/master/tree/☆32Jun 29, 2015Updated 11 years ago
- Config cmake with vscode to compile c/c++ on Windows 10☆11Aug 14, 2018Updated 8 years ago
- 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.
- CDN cache busting static file URL modifier for Django☆15Oct 16, 2022Updated 3 years ago
- Toolset to analyse TLS datasets☆12Aug 7, 2019Updated 7 years ago
- An ENGINE gluing together OpenSSL and NaCl-derived crypto.☆18Apr 14, 2023Updated 3 years ago
- C++ library to work with SSL (ssllabs)☆11Apr 7, 2026Updated 4 months ago
- Proposals for the Anti-Fraud Community Group.☆34Oct 28, 2022Updated 3 years ago
- ATNwalk is a grammar-based input generator for fuzzing and other evolutionary algorithms. It relies on binary-level mutations to bit sequ…☆11Dec 10, 2024Updated last year
- ☆34Jul 9, 2020Updated 6 years ago