Ksenia Budykho
Postgraduate Research Student
Computer Science BSc (Hons 1:1)
Academic and research departments
Faculty of Engineering and Physical Sciences, Department of Computer Science, Surrey Centre for Cyber Security.About
My research project
My research project investigates logic-based formalisms in order to analyse privacy properties of protocol, using Tamarin.
I began my PhD studies in June 2019 and am one of the SCCS Student Representatives.
Supervisors
My research project investigates logic-based formalisms in order to analyse privacy properties of protocol, using Tamarin.
I began my PhD studies in June 2019 and am one of the SCCS Student Representatives.
My qualifications
2019
Computer Science BSc (Hons 1:1)
University of Surrey
Teaching
Lab demonstrator COM3028