Myrto Arapinis

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 23

Top Topics

Privacy Preservation

Security Protocols

Cloud Computing

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Myrto Arapinis, Ábel Kocsis, Nikolaos Lamprou, Liam Medley, Thomas Zacharias
Universally Composable Simultaneous Broadcast against a Dishonest Majority and Applications. PODC (2023)
Myrto Arapinis, Ábel Kocsis, Nikolaos Lamprou, Liam Medley, Thomas Zacharias
Universally Composable Simultaneous Broadcast against a Dishonest Majority and Applications. CoRR (2023)
Kaushik Chakraborty, Mina Doosti, Yao Ma, Chirag Wadhwa, Myrto Arapinis, Elham Kashefi
Quantum Lock: A Provable Quantum Communication Advantage. Quantum 7 (2023)
Myrto Arapinis, Mahshid Delavar, Mina Doosti, Elham Kashefi
Quantum Physical Unclonable Functions: Possibilities and Impossibilities. Quantum 5 (2021)
Myrto Arapinis, Nikolaos Lamprou, Thomas Zacharias
Astrolabous: A Universally Composable Time-Lock Encryption Scheme. IACR Cryptol. ePrint Arch. 2021 (2021)
Yao Ma, Elham Kashefi, Myrto Arapinis, Kaushik Chakraborty, Marc Kaplan
QEnclave - A practical solution for secure quantum cloud computing. CoRR (2021)
Mina Doosti, Mahshid Delavar, Elham Kashefi, Myrto Arapinis
A Unified Framework For Quantum Unforgeability. CoRR (2021)
Myrto Arapinis, Nikolaos Lamprou, Thomas Zacharias
Astrolabous: A Universally Composable Time-Lock Encryption Scheme. ASIACRYPT (2) (2021)
Kaushik Chakraborty, Mina Doosti, Yao Ma, Myrto Arapinis, Elham Kashefi
Hybrid PUF: A Novel Way to Enhance the Security of Classical PUFs. CoRR (2021)
Myrto Arapinis, Nikolaos Lamprou, Lenka Mareková, Thomas Zacharias
E-cclesia: Universally Composable Self-Tallying Elections. IACR Cryptol. ePrint Arch. 2020 (2020)
Myrto Arapinis, Mahshid Delavar, Mina Doosti, Elham Kashefi
Unforgeability in the quantum world. IACR Cryptol. ePrint Arch. 2020 (2020)
Myrto Arapinis, Andriana Gkaniatsou, Dimitris Karakostas, Aggelos Kiayias
A Formal Treatment of Hardware Wallets. Financial Cryptography (2019)
Myrto Arapinis, Mahshid Delavar, Mina Doosti, Elham Kashefi
Quantum Physical Unclonable Functions: Possibilities and Impossibilities. IACR Cryptol. ePrint Arch. 2019 (2019)
Myrto Arapinis, Mahshid Delavar, Mina Doosti, Elham Kashefi
Quantum Physical Unclonable Functions: Possibilities and Impossibilities. CoRR (2019)
Myrto Arapinis, Andriana Gkaniatsou, Dimitris Karakostas, Aggelos Kiayias
A Formal Treatment of Hardware Wallets. IACR Cryptol. ePrint Arch. 2019 (2019)
Rajkarn Singh, George Theodorakopoulos, Mahesh K. Marina, Myrto Arapinis
On Choosing Between Privacy Preservation Mechanisms for Mobile Trajectory Data Sharing. CNS (2018)
Myrto Arapinis, Elham Kashefi, Nikolaos Lamprou, Anna Pappa
A Comprehensive Analysis of Quantum E-voting Protocols. CoRR (2018)
Andriana Gkaniatsou, Myrto Arapinis, Aggelos Kiayias
Low-Level Attacks in Bitcoin Wallets. ISC (2017)
Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Dermot Ryan
Analysis of privacy in mobile telephony systems. Int. J. Inf. Sec. 16 (5) (2017)
Myrto Arapinis, Jia Liu, Eike Ritter, Mark Ryan
Stateful applied pi calculus: Observational equivalence and labelled bisimilarity. J. Log. Algebraic Methods Program. 89 (2017)
Myrto Arapinis, Diego Figueira, Marco Gaboardi
Sensitivity of Counting Queries. ICALP (2016)
Myrto Arapinis, Véronique Cortier, Steve Kremer
When Are Three Voters Enough for Privacy Properties? IACR Cryptol. ePrint Arch. 2016 (2016)
Myrto Arapinis, Véronique Cortier, Steve Kremer
When Are Three Voters Enough for Privacy Properties? ESORICS (2) (2016)
Myrto Arapinis, Vincent Cheval, Stéphanie Delaune
Composing Security Protocols: From Confidentiality to Privacy. POST (2015)
Myrto Arapinis, Jia Liu, Eike Ritter, Mark Ryan
Stateful Applied Pi Calculus. POST (2014)
Myrto Arapinis, Joshua Phillips, Eike Ritter, Mark Dermot Ryan
StatVerif: Verification of stateful processes. J. Comput. Secur. 22 (5) (2014)
Myrto Arapinis, Vincent Cheval, Stéphanie Delaune
Composing security protocols: from confidentiality to privacy. CoRR (2014)
Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Ryan
Privacy through Pseudonymity in Mobile Telephony Systems. NDSS (2014)
Myrto Arapinis, Marie Duflot
Bounding messages for free in security protocols - extension to various security properties. Inf. Comput. 239 (2014)
Myrto Arapinis, Stéphanie Delaune, Steve Kremer
Dynamic Tags for Security Protocols. Log. Methods Comput. Sci. 10 (2) (2014)
Myrto Arapinis, Sergiu Bursuc, Mark Ryan
Privacy-supporting cloud computing by in-browser key translation. J. Comput. Secur. 21 (6) (2013)
Myrto Arapinis, Véronique Cortier, Steve Kremer, Mark Ryan
Practical Everlasting Privacy. POST (2013)
Myrto Arapinis, Sergiu Bursuc, Mark Ryan
Privacy Supporting Cloud Computing: ConfiChair, a Case Study. POST (2012)
Myrto Arapinis, Vincent Cheval, Stéphanie Delaune
Verifying Privacy-Type Properties in a Modular Way. CSF (2012)
Myrto Arapinis, Sergiu Bursuc, Mark Dermot Ryan
Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity. POST (2012)
Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Ryan, Nico Golde, Kevin Redon, Ravishankar Borgaonkar
New privacy issues in mobile telephony: fix and verification. CCS (2012)
Myrto Arapinis, Eike Ritter, Mark Dermot Ryan
StatVerif: Verification of Stateful Processes. CSF (2011)
Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Ryan
Formal Analysis of UMTS Privacy CoRR (2011)
Myrto Arapinis, Tom Chothia, Eike Ritter, Mark Ryan
Analysing Unlinkability and Anonymity Using the Applied Pi Calculus. CSF (2010)
Myrto Arapinis, Tom Chothia, Eike Ritter, Mark Ryan
Untraceability in the applied pi-calculus. ICITST (2009)
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
Towards the Verification of Pervasive Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 22 (2009)
Myrto Arapinis, Stéphanie Delaune, Steve Kremer
From One Session to Many: Dynamic Tags for Security Protocols. LPAR (2008)
Myrto Arapinis, Marie Duflot
Bounding Messages for Free in Security Protocols. FSTTCS (2007)
Myrto Arapinis, Frédéric Loulergue, Frédéric Gava, Frédéric Dabrowski
Semantics of Minimally Synchronous Parallel ML. SNPD (2003)