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
Published May 29, 2018 7:39 AM - Last modified Dec. 3, 2018 8:46 AM