David Mestel
|
|
||||
| Faculté ou Centre | Interdisciplinary Centre for Security, Reliability and Trust | ||||
| Department | APSIA | ||||
| Adresse postale |
Université du Luxembourg Maison du Nombre 6, Avenue de la Fonte L-4364 Esch-sur-Alzette |
||||
| Bureau sur le campus | MNO, E02 0235-040 | ||||
|
|||||
| Téléphone | (+352) 46 66 44 9412 | ||||
David Mestel completed his PhD thesis from the University of Oxford in 2018. His interests are in the mathematical theory of information security, especially in quantified information flow. David joined the Applied Security and Information Assurance group, APSIA, headed by Prof. Peter Y.A. Ryan.
Last updated on: mercredi 10 octobre 2018
2022
Beware of Greeks bearing entanglement? Quantum covert channels, information flow and non-local gamesin 35th IEEE Computer Security Foundations Symposium (2022)
How Efficient are Replay Attacks against Vote Privacy? A Formal Quantitative Analysis; ;
in 35th IEEE Computer Security Foundations Symposium (2022)
2021
A Survey of Requirements for COVID-19 Mitigation Strategies; ; ; ;
in Bulletin of The Polish Academy of Sciences: Technical Science (2021), 69(4), 137724
2020
A Survey of Requirements for COVID-19 Mitigation Strategies. Part I: Newspaper Clips; ; ; ;
E-print/Working paper (2020)
2019
Quantifying information flow in interactive systemsin 2019 IEEE 32nd Computer Security Foundations Symposium (CSF) (2019)
Widths of regular and context-free languagesin 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019) (2019)
2018
From Clustering Supersequences to Entropy Minimizing Subsequences for Single and Double Deletions; ; ; ; ; ;
E-print/Working paper (2018)
A Proof of Entropy Minimization for Outputs in Deletion Channels via Hidden Word Statistics; ; ;
E-print/Working paper (2018)
