Explore projects

The toolsuite of the LOFAR Cosmic Ray Key Science Project

Hybrid adaptive distinguishing sequences for FSM-based complete testing: https://github.com/Jaxan/hybrid-ads

An expansion/adjustment of the ads algorithm from Lee/Yannakakis. Heavily builds upon the existing implementation found at https://gitlab.science.ru.nl/moerman/hybrid-ads.

Hybrid adaptive distinguishing sequences for FSM-based complete testing

C++ crash reporting library for UNIX systems (macOS/Linux/FreeBSD)

Implementation of PEP primitives including zero knowledge proofs, based on the Ristretto version of libsodium.

Implementation of PEP primitives including zero knowledge proofs, based on the Ristretto version of libsodium.

Project 2 for the Operating Systems course.

Please go to https://gitlab.science.ru.nl/moerman/hybrid-ads