Publis

Publications HAL de alicia filipiak

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
https://hal.inria.fr/hal-02268399/file/csf19-report%283%29.pdf 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
https://hal.inria.fr/hal-02126077/file/main-report.pdf 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
https://tel.archives-ouvertes.fr/tel-01862680/file/DDOC_T_2018_0039_FILIPIAK.pdf 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
https://hal.inria.fr/hal-01408584/file/00_Papier.pdf BibTex