Skip to content
View sebastianv89's full-sized avatar
18 followers · 14 following
Block or Report

Block or report sebastianv89

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

  1. double-ratchet double-ratchet Public

    Pure Rust implementation of the Double Ratchet algorithm

    Rust 65 6

  2. master-thesis master-thesis Public

    Master Thesis

    4

  3. factoring-sat factoring-sat Public

    Supporting scripts/data to the paper: Factoring semi-primes with (quantum) SAT-solvers

    Mathematica 3 4

  4. otrv4-proverif otrv4-proverif Public

    Proverif models of OTRv4

    Makefile 3

  5. scimp-proverif scimp-proverif Public

    Proverif models for the Silent Circle instant messaging protocol

    Makefile 1 1

  6. hwsec hwsec Public

    Hardware Security - SmartCars assignment

    Java