PinnedLoading

1. annexlangannexlangPublic

   Forked fromdanielfett/annexlang

   Annex is a description language for communication protocols.

   Python

2. gnap-core-protocolgnap-core-protocolPublic

   Forked fromietf-wg-gnap/gnap-core-protocol

   Shell

3. pygmentspygmentsPublic

   Forked frompygments/pygments

   Pygments is a generic syntax highlighter written in Python

   Python

4. REPROSEC/dolev-yao-starREPROSEC/dolev-yao-starPublic

   DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code

   OCaml 13 4

5. REPROSEC/acme-case-studyREPROSEC/acme-case-studyPublic

   Supplementary Material to the CCS '21 paper "An In-Depth Symbolic Security Analysis of the ACME Standard"

   F* 2

6. REPROSEC/reprosec.github.ioREPROSEC/reprosec.github.ioPublic

   TeX