Ledige masteroppgaver hos Pålitelige systemer (PSY)

Tittel Publisert Veileder(e)
Topics in Theoretical Computer Science 30. juli 2019
Automating Privacy Agreements 30. juli 2019
Designing security protocols using Intel SGX 30. juli 2019
Veryfing the Sainte Lagues algorithm for election management in Norway 18. okt. 2018
ABS modeling language case studies 25. sep. 2018
ABS modeling language standard library of data structures 25. sep. 2018
Visualization of Objects on the Cloud 25. sep. 2018
Symbolic execution framework for parallel object-oriented programs 25. sep. 2018
Verification Tool for Concurrent Software 24. sep. 2018
Executable Modelling of Concurrency Paradigms 10. sep. 2018
Model-based Hadoop YARN Auto-Configuration 3. sep. 2018
HTML5 for InfoInternet 19. aug. 2018
Implementation of an Interpreter for Simulating Self-Adaptive Systems 14. aug. 2018
Artificial Intelligence Platform for Investment Decisions in Nano and Quantum Startups 30. apr. 2018
R3: Random Robust Rust 8. okt. 2017
Privacy violation through improper handling of electronic waste 5. sep. 2017
Working with True Concurrency 25. aug. 2017
Working with Kleene Algebras and related automated tools and methods 25. aug. 2017
Analyzing privacy-enhancing messaging protocol 23. aug. 2017
Trains iSAT 23. aug. 2017
Train travel simulations in design software 23. aug. 2017
Programming IoT with ThingML 23. aug. 2017
Synthesis of railway interlocking controlers 23. aug. 2017
Refactoring at scale 30. sep. 2016
Modelling support for the Go language 14. sep. 2015