niekbouman
Roseman Labs [past: TU Eindhoven / ABN AMRO / Swiss Federal Institute of Technology, Lausanne (EPFL) / Centrum Wiskunde & Informatica (CWI)]
Pinned Repositories
awesome-mpc
A curated list of multi party computation resources and links.
capnconfig
Type-Safe Program Configuration with Cap'n Proto and JSON
capnproto
Cap'n Proto serialization/RPC system - core tools and C++ library
cmp_prime_searcher
Search for prime numbers that enable small-range secure comparisons
commelec-api
API for the Commelec Smart Grid control platform
convex_dynamics
Computation of the minimal convex invariant error set for the error-diffusion algorithm in 2D, given a set of points.
ctbignum
Library for Multiprecision Compile-Time and Run-Time Arithmetic (including Modular Arithmetic)
libff_init
initialisation code generator for Fp_model class from scipr libff C++ finite field library
verifying-constant-time
niekbouman's Repositories
niekbouman/ctbignum
Library for Multiprecision Compile-Time and Run-Time Arithmetic (including Modular Arithmetic)
niekbouman/commelec-api
API for the Commelec Smart Grid control platform
niekbouman/convex_dynamics
Computation of the minimal convex invariant error set for the error-diffusion algorithm in 2D, given a set of points.
niekbouman/libff_init
initialisation code generator for Fp_model class from scipr libff C++ finite field library
niekbouman/verifying-constant-time
niekbouman/awesome-mpc
A curated list of multi party computation resources and links.
niekbouman/capnconfig
Type-Safe Program Configuration with Cap'n Proto and JSON
niekbouman/capnproto
Cap'n Proto serialization/RPC system - core tools and C++ library
niekbouman/cmp_prime_searcher
Search for prime numbers that enable small-range secure comparisons
niekbouman/compiler-explorer
Run compilers interactively from your web browser and interact with the assembly
niekbouman/fastText
Library for fast text representation and classification.
niekbouman/fiber
userland threads
niekbouman/fiber-gdb
GDB scripts for debugging applications using Boost.Fiber
niekbouman/frameworks
Sample code and build environments for MPC frameworks
niekbouman/infra
Infrastructure to set up the public Compiler Explorer instances and compilers
niekbouman/instructions_confidentiality
niekbouman/libsnark
libsnark: a C++ library for zkSNARK proofs
niekbouman/MOTION
niekbouman/niekbouman.github.io
niekbouman/oceandeep
dark colorscheme, pleasant, mainly blue and blueish-green
niekbouman/randombytes
A portable C library for generating cypto-secure random bytes
niekbouman/seastar
High performance server-side application framework
niekbouman/sepia
Sepia (http://sepia.ee.ethz.ch/) set up with an ant file for easy build
niekbouman/smack
SMACK Software Verifier and Verification Toolchain
niekbouman/vim-lsp
async language server protocol plugin for vim and neovim