Master's projects PSY

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