Some implementations of the Ramanujan Pi algorithm.
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
The Perception and Action Toolbox
Python+Java tool for learning TCP implementations
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
ARM implementation of the ChaCha20 block cipher
This project contains the Qhasm implementation I used in my Bachelor thesis
Some of the scripts used for the RERS challenge 2016
Scripts and tools to compile Clean for multiple platforms (e.g. Linux, Windows and Android).
iTasks Android app
Practical assignment for the course Cryptographic Engineering (of the TRU/e Security Master), by Matthias Ghering and Wouter van der Linde
Cryptographic Engineering homework 4