Stefan Ciobaca. Verification and composition of security protocols with applications to electronic voting. (Vérification et composition des protocoles de securité avec des applications aux protocoles de vote electronique). PhD thesis, École normale supérieure de Cachan, France, 2011. [doi]
No references recorded for this publication.
No citations of this publication recorded.