Designing and Proving an EMV-Compliant Payment Protocol for Mobile Devices. - Véronique Cortier; Alicia Filipiak; Jan Florent; Said Gharout; Jacques Traoré (EuroS&P, 2017)

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)

BeleniosVS: Secrecy and Verifiability Against a Corrupted Voting Device. - Véronique Cortier; Alicia Filipiak; Joseph Lallemand (CSF, 2019)

CYBERCRYPT: Learn Basic Cryptographic Concepts while Playing. - Monir Azraoui; Solenn Brunet; Sébastien Canard; Aïda Diop; Lélia Eveillard; Alicia Filipiak; Adel Hamdi; Flavie Misarsky; Donald Nokam Kuate; Marie Paindavoine; Quentin Santos; Bastien Vialla (IACR Cryptol. ePrint Arch., 2021)