research
∙
02/04/2022
Beware of Greeks bearing entanglement? Quantum covert channels, information flow and non-local games
Can quantum entanglement increase the capacity of (classical) covert cha...
share
research
∙
11/16/2020
A Survey of Requirements for COVID-19 Mitigation Strategies. Part I: Newspaper Clips
The COVID-19 pandemic has influenced virtually all aspects of our lives....
research
∙
07/02/2020
Robust ambiguity for contact tracing
A known drawback of `decentralised' contact tracing architectures is tha...
research
∙
05/10/2019
Quantifying information flow in interactive systems
We consider the problem of quantifying information flow in interactive s...
research
∙
04/22/2019
Translating between models of concurrency
Hoare's Communicating Sequential Processes (CSP) admits a rich universe ...
research
∙
07/30/2018
A Proof of Entropy Minimization for Outputs in Deletion Channels via Hidden Word Statistics
From the output produced by a memoryless deletion channel from a uniform...
research
∙
02/02/2018
From Clustering Supersequences to Entropy Minimizing Subsequences for Single and Double Deletions
A binary string transmitted via a memoryless i.i.d. deletion channel is ...
research
∙
09/25/2017