Profil

MESTEL David

Main Referenced Co-authors
RYAN, Peter Y A  (4)
ATASHPENDAR, Arash  (2)
JAMROGA, Wojciech  (2)
MUELLER, Johannes  (2)
Reisert, Pascal (2)
Main Referenced Keywords
Analytic Combinatorics (1); Binary sequences (1); Binary Subsequences (1); Closed-form solution (1); Combinatorial mathematics (1);
Main Referenced Unit & Research Centers
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Applied Security and Information Assurance Group (APSIA) (3)
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > APSIA - Applied Security and Information Assurance (1)
Main Referenced Disciplines
Computer science (10)
Mathematics (2)

Publications (total 10)

The most downloaded
130 downloads
Mestel, D., Mueller, J., & Reisert, P. (2022). How Efficient are Replay Attacks against Vote Privacy? A Formal Quantitative Analysis. In 35th IEEE Computer Security Foundations Symposium. https://hdl.handle.net/10993/51209

The most cited

5 citations (Scopus®)

Mestel, D. (2019). Quantifying information flow in interactive systems. In 2019 IEEE 32nd Computer Security Foundations Symposium (CSF). https://hdl.handle.net/10993/39496

Mestel, D., Mueller, J., & Reisert, P. (2023). How Efficient Are Replay Attacks against Vote Privacy? A Formal Quantitative Analysis. Journal of Computer Security. doi:10.3233/JCS-230047
Peer Reviewed verified by ORBi

Mestel, D., Mueller, J., & Reisert, P. (2022). How Efficient are Replay Attacks against Vote Privacy? A Formal Quantitative Analysis. In 35th IEEE Computer Security Foundations Symposium.
Peer reviewed

Mestel, D. (2022). Beware of Greeks bearing entanglement? Quantum covert channels, information flow and non-local games. In 35th IEEE Computer Security Foundations Symposium.
Peer reviewed

Jamroga, W., Mestel, D., Roenne, P., Ryan, P. Y. A., & Skrobot, M. (2021). A Survey of Requirements for COVID-19 Mitigation Strategies. Bulletin of The Polish Academy of Sciences: Technical Science, 69 (4), 137724. doi:10.24425/bpasts.2021.137724
Peer reviewed

Jamroga, W., Mestel, D., Roenne, P., Ryan, P. Y. A., & Skrobot, M. (2020). A Survey of Requirements for COVID-19 Mitigation Strategies. Part I: Newspaper Clips. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/46104.

Mestel, D. (2020). Robust ambiguity for contact tracing. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/46252.

Mestel, D. (2019). Quantifying information flow in interactive systems. In 2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
Peer reviewed

Mestel, D. (2019). Widths of regular and context-free languages. In 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik.
Peer reviewed

Atashpendar, A., Mestel, D., Roscoe, A. W. B., & Ryan, P. (2018). A Proof of Entropy Minimization for Outputs in Deletion Channels via Hidden Word Statistics. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/36637.

Atashpendar, A., Beunardeau, M., Connolly, A., Géraud, R., Mestel, D., Roscoe, A. W. B., & Ryan, P. (2018). From Clustering Supersequences to Entropy Minimizing Subsequences for Single and Double Deletions. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/36636.

Contact ORBilu