Students

I had the pleasure to supervise (theses/internships/works of) many students at all levels (BSc/MSc/PhD/Post-doc). I have also hosted and supervised several internships.

(I hope I have not forgotten anyone! Please drop me an e-mail if I did…)

Current

PhDs (doctoral students)

  1. Safa Zouari on Formal Methods for Security and Concurrency, part of S2G group at NTNU-IIK (started April 2022); [main supervisor]
  2. Hamed Arshad on Semantic Attribute Based Access Control for eHealth, part of PSY group at UiO, interacting with the SCOTT project (started October 2017); [main supervisor]

Interns

  1. Maxime Teboul on Hardware security implementations, Erasmus student from ENSEA — École Nationale Supérieure de l’Électronique et de ses Applications, France (during May-July 2022);

MSc (Master students)

  1. Matteo Tabarelli on Electronic Currencies for Local Markets,
    Erasmus student from U. Milano, Italy (during August 2021 – February 2022);
  2. Roberto Poletti on Modern Access Control for eHealth Systems,
    Erasmus student from U. Milano, Italy (during August 2021 – February 2022);

Former students

PhDs

Students that did their Doctoral theses with me as their supervisor.

  1. Manish Shrestha (finished May 2021) on “LightSC: A light-weight security classification methodology to design and evaluate security of IoT systems”, an Industry PhD part of the MeasurEGrid project, with main employer the company eSmart Systems AS, and the ITS institute of UiO as degree conferring institution.
    [I was main supervisor; with Josef Noll as co-supervisor]
  2. Siri Bromander (finished March 2021) on “Understanding Cyber Threat Intelligence, Towards Automation”, an Industry PhD part of the TOCSA project, with main employer the company Mnemonic AS, and the IFI institute of UiO as degree conferring institution.
    [I was co-supervisor]
  3. Elahe Fazeldehkordi (finished March 2021) on “Security and Privacy Solutions in IoT and Distributed Systems Design”; a classical PhD, employed by the ITS institute of UiO, part of the IoTSec project.
    [I was co-supervisor; with Olaf Owe as main supervisor]
  4. Bjørnar Steinnes Luteberget (finished October 2019) on “Automated Reasoning in Railway Construction Planning”, an Industry PhD part of the RailCons project, with main employer the company RailComplete AS, and the IFI institute of UiO as degree conferring institution. (now Researcher at SINTEF)
    [I was main supervisor; with Martin Steffen as co-supervisor]
  5. Håkon Normann (finished December 2017) (at IT University of Copenhagen under Thomas Hildebrandt) on “Independence, name-passing and constraints in models for concurrency”, part of the CompArt project; (now doing Post-doc at KU–Copenhagen University)
    [I was external co-supervisor; with Thomas Hildebrandt as the main local supervisor]

MSc

