Publications of the IA chair ASAP
• 2022 •
2022
- Bruno Blanchet, Vincent Cheval, and Véronique Cortier. ProVerif with Lemmas, Induction, Fast Subsumption, and Much More. In Proceedings of the 42nd IEEE Symposium on Security and Privacy (S&P'22), IEEE Computer Society Press, 2022.
doi:10.1109/SP.2017.28
Details BibTeX Download: [pdf] [pdf (long version)] [HTML] - Véronique Cortier, Alexandre Debant, and Pierrick Gaudry. A privacy attack on the Swiss Post e-voting system. In Real World Crypto Symposium (RWC'22), Amsterdam, Netherlands, 2022.
Details BibTeX Download: [pdf]