Back
  1. Home
  2. Profile of David MESTEL (Unilu)
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
139 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. (2022). Beware of Greeks bearing entanglement? Quantum covert channels, information flow and non-local games. In 35th IEEE Computer Security Foundations Symposium.
Peer reviewed

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

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). 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

Mestel, D. (2019). Quantifying information flow in interactive systems. In 2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
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