| 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 |
Completed master's theses (2018)
Published May 29, 2018 7:39 AM
- Last modified Feb. 3, 2026 10:18 AM