An architectural white paper on secure distributed state synchronisation (including key management), from (inter alia) the author of the Noise Protocol Framework.

A concrete and formal definition of memory safety from (inter alia) Benjamin C. Pierce.

We give a rigorous characterization of what it means for a programming language to be memory safe, capturing the intuition that memory safety supports local reasoning about state.

Paper in the proceedings of the Principles of Security and Trust conference 2018.

Development of incremental improvements to a pure-functional quicksort implementation, eliminating multiple passes over the input and unnecessary append operations by introducing accumulators.

Slides with tips on writing a (Dutch) Bachelor’s thesis in Computer Science, including advice not only on structure and content but on academic writing style.