Completed master's theses (2018)

Title	Author	Supervisor(s)	sensors	Date of submission
A non-sculpting theorem in non-interleaving models for concurrency	Christopher Alexander Trotter	Christian Johansen, Olaf Owe, Martin Steffen, Uli Fahrenberg (Ecole Politechnique)	Uwe Wolters (University of Bergen), Daniel Fava	November 2018
Improving Trust in Software through Diverse Double Compilation and Reproducible Builds	Yyrjan Skrimstad	Martin Steffen, Daniel Fava		31. July  2018
PHPWander: A Static Vulnerability Analysis Tool for PHP	Pavel Jurasek	Martin Steffen,  Daniel Fava	Brice Morin (Sintef), V. Stolz	May 2018
Model-based Secure Software Engineering using UMLsec applied to Assisted Living and Home Care	Kudakwashe Chambwe	Chistian Johansen, Olaf Owe	Franck Fleurey (TellU AS), M. Steffen	May 2018