@phdthesis{filipiak:tel-01862680, TITLE = {{Design and formal analysis of security protocols, an application to electronic voting and mobile payment}}, AUTHOR = {Filipiak, Alicia}, URL = {https://theses.hal.science/tel-01862680}, NUMBER = {2018LORR0039}, SCHOOL = {{Universit{\'e} de Lorraine}}, YEAR = {2018}, MONTH = Mar, KEYWORDS = {Cryptography ; Security ; Formal methods ; Mobile and embedded systems ; Voting ; Payment ; Cryptographie ; S{\'e}curit{\'e} ; M{\'e}thodes formelles ; Syst{\`e}mes mobiles et embarqu{\'e}s ; Vote ; Paiement}, TYPE = {Theses}, PDF = {https://theses.hal.science/tel-01862680/file/DDOC_T_2018_0039_FILIPIAK.pdf}, HAL_ID = {tel-01862680}, HAL_VERSION = {v1}, }