| 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 Dec. 3, 2018 8:46 AM