Skip to content


  • Arctic Code Vault Contributor

Popular repositories

  1. Pure Rust implementation of the Double Ratchet algorithm

    Rust 51 3

  2. Master Thesis


  3. Proverif models of OTRv4

    Makefile 3

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

    Mathematica 2 3

  5. Proverif models for the Silent Circle instant messaging protocol

    Makefile 1 1

  6. Fork of based on

    Shell 1

8 contributions in the last year

Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mon Wed Fri

Contribution activity

March 1, 2021

sebastianv89 has no activity yet for this period.

February 2021

Created an issue in rust-osdev/bootloader that received 1 comment

panic message is not a string literal

Running the OS tutorial (, I get a warning every time I run the OS. I traced back the issue to this line: bootloader/bu…

1 comment

Seeing something unexpected? Take a look at the GitHub profile guide.