Pinned Loading

1. TLS13Tamarin TLS13Tamarin Public

   Forked from tls13tamarin/TLS13Tamarin

   This is a Tamarin model of TLS 1.3

   M4 1

2. ml-kem-security-considerations ml-kem-security-considerations Public

   Forked from sfluhrer/ml-kem-security-considerations

   This is intended to be the CFRG draft containing security considerations for ML-KEM

   Makefile

3. WireGuard WireGuard Public

   Forked from WireGuard/wireguard-monolithic-historical

   Mirror only. Official repository is at https://git.zx2c4.com/WireGuard

   C

4. homebrew-tap homebrew-tap Public

   Forked from tamarin-prover/homebrew-tap

   Homebrew tap for installing the Tamarin prover

   Ruby

5. tamarin-prover/tamarin-prover tamarin-prover/tamarin-prover Public

   Main source code repository of the Tamarin prover for security protocol verification.

   Haskell 542 169

6. Quantinuum/cryptomite Quantinuum/cryptomite Public

   Python library of efficient and numerically-precise randomness extractors

   Python 36 10