5 papers
Robust ambiguity for contact tracing
David Mestel
A known drawback of `decentralised' contact tracing architectures is that users who have been in contact with an infected person are able to precisely identify the relevant contact…
Quantifying information flow in interactive systems
David Mestel
We consider the problem of quantifying information flow in interactive systems, modelled as finite-state transducers in the style of Goguen and Meseguer. Our main result is that if…
Translating between models of concurrency
David Mestel, A. W. Roscoe
Hoare's Communicating Sequential Processes (CSP) admits a rich universe of semantic models closely related to the van Glabbeek spectrum. In this paper we study finite observational…
A Proof of Entropy Minimization for Outputs in Deletion Channels via Hidden Word Statistics
Arash Atashpendar, David Mestel, A. W. Roscoe +1
From the output produced by a memoryless deletion channel from a uniformly random input of known length , one obtains a posterior distribution on the channel input. The differen…
From Clustering Supersequences to Entropy Minimizing Subsequences for Single and Double Deletions
Arash Atashpendar, Marc Beunardeau, Aisling Connolly +4
A binary string transmitted via a memoryless i.i.d. deletion channel is received as a subsequence of the original input. From this, one obtains a posterior distribution on the chan…