Students that did their Master theses with me as their supervisor.

  1. Namrah Azam (finished December 2021) on Attack scenarios on AMI that Compromise Human Behaviour and Cellular Networks, interacting with NVE;
  2. Anastasia Denisovna Orishchenko (finished June 2021) on Towards Safety Standard Compliance of IoT Software Systems Using Modelling and Verification with DCR Graphs;
  3. Anders Jakob Sivesind (finished June 2021) on Community Coordinated Artificial Intelligence: Towards a unified framework for the democratisation of AI, interacting with SCOTT project;
  4. Ugur Bayram (finished July 2020) on Developing an Access Control solution for IoT Gateways applied to Smart Home Care, interacting with SCOTT project, [co-supervisor Hamed Arshad];
  5. Henrik Klev (finished July 2020) on Verifying EVA: Formal verification of the software for deciding Norwegian governmental elections ;
  6. Ratan Bahadur Thapa (finished July 2019) on Partially Ordered Sets with Interfaces: A Novel Algebraic Approach for Concurrrency; [went on as PhD student in the LogID group at UiO]
  7. Christopher Alexander Trotter (finished November 2018) on A Non-Sculpting Theorem in Non-interleaving Models of Concurrency; [co-supervisor Uli Fahrenberg from Ecole Politechnique Paris]
  8. Kudakwashe Chambwe (finished May 2018) on Model-based Secure Software Engineering using UMLsec applied to Assisted Living and Home Care; [went on to Bouvet AS as IT Consultant]
  9. Kim Jonatan Wessel Bjørneset (finished December 2017) on Testing Security for Internet of Things A Survey on Vulnerabilities in IP Cameras, part of IoTSec project;
  10. Manoj Upadhaya (finished December 2017) (interacting with ITU Copenhagen) on Process Modeling Based on Smart Home System Using JBoss;
  11. Subhash Neupane (finished November 2017) on BPMN process modeling using DCR graph (interacting with Tellu AS);
  12. Kristoffer Severinsen (finished November 2017) on Secure Programming with Intel SGX and Novel Applications; (went on to ABB AS as Consultant on security)
  13. Aulon Mujaj (finished November 2017) on A Comparison of Secure Messaging Protocols and Implementations; (went on to Knowit AS as Consultant on security)
  14. Shahzad Ali Khan (finished May 2016) on Synthesis of Railway Design Layout, part of RailCons project; [co-supervisor Bjørnar Luteberget]
  15. Marius Portaas Haugen (finished November 2016) on OCR-based secure transactions, part of OffPAD project; (went on to Mnemonic AS on security analysis)
  16. Olaf Aarseth Berge (finished November 2016) on A Survey of JavaScript Features; [co-supervisors Martin Steffen and Olaf Owe]
  17. Kaniz Fatema Tuly (finished June 2016) on A Survey on Novel Services in Smart Home, Optimized for Smart Electricity Grid (short thesis with NTNU as diploma conferring institution), part of IoTSec project; [co-supervisors Josef Noll and Trond Aalberg]
  18. Denis Migdal (from ENS Caen, France, 6 months internship 2016) on Secure authentication classed using secure proxy and hardware phone jacket, part of OffPAD project; (when on to do PhD at ENS Caen, FR)
  19. Håkon Normann (finished June 2014) on Developing programming languages based on concurrency models; (went on to do PhD at IT University Copenhagen)

BSc

Students that did their Bachelor theses with me as their supervisor.

  1. Marte Jølsett,
  2. Christian Stene,
  3. Petter Östergren
    (finished as a team in June 2021) on
    Monitoring and reporting of Key Performance Indicators in an Emergency telephone system, done in collaboration with HDO as project owner; [Thesis document]
  4. Alf Pettersen,
  5. Anders Wormdal Moen,
  6. Simon Rødsbakken Røe
    (finished as a team in June 2021) on Apache Spark på Openshift Kubernetes Distribution, done in collaboration with NTNU SOC as project owner; [Thesis document in Norwegian]
  7. Sondre Breivik,
  8. Erik Øhrling Sørli,
  9. Gaute Klakegg Dvergsdal,
    (finished as a team in June 2021) on Centralizing security and operations of Windows clients in an emergency care IT infrastructure, done in collaboration with HDO as project owner; [Thesis document]

Internships

Internships (long-term, international, MSc or visiting PhDs) done with me as their supervising host:

  1. Spring-Summer 2020 –Pallavi Kaliyar– (visiting PhD student from University of Padova, Italy; supervised there by Mauro Conti);
  2. July-August 2019 –Rabie Belahcen– (summer intern from Bosch and ITII L’institut des Techniques d’Ingénieurs de l’Industrie des Pays de la Loire) on Smart Home Energy Management Systems, part of the IoTSec project;
  3. May-July 2019 –Vincent Lagrave– (summer intern from RTE, the Electricity Transmission System Operator of France, and École d’ingénieurs CESI) on Possible consequences of a cyber attack on smart meters;
  4. June-August 2018 –Benjamin Bedouet– (summer intern from RTE, the Electricity Transmission System Operator of France) on How privacy aspects of AMI impact different Business/Pricing;
  5. April-September 2016 –Denis Migdal– (summer intern from École nationale supérieure d’ingénieurs de Caen) on A Trusted Device Proxy Architecture;
  6. May-August 2015 –Slimane Kejji– (summer intern from École nationale supérieure d’ingénieurs de Caen) on Prototyping authentication using OffPAD;
  7. May-August 2015 –Denis Migdal– (summer intern part of OffPAD project) on Demo of Offline Personal Authenticating Device;