David Mestel

23 papers A 3B 1Journal 17Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
HIC is all you need: Practical Post-Quantum Password-Authenticated Public Key Encryption.
IACR Cryptol. ePrint Arch.
Afonso Arriaga, David Mestel, Jan Oupický, Peter B. Rønne, Marjan Skrobot
2026 J jnl
Product-State Approximation Algorithms for the Transverse Field Ising Model.
CoRR
Vincenzo Lipardi, David Mestel, Georgios Stamoulis
2026 J jnl
Split-or-decompose: Improved FPT branching algorithms for maximum agreement forests.
J. Comput. Syst. Sci.
David Mestel, Steven Chaplick, Steven Kelk, Ruben Meuwese
2025 J jnl
The Decision Problem for Regular First Order Theories.
Proc. ACM Program. Lang.
Umang Mathur, David Mestel, Mahesh Viswanathan
2024 J jnl
Split-or-decompose: Improved FPT branching algorithms for maximum agreement forests.
CoRR
David Mestel, Steven Chaplick, Steven Kelk, Ruben Meuwese
2024 J jnl
The Decision Problem for Regular First-Order Theories.
CoRR
Umang Mathur, David Mestel, Mahesh Viswanathan
2023 J jnl
How efficient are replay attacks against vote privacy? A formal quantitative analysis.
J. Comput. Secur.
David Mestel, Johannes Müller, Pascal Reisert
2022 A conf
Beware of Greeks bearing entanglement? Quantum covert channels, information flow and non-local games.
CSF
David Mestel
2022 J jnl
Beware of Greeks bearing entanglement? Quantum covert channels, information flow and non-local games.
CoRR
David Mestel
2022 A conf
How Efficient are Replay Attacks against Vote Privacy? A Formal Quantitative Analysis.
CSF
David Mestel, Johannes Müller, Pascal Reisert
2022 J jnl
How Efficient are Replay Attacks against Vote Privacy? A Formal Quantitative Analysis.
IACR Cryptol. ePrint Arch.
David Mestel, Johannes Müller, Pascal Reisert
2020 J jnl
A Survey of Requirements for COVID-19 Mitigation Strategies. Part I: Newspaper Clips.
CoRR
Wojciech Jamroga, David Mestel, Peter B. Rønne, Peter Y. A. Ryan, Marjan Skrobot
2020 J jnl
Robust ambiguity for contact tracing.
CoRR
David Mestel
2020 J jnl
Translating between models of concurrency.
Acta Informatica
David Mestel, A. W. Roscoe
2019 A conf
Quantifying Information Flow in Interactive Systems.
CSF
David Mestel
2019 J jnl
Quantifying information flow in interactive systems.
CoRR
David Mestel
2019 J jnl
Translating between models of concurrency.
CoRR
David Mestel, A. W. Roscoe
2019 — conf
Widths of Regular and Context-Free Languages.
FSTTCS
David Mestel
2018 J jnl
A Proof of Entropy Minimization for Outputs in Deletion Channels via Hidden Word Statistics.
CoRR
Arash Atashpendar, David Mestel, A. W. Roscoe, Peter Y. A. Ryan
2018 J jnl
From Clustering Supersequences to Entropy Minimizing Subsequences for Single and Double Deletions.
CoRR
Arash Atashpendar, Marc Beunardeau, Aisling Connolly, Rémi Géraud, David Mestel, A. W. Roscoe, Peter Y. A. Ryan
2018 — —
Quantifying information flow.
David Mestel
2017 J jnl
On the widths of regular and context free languages, with an application to information flow.
CoRR
David Mestel
2016 B conf
Reducing Complex CSP Models to Traces via Priority.
MFPS
David Mestel, A. W. Roscoe