Explore projects

This project has been moved to GitLab.com.

http://tomte.cs.ru.nl/ Tomte is a tool that fully automatically constructs abstractions for automata learning.

Clean compiler

Python+Java tool for learning TCP implementations

This project has been moved to GitLab.com.

Some of the scripts used for the RERS challenge 2016

ARM implementation of the ChaCha20 block cipher

Clean make

Clean codegenerator

This project contains the Qhasm implementation I used in my Bachelor thesis

Files belonging to submission 35 for NFM'21

Tight-binding Propagation Simulator for python 3.

Cryptographic Engineering homework 4

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