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. 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). PhD thesis, University of Lorraine, Nancy, France, 2018. [doi]