GitLab

Data Manager

Python+Java tool for learning TCP implementations

Deprecated. The first attempt at a cost analysis for iTasks

The goal is a fast parallel Assembly implementation of the SHA-256 hashing algorithm, using SIMD operations on the ARM Cortex-A8 processor.

Bachelor thesis by Wouter van der Linde [s4291832], Radboud University, Nijmegen, The Netherlands

Active Learning of NOndeterministic Systems

Data Manager

Package fsm implements a simple finite state (Mealy) machine.

Package partition can be used to construct the coarsest refinement of a partition P of a set N of integers [0, n) with respect to one or more functions of type N->N.

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.

Re-usable Tonic libraries and stand-alone Tonic viewer

Authors: Rauf Mahmudlu, Halim Munawar, Moritz Neikes, Niels Samwel

New implementation of diagonalization code, written for python wrapping.

We compare the existing RA learners (Tomte and RALib) on a set of benchmarks and analyze the statistics. The project includes the binaries of the tools, as well as scripts that automatically generate models, run and collect data.

Basic learner setup, using learnlib/automatalib, containing an example SUL and a socket-interface to connect a SUL over TCP.

Basic learner setup, using learnlib/automatalib, containing an example SUL and a socket-interface to connect a SUL over TCP.

Mealy machines, DFAs, Circuits and minimisation in Haskell

ARM implementation of the ChaCha20 block cipher

Online monitoring for Very Long Baseline Interferometry campaigns.