Freya Murphy
Postgraduate Research Student
Academic and research departments
Computer Science Research Centre, Surrey Centre for Cyber Security.About
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 Security and Trust of Software Systems (SaToSS) 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 Security and Trust of Software Systems (SaToSS) 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)