Formal verification of the W3C web authentication protocol I Ben Guirat, H Halpin Proceedings of the 5th Annual Symposium and Bootcamp on Hot Topics in the …, 2018 | 22 | 2018 |
Mixim: Mixnet design decisions and empirical evaluation I Ben Guirat, D Gosain, C Diaz Proceedings of the 20th Workshop on Workshop on Privacy in the Electronic …, 2021 | 13 | 2021 |
Mixnet optimization methods I Ben Guirat, C Diaz Proceedings on Privacy Enhancing Technologies 1, 22, 2022 | 7 | 2022 |
Mixim: A general purpose simulator for mixnet I Ben Guirat, D Gosain, C Diaz Privacy Enhancing Technologies Symposium–HotPETs Workshop, 2020 | 5 | 2020 |
Blending Different Latency Traffic With Beta Mixing I Ben Guirat, D Das, C Diaz Proceedings on Privacy Enhancing Technologies (PoPETs) 15, 2024 | 4 | 2024 |
Traffic Analysis by Adversaries with Partial Visibility I Ben Guirat, C Diaz, K Eldefrawy, H Zeilberger European Symposium on Research in Computer Security (ESORICS), 338-358, 2023 | 1* | 2023 |
Evaluation Techniques for Mix Networks I BEN GUIRAT | | 2024 |
Mixnet Traffic Analysis by Adversaries with Partial Visibility I BEN GUIRAT, C Diaz, H Zeilberger Computer Security–ESORICS 2023, 2023 | | 2023 |
Privacy and Social Movements I Ben Guirat Internet Science: INSCI 2018 International Workshops, St. Petersburg, Russia …, 2019 | | 2019 |