Pinned Repositories
double-ratchet
Pure Rust implementation of the Double Ratchet algorithm
factoring-sat
Supporting scripts/data to the paper: Factoring semi-primes with (quantum) SAT-solvers
hwsec
Hardware Security - SmartCars assignment
libkop
Library for (KEM-based OT)-based) PET
master-thesis
Master Thesis
otrv4-proverif
Proverif models of OTRv4
scimp-proverif
Proverif models for the Silent Circle instant messaging protocol
sebastianv89's Repositories
sebastianv89/double-ratchet
Pure Rust implementation of the Double Ratchet algorithm
sebastianv89/master-thesis
Master Thesis
sebastianv89/factoring-sat
Supporting scripts/data to the paper: Factoring semi-primes with (quantum) SAT-solvers
sebastianv89/otrv4-proverif
Proverif models of OTRv4
sebastianv89/scimp-proverif
Proverif models for the Silent Circle instant messaging protocol
sebastianv89/hwsec
Hardware Security - SmartCars assignment
sebastianv89/libkop
Library for (KEM-based OT)-based) PET
sebastianv89/NFS-SAT
CircuitSAT for smoothness testing in the number field sieve
sebastianv89/niederreiter
Niederreiter temporary repo
sebastianv89/OEIS-cont-frac
Interpret integer sequences as continued fraction
sebastianv89/private-patent
Repo for the UWaterloo course CS858
sebastianv89/prost
PROST! a Protocol Buffers implementation for the Rust Language
sebastianv89/raad-je-plaatje
Scan spotify code and play the song
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/