sebastianv89

followers

following

stars

Netherlands

https://www.zeroknowledge.me/

Sebastian's repositories

double-ratchet

Pure Rust implementation of the Double Ratchet algorithm

Language:RustBSD-3-Clause67 5 2

master-thesis

Master Thesis

4 20

factoring-sat

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

Language:Mathematica3 30

otrv4-proverif

Proverif models of OTRv4

Language:Makefile300

scimp-proverif

Proverif models for the Silent Circle instant messaging protocol

Language:Makefile1 20

hwsec

Hardware Security - SmartCars assignment

Language:JavaUnlicense060

libkop

Library for (KEM-based OT)-based) PET

Language:C020

NFS-SAT

CircuitSAT for smoothness testing in the number field sieve

Language:HaskellMIT020

niederreiter

Niederreiter temporary repo

Language:AssemblyMIT030

OEIS-cont-frac

Interpret integer sequences as continued fraction

Language:PythonMIT020

private-patent

Repo for the UWaterloo course CS858

Language:C++020

prost

PROST! a Protocol Buffers implementation for the Rust Language

Language:RustApache-2.0000

raad-je-plaatje

Scan spotify code and play the song

Language:JavaScriptUnlicense01 5

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.

Language:RustApache-2.0000

www.zeroknowledge.me

Website sources for https://www.zeroknowledge.me/

Language:JavaScript020