Repo for DTLS 1.3
☆32Mar 11, 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:
- Post-quantum Wireguard (Theory)☆13Sep 9, 2020Updated 5 years ago
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 6 years ago
- ☆17Aug 2, 2021Updated 4 years ago
- [work in progress] Python framework for supporting cryptographic game-hopping proofs☆13Oct 19, 2022Updated 3 years ago
- OPAQUE asymmetric PAKE, and its threshold implementation. Experimental, not audited.☆17Jun 16, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The anonymous credentials zoo☆16Mar 17, 2021Updated 5 years ago
- An RFC5297-compliant C implementation of AES-SIV☆20Oct 15, 2020Updated 5 years ago
- A #[no_std], allocation-free WebAssembly interpreter written in Rust☆15May 11, 2019Updated 6 years ago
- Trusted MQTT messaging.☆10Oct 6, 2017Updated 8 years ago
- Please check out https://github.com/hacspec/hacspec for more information on hacspec☆46Nov 11, 2020Updated 5 years ago
- Implements ristretto255, a fast prime-order group.☆109Feb 19, 2026Updated 2 months ago
- Experimental implementation of the Distributed Aggregation Protocol (DAP) specification.☆65Apr 9, 2026Updated last week
- A place to discuss Private Measurement☆15Aug 8, 2023Updated 2 years ago
- ☆43Sep 29, 2021Updated 4 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A tool for verifying transitions in cryptographic game-hopping proofs☆19Apr 12, 2026Updated last week
- Rainbow signature system for Round THREE submission☆21Sep 24, 2020Updated 5 years ago
- TLS 1.3 Specification☆578Apr 12, 2026Updated last week
- BLE_to_TCP Gateway☆12Oct 11, 2016Updated 9 years ago
- ☆15Updated this week
- 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
- [RFC9380] Hash to curves - Rust reference implementation☆27Mar 10, 2024Updated 2 years ago
- Thread Border Router based on OpenWRT and wpantund☆11Aug 20, 2018Updated 7 years ago
- Verifying constant-time code with symbolic execution