Alicia Filipiak

BeleniosVS: Secrecy and Verifiability Against a Corrupted Voting Device

Véronique Cortier, Joseph Lallemand, Alicia Filipiak, 2019, 2019 IEEE 32nd Computer Security Foundations Symposium (CSF).

Designing and Proving an EMV-Compliant Payment Protocol for Mobile Devices

Véronique Cortier, Jacques Traoré, Said Gharout, 2017, 2017 IEEE European Symposium on Security and Privacy (EuroS&P).

Design and formal analysis of security protocols, an application to electronic voting and mobile payment. (Conception et analyse formelle de protocoles de sécurité, une application au vote électronique et au paiement mobile)

Alicia Filipiak, 2018 .

CYBERCRYPT: Learn Basic Cryptographic Concepts while Playing

Sébastien Canard, Donald Nokam Kuate, Solenn Brunet, 2021, IACR Cryptol. ePrint Arch..