Master's projects PSY

Title Published Supervisor(s)
Security and Privacy of Distributed Object Systems Oct. 20, 2020
Formal Verification of Security Protocols Oct. 15, 2020
Developing Fine-Grained and Context-Aware Access Control Mechanisms Oct. 15, 2020
Designing Authentication and Key Agreement Protocols Oct. 15, 2020
Efficient Simulation of IoT Systems Oct. 15, 2020
Refactoring at scale Oct. 14, 2020
Dependly typed programming (for security) Oct. 14, 2020
Verification Tool for Concurrent Software Oct. 7, 2020
Software Agents for Rights Negotiation and Configuration in a Distributed Environment Mar. 4, 2020
Topics in Theoretical Computer Science July 30, 2019
Designing security protocols using Intel SGX July 30, 2019
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
Executable Modelling of Concurrency Paradigms Sep. 10, 2018
Model-based Hadoop YARN Auto-Configuration Sep. 3, 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
Working with True Concurrency Aug. 25, 2017
Working with Kleene Algebras and related automated tools and methods Aug. 25, 2017
Oppgaver innen formell modellering og analyse ved bruk av Maude og Real-Time Maude Sep. 16, 2014