Explore projects

Deprecated. The first attempt at a cost analysis for iTasks

compiler project for compiler construction course in Rust

Latex class voor de RU biref stijl

Some of the scripts used for the RERS challenge 2016

LaTeX repository for thesis proposal

Practical assignment for the course Cryptographic Engineering (of the TRU/e Security Master), by Matthias Ghering and Wouter van der Linde

The paper on learning SSH which we hope to submit at http://conf.researchr.org/home/spin-2017 .

LaTeX repository for thesis document

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

This repo is for a publication which aims at unifying the ICTAC 2015 paper with related theoretical elements introduced by Judith's Master's dissertation. The target journal is: http://journals.cambridge.org/jid_MSC

Extending the cost analysis with cost over time

Learning product automata

Second attempt at a cost analysis for iTasks

Article collaboration about QUIC readiness for business applications