Explore projects

This project has been moved to GitLab.com.

This project has been moved to GitLab.com.

A collection of shell scripts or commands

Documents, Papers, Slides for my PhD

http://tomte.cs.ru.nl/ 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