Myrto Arapinis

According to our database, Myrto Arapinis authored at least 36 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Quantum Lock: A Provable Quantum Communication Advantage.

Kaushik Chakraborty, Mina Doosti, Yao Ma, Chirag Wadhwa, Myrto Arapinis, Elham Kashefi

Quantum, May, 2023

Universally Composable Simultaneous Broadcast against a Dishonest Majority and Applications.

Myrto Arapinis, Ábel Kocsis, Nikolaos Lamprou, Liam Medley, Thomas Zacharias

Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing, 2023

2021

Quantum Physical Unclonable Functions: Possibilities and Impossibilities.

Myrto Arapinis, Mahshid Delavar, Mina Doosti, Elham Kashefi

Quantum, 2021

Astrolabous: A Universally Composable Time-Lock Encryption Scheme.

Myrto Arapinis, Nikolaos Lamprou, Thomas Zacharias

IACR Cryptol. ePrint Arch., 2021

Hybrid PUF: A Novel Way to Enhance the Security of Classical PUFs.

Kaushik Chakraborty, Mina Doosti, Yao Ma, Myrto Arapinis, Elham Kashefi

CoRR, 2021

QEnclave - A practical solution for secure quantum cloud computing.

Yao Ma, Elham Kashefi, Myrto Arapinis, Kaushik Chakraborty, Marc Kaplan

CoRR, 2021

A Unified Framework For Quantum Unforgeability.

Mina Doosti, Mahshid Delavar, Elham Kashefi, Myrto Arapinis

CoRR, 2021

2020

E-cclesia: Universally Composable Self-Tallying Elections.

Myrto Arapinis, Nikolaos Lamprou, Lenka Mareková, Thomas Zacharias

IACR Cryptol. ePrint Arch., 2020

2019

A Formal Treatment of Hardware Wallets.

Myrto Arapinis, Andriana Gkaniatsou, Dimitris Karakostas, Aggelos Kiayias

IACR Cryptol. ePrint Arch., 2019

2018

A Comprehensive Analysis of Quantum E-voting Protocols.

Myrto Arapinis, Elham Kashefi, Nikolaos Lamprou, Anna Pappa

CoRR, 2018

On Choosing Between Privacy Preservation Mechanisms for Mobile Trajectory Data Sharing.

Rajkarn Singh, George Theodorakopoulos, Mahesh K. Marina, Myrto Arapinis

Proceedings of the 2018 IEEE Conference on Communications and Network Security, 2018

2017

Stateful applied pi calculus: Observational equivalence and labelled bisimilarity.

Myrto Arapinis, Jia Liu, Eike Ritter, Mark Ryan

J. Log. Algebraic Methods Program., 2017

Analysis of privacy in mobile telephony systems.

Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Dermot Ryan

Int. J. Inf. Sec., 2017

Low-Level Attacks in Bitcoin Wallets.

Andriana Gkaniatsou, Myrto Arapinis, Aggelos Kiayias

Proceedings of the Information Security - 20th International Conference, 2017

2016

When Are Three Voters Enough for Privacy Properties?

Myrto Arapinis, Véronique Cortier, Steve Kremer

IACR Cryptol. ePrint Arch., 2016

Sensitivity of Counting Queries.

Myrto Arapinis, Diego Figueira, Marco Gaboardi

Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016

2015

Composing Security Protocols: From Confidentiality to Privacy.

Myrto Arapinis, Vincent Cheval, Stéphanie Delaune

Proceedings of the Principles of Security and Trust - 4th International Conference, 2015

2014

StatVerif: Verification of stateful processes.

Myrto Arapinis, Joshua Phillips, Eike Ritter, Mark Dermot Ryan

J. Comput. Secur., 2014

Bounding messages for free in security protocols - extension to various security properties.

Myrto Arapinis, Marie Duflot

Inf. Comput., 2014

Dynamic Tags for Security Protocols.

Myrto Arapinis, Stéphanie Delaune, Steve Kremer

Log. Methods Comput. Sci., 2014

Stateful Applied Pi Calculus.

Myrto Arapinis, Jia Liu, Eike Ritter, Mark Ryan

Proceedings of the Principles of Security and Trust - Third International Conference, 2014

Privacy through Pseudonymity in Mobile Telephony Systems.

Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Ryan

Proceedings of the 21st Annual Network and Distributed System Security Symposium, 2014

2013

Privacy-supporting cloud computing by in-browser key translation.

Myrto Arapinis, Sergiu Bursuc, Mark Ryan

J. Comput. Secur., 2013

Practical Everlasting Privacy.

Myrto Arapinis, Véronique Cortier, Steve Kremer, Mark Ryan

Proceedings of the Principles of Security and Trust - Second International Conference, 2013

2012

Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity.

Myrto Arapinis, Sergiu Bursuc, Mark Dermot Ryan

Proceedings of the Principles of Security and Trust - First International Conference, 2012

Privacy Supporting Cloud Computing: ConfiChair, a Case Study.

Myrto Arapinis, Sergiu Bursuc, Mark Ryan

Proceedings of the Principles of Security and Trust - First International Conference, 2012

Verifying Privacy-Type Properties in a Modular Way.

Myrto Arapinis, Vincent Cheval, Stéphanie Delaune

Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

New privacy issues in mobile telephony: fix and verification.

Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Ryan, Nico Golde, Kevin Redon, Ravishankar Borgaonkar

Proceedings of the ACM Conference on Computer and Communications Security, 2012

2011

Formal Analysis of UMTS Privacy

Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Ryan

CoRR, 2011

StatVerif: Verification of Stateful Processes.

Myrto Arapinis, Eike Ritter, Mark Dermot Ryan

Proceedings of the 24th IEEE Computer Security Foundations Symposium, 2011

2010

Analysing Unlinkability and Anonymity Using the Applied Pi Calculus.

Myrto Arapinis, Tom Chothia, Eike Ritter, Mark Ryan

Proceedings of the 23rd IEEE Computer Security Foundations Symposium, 2010

2009

Towards the Verification of Pervasive Systems.

Myrto Arapinis, Muffy Calder, Louise A. Dennis, Michael Fisher, Philip D. Gray, Savas Konur, Alice Miller, Eike Ritter, Mark Ryan, Sven Schewe, Chris Unsworth, Rehana Yasmin

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Untraceability in the applied pi-calculus.

Myrto Arapinis, Tom Chothia, Eike Ritter, Mark Ryan

Proceedings of the 4th International Conference for Internet Technology and Secured Transactions, 2009

2008

From One Session to Many: Dynamic Tags for Security Protocols.

Myrto Arapinis, Stéphanie Delaune, Steve Kremer

Proceedings of the Logic for Programming, 2008

2007

Bounding Messages for Free in Security Protocols.

Myrto Arapinis, Marie Duflot

Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007

2003

Semantics of Minimally Synchronous Parallel ML.

Myrto Arapinis, Frédéric Loulergue, Frédéric Gava, Frédéric Dabrowski

Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003