Explore projects

Deprecated. The first attempt at a cost analysis for iTasks

Computer Science Master's Thesis

In this repository, you can find all the files of my bachelor thesis. You can find the LaTex Code but also the source code of the thesis,

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

Documents, Papers, Slides for my PhD

Learning product automata

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

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