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

Block or report Simon-Bouget

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

Popular repositories Loading

  1. Constellation Constellation Public

    Source code for Constellation : a DSL for gossip-based self-organizing topologies

  2. DAC DAC Public

    module DAC

  3. tamarin-trusted-migration tamarin-trusted-migration Public

    Tamarin specification and security properties for Trusted VM migration

  4. tamarin-prover tamarin-prover Public

    Forked from tamarin-prover/tamarin-prover

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

    Haskell

  5. tamarin-end2end-security tamarin-end2end-security Public

    Tamarin theory specification ofr the paper "Establishing end-to-end secure channel for IoT devicesthrough an untrusted C-ITS network"

  6. tamarin-cest-custodes tamarin-cest-custodes Public

    Tamarin models for the CEST and CUSTODES projects