David Mestel

According to our database, David Mestel authored at least 16 papers between 2016 and 2026.

Collaborative distances:

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

2026

Product-State Approximation Algorithms for the Transverse Field Ising Model.

Vincenzo Lipardi, David Mestel, Georgios Stamoulis

CoRR, January, 2026

Split-or-decompose: Improved FPT branching algorithms for maximum agreement forests.

David Mestel, Steven Chaplick, Steven Kelk, Ruben Meuwese

J. Comput. Syst. Sci., 2026

HIC is all you need: Practical Post-Quantum Password-Authenticated Public Key Encryption.

Afonso Arriaga, David Mestel, Jan Oupický, Peter B. Rønne, Marjan Skrobot

IACR Cryptol. ePrint Arch., 2026

2025

The Decision Problem for Regular First Order Theories.

Umang Mathur, David Mestel, Mahesh Viswanathan

Proc. ACM Program. Lang., 2025

2022

How Efficient are Replay Attacks against Vote Privacy? A Formal Quantitative Analysis.

David Mestel, Johannes Müller, Pascal Reisert

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

Beware of Greeks bearing entanglement? Quantum covert channels, information flow and non-local games.

David Mestel

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

2020

A Survey of Requirements for COVID-19 Mitigation Strategies. Part I: Newspaper Clips.

Wojciech Jamroga, David Mestel, Peter B. Rønne, Peter Y. A. Ryan, Marjan Skrobot

CoRR, 2020

Robust ambiguity for contact tracing.

David Mestel

CoRR, 2020

Translating between models of concurrency.

David Mestel, A. W. Roscoe

Acta Informatica, 2020

2019

Widths of Regular and Context-Free Languages.

David Mestel

Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2019

Quantifying Information Flow in Interactive Systems.

David Mestel

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

2018

Quantifying information flow.

David Mestel

PhD thesis, 2018

A Proof of Entropy Minimization for Outputs in Deletion Channels via Hidden Word Statistics.

Arash Atashpendar, David Mestel, A. W. Roscoe, Peter Y. A. Ryan

CoRR, 2018

From Clustering Supersequences to Entropy Minimizing Subsequences for Single and Double Deletions.

Arash Atashpendar, Marc Beunardeau, Aisling Connolly, Rémi Géraud, David Mestel, A. W. Roscoe, Peter Y. A. Ryan

CoRR, 2018

2017

On the widths of regular and context free languages, with an application to information flow.

David Mestel

CoRR, 2017

2016

Reducing Complex CSP Models to Traces via Priority.

David Mestel, A. W. Roscoe

Proceedings of the Thirty-second Conference on the Mathematical Foundations of Programming Semantics, 2016