David Mestel

According to our database, David Mestel authored at least 14 papers between 2016 and 2024.

Collaborative distances:

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

2024

The Decision Problem for Regular First-Order Theories.

Umang Mathur, David Mestel, Mahesh Viswanathan

CoRR, 2024

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

David Mestel, Steven Chaplick, Steven Kelk, Ruben Meuwese

CoRR, 2024

2023

How efficient are replay attacks against vote privacy? A formal quantitative analysis.

David Mestel, Johannes Müller, Pascal Reisert

J. Comput. Secur., 2023

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