Mobile values, new names, and secure communication, POPL'01, pp.104-115, 2001. ,
URL : https://hal.archives-ouvertes.fr/hal-01423924
Verifiable Secret-Ballot Elections, 1996. ,
Receipt-free secret-ballot elections (extended abstract), Proceedings of the twenty-sixth annual ACM symposium on Theory of computing , STOC '94, pp.544-553, 1994. ,
DOI : 10.1145/195058.195407
A Computationally Sound Mechanized Prover for Security Protocols, Proc. of the IEEE Symposium on Security and Privacy, pp.140-154, 2006. ,
An efficient cryptographic protocol verifier based on prolog rules, Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001., pp.82-96, 2001. ,
DOI : 10.1109/CSFW.2001.930138
A secure e-exam management system, First International Conference on Availability, Reliability and Security (ARES'06), pp.864-871, 2006. ,
DOI : 10.1109/ARES.2006.14
A robust and verifiable cryptographically secure election scheme (extended abstract) In: FOCS'85, pp.372-382, 1985. ,
A Peered Bulletin Board for Robust Use in Verifiable Voting Systems, 2014 IEEE 27th Computer Security Foundations Symposium, p.CSF, 2014. ,
DOI : 10.1109/CSF.2014.20
On the security of public key protocols. Information Theory, IEEE Transactions on, vol.29, issue.2, pp.198-208, 1983. ,
On the verifiability of (electronic) exams, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01337411
Formal Analysis of Electronic Exams, Proceedings of the 11th International Conference on Security and Cryptography, 2014. ,
DOI : 10.5220/0005050901010112
URL : https://hal.archives-ouvertes.fr/hal-01337413
Defining verifiability in e-auction protocols, Proceedings of the 8th ACM SIGSAC symposium on Information, computer and communications security, ASIA CCS '13, pp.547-552, 2013. ,
DOI : 10.1145/2484313.2484387
URL : https://hal.archives-ouvertes.fr/hal-01337416
Etudiants: les examens sur tablettes numériques appellés a se multiplier, 2015. ,
Aps (atlanta public schools) embroiled in cheating scandal. Retrieved from goo. gl/fqzBBR, 2011. ,
What security for electronic exams?, 2013 International Conference on Risks and Security of Internet and Systems (CRiSIS), pp.1-5, 2013. ,
DOI : 10.1109/CRiSIS.2013.6766348
Remark!: A Secure Protocol for Remote Exams, Security Protocols XXII, pp.38-48, 2014. ,
DOI : 10.1007/978-3-319-12400-1_5
La Fabrique des Tricheurs: La fraude aux examens expliquée au ministre, aux parents et aux professeurs, 2012. ,
Reliable Evidence: Auditability by Typing, ES- ORICS'09, pp.168-183, 2009. ,
DOI : 10.1016/S0140-3664(02)00049-X
Secure internet voting on limited devices with anonymized dsa public keys, EVT/WOTE'11. USENIX, 2011. ,
Efficient Receipt-Free Voting Based on Homomorphic Encryption, EU- ROCRYPT'00, pp.539-556, 2000. ,
DOI : 10.1007/3-540-45539-6_38
A secure electronic exam system, Publicationes Mathematicae Debrecen, vol.77, pp.299-312, 2010. ,
Election Verifiability in Electronic Voting Protocols, ESORICS'10, pp.389-404, 2010. ,
DOI : 10.1007/978-3-642-15497-3_24
Accountability: definition and relationship to verifiability, CCS'10, pp.526-535, 2010. ,
The Modelling and Analysis of Security Protocols: The CSP Approach, 2000. ,
Towards Automatic Analysis of Election Verifiability Properties, ARSPA-WITS'10, 2010. ,
DOI : 10.1007/978-3-642-16074-5_11