Regular biography
Myrto Arapinis is a Reader in the School of Informatics, College of Science and Engineering, at The University of Edinburgh. Her research interests include formal methods, concurrency theory, and the verification of distributed systems. Arapinis is affiliated with the Department of Computer Science and contributes to academic discourse through her scholarly work. She can be contacted via email at marapini@exseed.ed.ac.uk, and her profile page provides further details on her research and publications.
Scholar-generated biography
Myrto Arapinis is a researcher in the School of Informatics, University of Edinburgh, focusing on computer security protocols, formal methods, and concurrency. Her work explores privacy issues in mobile telephony, cloud computing, and blockchain systems, emphasizing the verification of security and privacy properties. She has developed frameworks for analyzing unlinkability, anonymity, and everlasting privacy, while addressing challenges in stateful processes and quantum cryptographic protocols. Her research also investigates low-level attacks in bitcoin wallets and the sensitivity of counting queries. Arapinis contributes to the formal treatment of hardware wallets and the verification of pervasive systems, ensuring robustness in privacy-supporting technologies.