dconnolly
Follow
-
-
-
Internet draft for pure post-quantum ciphersuites for HPKE (RFC9180) based on ML-KEM.
-
ML-KEM as a TLS 1.3 NamedGroup
-
-
I-D for a general purpose KEM (key encapsulation mechanism) that includes a hash at the end
-
Instant: a fused pq/traditional hybrid signature scheme
Makefile Other UpdatedJan 30, 2025 -
CAPS-workshop.github.io Public
Forked from CAPS-workshop/CAPS-workshop.github.ioHTML UpdatedJan 29, 2025 -
-
draft-ietf-cose-dilithium Public
Forked from cose-wg/draft-ietf-cose-dilithiumML-DSA for JOSE and COSE
Makefile Other UpdatedNov 19, 2024 -
-
ml-kem-security-considerations Public
Forked from sfluhrer/ml-kem-security-considerationsThis is intended to be the CFRG draft containing security considerations for ML-KEM
Makefile Other UpdatedNov 5, 2024 -
kyber-certificates Public
Forked from lamps-wg/kyber-certificatesI-D that describes the algorithm identifiers for NIST's PQC Kyber algorithms for use in the Internet X.509 Public Key Infrastructure
Go Other UpdatedOct 24, 2024 -
dilithium-certificates Public
Forked from lamps-wg/dilithium-certificatesI-D that describes the algorithm identifiers for NIST's PQC Dilithium algorithm for use in the Internet X.509 Public Key Infrastructure
Makefile Other UpdatedOct 24, 2024 -
mimi-protocol Public
Forked from ietf-wg-mimi/mimi-protocolCombined output from the MIMI Design Team
Makefile Other UpdatedOct 21, 2024 -
draft-ietf-tls-hybrid-design Public
Forked from dstebila/draft-ietf-tls-hybrid-designInternet-Draft describing approaches to post-quantum hybridization in TLS, replaces draft-stebila-tls-hybrid-design
Makefile Other UpdatedOct 7, 2024 -
draft-connolly-tls-kems Public archive
Key Encapsulation Mechanisms for TLS 1.3
-
draft-connolly-tls-mlkem Public archive
ML-KEM Post-Quantum Key Agreement for TLS 1.3
-
draft-composite-kem Public
Forked from lamps-wg/draft-composite-kemIETF draft specifying PQC composite KEM algorithms for use in X.509 and CMS
Makefile Other UpdatedJul 9, 2024 -
ProofFrog-KEMs Public
ProofFrog primitives, schemes, games and proofs around key encapsulation mechanisms (KEMs)
UpdatedMay 27, 2024 -
ProofFrog Public
Forked from ProofFrog/ProofFrogA tool for verifying game-hopping proofs
Python MIT License UpdatedMay 2, 2024 -
echo_tls Public
Fork of Vincent Cheval's echo_tls ProVerif model of the TLS 1.3 extension Encrypted Client Hello
-
TLS13Tamarin Public
Forked from tls13tamarin/TLS13TamarinThis is a Tamarin model of TLS 1.3
M4 UpdatedJan 25, 2024 -
-
hpke-spec Public
Forked from cryspen/hpke-specAnnotated HPKE specification in hacspec
Rust UpdatedNov 30, 2023 -
tls12-frozen Public
Forked from nimia/tls12-frozenRepo for "TLS 1.2 is frozen" draft
-
pqxdh-analysis Public
Forked from Inria-Prosecco/pqxdh-analysisFormal Analysis of the PQXDH Protocol
-
draft-ietf-turbotls-design Public
Forked from PhDJsandboxaq/draft-joseph-tls-turbotlsInternet-Draft describing TurboTLS protocol design, namely by moving the handshaking portion to UDP from TCP
Makefile Other UpdatedNov 6, 2023 -
draft-kwiatkowski-tls-ecdhe-kyber Public
Forked from post-quantum-cryptography/draft-kwiatkowski-tls-ecdhe-mlkemHybrid ECDHE-Kyber Key Agreement for TLS
Makefile UpdatedSep 26, 2023 -
specs Public
Forked from hacspec/specsSpecifications written in hacspec
Rust Apache License 2.0 UpdatedJun 26, 2023