sebastianv89

Netherlands

Pinned Repositories

double-ratchet
Pure Rust implementation of the Double Ratchet algorithm
Language:Rust65 5 26
factoring-sat
Supporting scripts/data to the paper: Factoring semi-primes with (quantum) SAT-solvers
Language:Mathematica34
hwsec
Hardware Security - SmartCars assignment
Language:Java00
libkop
Library for (KEM-based OT)-based) PET
Language:C00
master-thesis
Master Thesis
40
otrv4-proverif
Proverif models of OTRv4
Language:Makefile30
scimp-proverif
Proverif models for the Silent Circle instant messaging protocol
Language:Makefile11

sebastianv89/double-ratchet
Pure Rust implementation of the Double Ratchet algorithm
Language:Rust65 5 26
sebastianv89/master-thesis
Master Thesis
40
sebastianv89/factoring-sat
Supporting scripts/data to the paper: Factoring semi-primes with (quantum) SAT-solvers
Language:Mathematica34
sebastianv89/otrv4-proverif
Proverif models of OTRv4
Language:Makefile30
sebastianv89/scimp-proverif
Proverif models for the Silent Circle instant messaging protocol
Language:Makefile11
sebastianv89/hwsec
Hardware Security - SmartCars assignment
Language:Java00
sebastianv89/libkop
Library for (KEM-based OT)-based) PET
Language:C00
sebastianv89/NFS-SAT
CircuitSAT for smoothness testing in the number field sieve
Language:Haskell
sebastianv89/niederreiter
Niederreiter temporary repo
Language:Assembly
sebastianv89/OEIS-cont-frac
Interpret integer sequences as continued fraction
Language:Python
sebastianv89/private-patent
Repo for the UWaterloo course CS858
Language:C++
sebastianv89/prost
PROST! a Protocol Buffers implementation for the Rust Language
sebastianv89/raad-je-plaatje
Scan spotify code and play the song
Language:JavaScript
sebastianv89/sqlx
🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, SQLite, and MSSQL.
sebastianv89/www.zeroknowledge.me
Website sources for https://www.zeroknowledge.me/
Language:JavaScript