Skip to content
View SECtim's full-sized avatar
3 followers · 0 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor
BetaSend feedback

Organizations

@sec-stuttgart
Block or Report

Block or report SECtim

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. annexlang annexlang Public

    Forked from danielfett/annexlang

    Annex is a description language for communication protocols.

    Python

  2. gnap-core-protocol gnap-core-protocol Public

    Forked from ietf-wg-gnap/gnap-core-protocol

    Shell

  3. pygments pygments Public

    Forked from pygments/pygments

    Pygments is a generic syntax highlighter written in Python

    Python

  4. REPROSEC/dolev-yao-star REPROSEC/dolev-yao-star Public

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

    OCaml 12 3

  5. REPROSEC/acme-case-study REPROSEC/acme-case-study Public

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

    F* 1

  6. REPROSEC/reprosec.github.io REPROSEC/reprosec.github.io Public

    TeX