Pinned Loading

1. tamarin-prover/tamarin-prover tamarin-prover/tamarin-prover Public

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

   Haskell 418 137

2. tamarin-prover tamarin-prover Public

   Forked from tamarin-prover/tamarin-prover

   Main repository of the Tamarin prover for security protocol verification.

   Haskell 1

3. scyther scyther Public

   The Scyther Tool for the symbolic analysis of security protocols

   C 99 39

4. DP-3T/documents DP-3T/documents Public

   Decentralized Privacy-Preserving Proximity Tracing -- Documents

   Shell 2.2k 180

5. tlswg/tls13-spec tlswg/tls13-spec Public

   TLS 1.3 Specification

   Python 563 159

6. mlswg/mls-architecture mlswg/mls-architecture Public

   MLS architecture

   Makefile 66 28