Anum Khurshid. Towards Trustworthy and Secure Internet of Things Devices: Using hardware-assisted Trusted Execution and Automated Certification. Ph.D. Thesis, Uppsala University, December 2022. (Info, Fulltext)
Andreas Löscher. Targeted Property-Based Testing with Applications in Sensor Networks. Ph.D. Thesis, Uppsala University, May 2018. (Info, Fulltext)
Linus Olofsson. Protocol State Fuzzing of EDHOC Implementations Using Register Automata Learning, Independent thesis Advanced level (professional degree), Uppsala University, Department of Information Technology, October 2024. (Info, Fulltext)
Nikolaos Georgiou. Using ARM TrustZone for Secure Resource Monitoring of IoT Devices Running Contiki-NG, Independent thesis Advanced level (degree of Master), KTH, School of Electrical Engineering and Computer Science (EECS), September 2023. (Info, Fulltext)
Sabor Amini. Using Requirement-Driven Symbolic Execution to Test Implementations of the CoAP and EDHOC Network Protocols, Independent thesis Advanced level (professional degree), Uppsala University, Department of Information Technology, September 2023. (Info, Fulltext)
Robert Lasu. Analysing SSH Clients Using Protocol State Fuzzing, Independent thesis Basic level (degree of Bachelor), Uppsala University, Department of Information Technology, June 2023. (Info, Fulltext)
Patrik Johansson. Extending energy attack mitigation to multiple IoT devices, Independent thesis Advanced level (professional degree), Uppsala University, Department of Information Technology, March 2023. (Info, Fulltext)
Hannah Emily Elisabeth Atmer. Energy Attack Mitigation for Intermittent Computing Devices, Independent thesis Advanced level (degree of Master), Uppsala University, Department of Information Technology, November 2022. (Info, Fulltext)
Arslan Hameed. Battery-less IoT Devices: Energy Source Manipulation Attacks, Independent thesis Advanced level (degree of Master), Uppsala University, Department of Information Technology, April 2022. (Info, Fulltext)
Rahbar Ghori. Protocol-aware Fuzzing of DTLS, Independent thesis Basic level (degree of Bachelor), Uppsala University, Department of Information Technology, January 2021. (Info, Fulltext)
Fredrik Tåkvist. Analysis of DTLS Implementations Using State Fuzzing, Independent thesis Basic level (degree of Bachelor), Uppsala University, Department of Information Technology, December 2020. (Info, Fulltext)
Haliz Areeb Asad. Securing the Battery-less IoT, …, September 2020.
Erik Henricus Wouters. Secure Intermittent Computing, Independent thesis Advanced level (degree of Master), KTH, Schoool of Electrical Engineering and Computer Science, June 2019. (Info, Fulltext)