Semantics of Minimally Synchronous Parallel ML. - Myrto Arapinis; Frédéric Loulergue; Frédéric Gava; Frédéric Dabrowski (SNPD, 2003)

Bounding Messages for Free in Security Protocols. - Myrto Arapinis; Marie Duflot (FSTTCS, 2007)

From One Session to Many: Dynamic Tags for Security Protocols. - Myrto Arapinis; Stéphanie Delaune; Steve Kremer (LPAR, 2008)

Untraceability in the applied pi-calculus. - Myrto Arapinis; Tom Chothia; Eike Ritter; Mark Ryan 001 (ICITST, 2009)

Towards the Verification of Pervasive Systems. - Myrto Arapinis; Muffy Calder; Louise A. Dennis; Michael Fisher 001; Philip D. Gray; Savas Konur; Alice Miller 001; Eike Ritter; Mark Ryan 001; Sven Schewe; Chris Unsworth; Rehana Yasmin (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Analysing Unlinkability and Anonymity Using the Applied Pi Calculus. - Myrto Arapinis; Tom Chothia; Eike Ritter; Mark Ryan 001 (CSF, 2010)

StatVerif: Verification of Stateful Processes. - Myrto Arapinis; Eike Ritter; Mark Dermot Ryan (CSF, 2011)

Formal Analysis of UMTS Privacy - Myrto Arapinis; Loretta Ilaria Mancini; Eike Ritter; Mark Ryan 001 (CoRR, 2011)

New privacy issues in mobile telephony: fix and verification. - Myrto Arapinis; Loretta Ilaria Mancini; Eike Ritter; Mark Ryan 001; Nico Golde; Kevin Redon; Ravishankar Borgaonkar (CCS, 2012)

Verifying Privacy-Type Properties in a Modular Way. - Myrto Arapinis; Vincent Cheval; Stéphanie Delaune (CSF, 2012)

Privacy Supporting Cloud Computing: ConfiChair, a Case Study. - Myrto Arapinis; Sergiu Bursuc; Mark Ryan 001 (POST, 2012)

Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity. - Myrto Arapinis; Sergiu Bursuc; Mark Dermot Ryan (POST, 2012)

Practical Everlasting Privacy. - Myrto Arapinis; Véronique Cortier; Steve Kremer; Mark Ryan 001 (POST, 2013)

Privacy-supporting cloud computing by in-browser key translation. - Myrto Arapinis; Sergiu Bursuc; Mark Ryan 001 (J. Comput. Secur., 2013)

Privacy through Pseudonymity in Mobile Telephony Systems. - Myrto Arapinis; Loretta Ilaria Mancini; Eike Ritter; Mark Ryan 001 (NDSS, 2014)

Stateful Applied Pi Calculus. - Myrto Arapinis; Jia Liu 003; Eike Ritter; Mark Ryan 001 (POST, 2014)

Dynamic Tags for Security Protocols. - Myrto Arapinis; Stéphanie Delaune; Steve Kremer (Log. Methods Comput. Sci., 2014)

Bounding messages for free in security protocols - extension to various security properties. - Myrto Arapinis; Marie Duflot (Inf. Comput., 2014)

StatVerif: Verification of stateful processes. - Myrto Arapinis; Joshua Phillips; Eike Ritter; Mark Dermot Ryan (J. Comput. Secur., 2014)

Composing Security Protocols: From Confidentiality to Privacy. - Myrto Arapinis; Vincent Cheval; Stéphanie Delaune (POST, 2015)

Sensitivity of Counting Queries. - Myrto Arapinis; Diego Figueira; Marco Gaboardi (ICALP, 2016)

When Are Three Voters Enough for Privacy Properties? - Myrto Arapinis; Véronique Cortier; Steve Kremer (IACR Cryptol. ePrint Arch., 2016)

Low-Level Attacks in Bitcoin Wallets. - Andriana Gkaniatsou; Myrto Arapinis; Aggelos Kiayias (ISC, 2017)

Analysis of privacy in mobile telephony systems. - Myrto Arapinis; Loretta Ilaria Mancini; Eike Ritter; Mark Dermot Ryan (Int. J. Inf. Sec., 2017)

Stateful applied pi calculus: Observational equivalence and labelled bisimilarity. - Myrto Arapinis; Jia Liu 003; Eike Ritter; Mark Ryan 001 (J. Log. Algebraic Methods Program., 2017)

On Choosing Between Privacy Preservation Mechanisms for Mobile Trajectory Data Sharing. - Rajkarn Singh; George Theodorakopoulos 001; Mahesh K. Marina; Myrto Arapinis (CNS, 2018)

A Comprehensive Analysis of Quantum E-voting Protocols. - Myrto Arapinis; Elham Kashefi; Nikolaos Lamprou; Anna Pappa 002 (CoRR, 2018)

A Formal Treatment of Hardware Wallets. - Myrto Arapinis; Andriana Gkaniatsou; Dimitris Karakostas; Aggelos Kiayias (IACR Cryptol. ePrint Arch., 2019)

E-cclesia: Universally Composable Self-Tallying Elections. - Myrto Arapinis; Nikolaos Lamprou; Lenka Mareková; Thomas Zacharias 001 (IACR Cryptol. ePrint Arch., 2020)

A Unified Framework For Quantum Unforgeability. - Mina Doosti; Mahshid Delavar; Elham Kashefi; Myrto Arapinis (CoRR, 2021)

QEnclave - A practical solution for secure quantum cloud computing. - Yao Ma; Elham Kashefi; Myrto Arapinis; Kaushik Chakraborty; Marc Kaplan (CoRR, 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)

Astrolabous: A Universally Composable Time-Lock Encryption Scheme. - Myrto Arapinis; Nikolaos Lamprou; Thomas Zacharias 001 (IACR Cryptol. ePrint Arch., 2021)

Quantum Physical Unclonable Functions: Possibilities and Impossibilities. - Myrto Arapinis; Mahshid Delavar; Mina Doosti; Elham Kashefi (Quantum, 2021)

Universally Composable Simultaneous Broadcast against a Dishonest Majority and Applications. - Myrto Arapinis; Ábel Kocsis; Nikolaos Lamprou; Liam Medley; Thomas Zacharias 001 (PODC, 2023)

Quantum Lock: A Provable Quantum Communication Advantage. - Kaushik Chakraborty; Mina Doosti; Yao Ma; Chirag Wadhwa; Myrto Arapinis; Elham Kashefi (Quantum, 2023)

Attacking and Fixing the Android Protected Confirmation Protocol. - Myrto Arapinis; Vincent Danos; Maïwenn Racouchot; David A. R. Robin; Thomas Zacharias 001 (EuroS&P, 2025)