Discover @sebastianv89 Open Source projects

Sebastian (@sebastianv89)

sebastianv89

Stars
77
Global Rank 250,980 (Top 9 %)
Followers 18
Following 14
Registered almost 12 years ago
Most used languages

Makefile 40.0 %

Shell
20.0 %

Rust
20.0 %

Mathematica 20.0 %
Location 🇳🇱 Netherlands
Country Total Rank 4,148
Country Ranking

Mathematica 15

Makefile 93

Rust
112

Shell
2,453

double-ratchet

Pure Rust implementation of the Double Ratchet algorithm

master-thesis

otrv4-proverif

Proverif models of OTRv4

factoring-sat

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

passage

Fork of https://www.passwordstore.org based on https://age-encryption.org

scimp-proverif

Proverif models for the Silent Circle instant messaging protocol