Repo for DTLS 1.3
☆33Jul 7, 2026Updated 2 months ago
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
- An RFC5297-compliant C implementation of AES-SIV☆20Oct 15, 2020Updated 5 years ago
- OPAQUE asymmetric PAKE, and its threshold implementation. Experimental, not audited.☆16Jun 16, 2021Updated 5 years ago
- The anonymous credentials zoo☆16Mar 17, 2021Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Please check out https://github.com/hacspec/hacspec for more information on hacspec☆47Nov 11, 2020Updated 5 years ago
- Experimental implementation of the Distributed Aggregation Protocol (DAP) specification.☆70Updated this week
- A place to discuss Private Measurement☆15Aug 8, 2023Updated 3 years ago
- ☆44Sep 29, 2021Updated 4 years ago
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆63Jan 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
- TLS 1.3 Specification☆580Jul 9, 2026Updated last month
- 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
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- [RFC9380] Hash to curves - Rust reference implementation☆27Mar 10, 2024Updated 2 years ago
- A tool for verifying transitions in cryptographic game-hopping proofs☆24Aug 19, 2026Updated 2 weeks ago
- 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
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 5 years ago
- Implementations of a fast Elliptic-curve Diffie-Hellman primitive☆28Apr 13, 2015Updated 11 years ago
- Verifying constant-time code with symbolic execution☆48Oct 26, 2021Updated 4 years ago
- ☆19Apr 25, 2025Updated last year
- Lichee Tang - A circuit board of RISC-V architecture http://tang.lichee.pro☆18Jul 19, 2019Updated 7 years ago
- 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.
- ModbusTCP Fuzzing and DoS Tool.☆11Aug 8, 2020Updated 6 years ago
- CDN cache busting static file URL modifier for Django☆15Oct 16, 2022Updated 3 years ago
- I don't maintain this any more, please see gnab/rtl8812au☆12Aug 18, 2015Updated 11 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 5 months ago
- PoC of Swift for Compute@Edge☆12Feb 3, 2022Updated 4 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
- xz-embedded with crc64 and arm enabled☆15Oct 2, 2015Updated 10 years ago
- ☆34Jul 9, 2020Updated 6 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.
- IEEE Computer Society Keywords to Organize Knowledge☆13Jan 13, 2020Updated 6 years ago
- Package fourq implements FourQ, a high-speed elliptic curve at the 128-bit security level.☆54Apr 24, 2026Updated 4 months ago
- Bertie TLS 1.3 Implementation☆136Updated this week
- An OpenSSL Engine that interfaces with the TrouSerS tpm 1.2 stack (fork of official upstream on SourceForge, featuring OpenSSL 1.1 suppor…☆10Dec 30, 2024Updated last year
- LaTeX class for the IACR Transactions on Symmetric Cryptology☆40Aug 6, 2024Updated 2 years ago
- Materials accompanying "Implementing an Elliptic Curve in Go"☆13Jul 29, 2017Updated 9 years ago
- High Assurance Cryptographic Software☆10Updated this week