Freya Murphy
Postgraduate Research Student
天美传媒
My research project
Verifying Account Ecosystems with Graph TransformationsWith current tools, it is very difficult to identify attacks which rely on multiple layers of interconnected access methods. With my research, I want to to provide a way of modelling these interconnections and how they change over time so that we can identify potential vulnerabilities and provide steps to mitigate them.
Supervisors
With current tools, it is very difficult to identify attacks which rely on multiple layers of interconnected access methods. With my research, I want to to provide a way of modelling these interconnections and how they change over time so that we can identify potential vulnerabilities and provide steps to mitigate them.
University roles and responsibilities
- PGR Representative (2023-current)
My qualifications
2020
BSc (Hons) Computing Science
University of Dundee
2023
MSc Computer Science
ETH Z眉rich
ResearchResearch interests
Formal modelling and verification, provable security, usable security
Research collaborations
In 2026 I spent two months working with the group at the University of Luxembourg, funded by the Turing Scheme.
Research interests
Formal modelling and verification, provable security, usable security
Research collaborations
In 2026 I spent two months working with the group at the University of Luxembourg, funded by the Turing Scheme.
Teaching
I have worked as a lab demonstrator on the following modules:
- Computer Logic (COM1031)
- Data Structures and Algorithms (COM1029)
- Software Engineering and Object Oriented Programming (COM1034)
- Computer Security (COM2041)
- Information Security Management (COM3017)
- Ethical Hacking and Software Security (COM3035)
- Secure Systems and Applications (COMM047)
- Cryptography (COMM066)