David Mestel

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 16

Top Topics

Information Flows

Interactive Systems

Context Free Languages

Top Venues

IACR Cryptol. ePrint Arch.

Acta Informatica

Publications

David Mestel, Johannes Müller, Pascal Reisert
How efficient are replay attacks against vote privacy? A formal quantitative analysis. J. Comput. Secur. 31 (5) (2023)
David Mestel, Johannes Müller, Pascal Reisert
How Efficient are Replay Attacks against Vote Privacy? A Formal Quantitative Analysis. CSF (2022)
David Mestel
Beware of Greeks bearing entanglement? Quantum covert channels, information flow and non-local games. CoRR (2022)
David Mestel, Johannes Müller, Pascal Reisert
How Efficient are Replay Attacks against Vote Privacy? A Formal Quantitative Analysis. IACR Cryptol. ePrint Arch. 2022 (2022)
David Mestel
Beware of Greeks bearing entanglement? Quantum covert channels, information flow and non-local games. CSF (2022)
David Mestel, A. W. Roscoe
Translating between models of concurrency. Acta Informatica 57 (3-5) (2020)
Wojciech Jamroga, David Mestel, Peter B. Rønne, Peter Y. A. Ryan, Marjan Skrobot
A Survey of Requirements for COVID-19 Mitigation Strategies. Part I: Newspaper Clips. CoRR (2020)
David Mestel
Robust ambiguity for contact tracing. CoRR (2020)
David Mestel
Quantifying Information Flow in Interactive Systems. CSF (2019)
David Mestel
Quantifying information flow in interactive systems. CoRR (2019)
David Mestel, A. W. Roscoe
Translating between models of concurrency. CoRR (2019)
David Mestel
Widths of Regular and Context-Free Languages. FSTTCS (2019)
Arash Atashpendar, Marc Beunardeau, Aisling Connolly, Rémi Géraud, David Mestel, A. W. Roscoe, Peter Y. A. Ryan
From Clustering Supersequences to Entropy Minimizing Subsequences for Single and Double Deletions. CoRR (2018)
Arash Atashpendar, David Mestel, A. W. Roscoe, Peter Y. A. Ryan
A Proof of Entropy Minimization for Outputs in Deletion Channels via Hidden Word Statistics. CoRR (2018)
David Mestel
On the widths of regular and context free languages, with an application to information flow. CoRR (2017)
David Mestel, A. W. Roscoe
Reducing Complex CSP Models to Traces via Priority. MFPS (2016)