Myrto Arapinis

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