2019
Conference papers
- titre
- BeleniosVS: Secrecy and Verifiability against a Corrupted Voting Device
- auteur
- Véronique Cortier, Alicia Filipiak, Joseph Lallemand
- article
- CSF 2019 – 32nd IEEE Computer Security Foundations Symposium, Jun 2019, Hoboken, United States
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
Reports
- titre
- BeleniosVS: Secrecy and Verifiability against a Corrupted Voting Device
- auteur
- Véronique Cortier, Alicia Filipiak, Joseph Lallemand
- article
- [Research Report] CNRS, Inria, LORIA; Orange Labs. 2019
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
2018
Theses
- titre
- Design and formal analysis of security protocols, an application to electronic voting and mobile payment
- auteur
- Alicia Filipiak
- article
- Cryptography and Security [cs.CR]. Université de Lorraine, 2018. English. ⟨NNT : 2018LORR0039⟩
- typdoc
- Theses
- Accès au texte intégral et bibtex
-
2017
Conference papers
- titre
- Designing and proving an EMV-compliant payment protocol for mobile devices
- auteur
- Véronique Cortier, Alicia Filipiak, Saïd Gharout, Jacques Traoré
- article
- 2nd IEEE European Symposium on Security and Privacy (EuroSP’17), Apr 2017, Paris, France
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
