Myrto Arapinis
Lecturer
Informatics
The University of Edinburgh
United Kingdom
Biography
Myrto Arapinis Position Lecturer Roles Member of Laboratory for Foundations of Computer Science Assistant Director of Academic Centre of Excellence in Cyber Security Research
Research Interest
Computer Science and Bioinformatics
Publications
-
Low-Level Attacks in BitcoinWallets
-
Stateful applied Pi calculus: Observational equivalence and labelled bisimilarity
-
Analysis of privacy in mobile telephony systems
