This project has been moved to GitLab.com.
A collection of shell scripts or commands
Documents, Papers, Slides for my PhD
Tomte is a tool that fully automatically constructs abstractions for automata learning.
Implementation of ECC signature verification for curve 255-19 on an ARM board
Python+Java tool for learning TCP implementations
Several sets of benchmarks for the two partition refinement algorithms found in the gitlab.science.ru.nl/rick/partition repository.
Docker image for the software security testcms.
Authors: Rauf Mahmudlu, Halim Munawar, Moritz Neikes, Niels Samwel
ARM implementation of the ChaCha20 block cipher
A compiler and static cost analyzer for a simplified variant of iTasks
This repo has been migrated to GitHub: https://github.com/thaliawww/concrexit
This project contains the Qhasm implementation I used in my Bachelor thesis
Some of the scripts used for the RERS challenge 2016