Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Formal Analysis of Electronic Exams
Dreier, Jannik; Giustolisi, Rosario; Kassem, Ali et al.
2014In SECRYPT 2014 - Proceedings of the 11th International Conference on Security and Cryptography, Vienna, Austria, 28-30 August, 2014
Peer reviewed
 

Files


Full Text
main.pdf
Author preprint (345.15 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Disciplines :
Computer science
Author, co-author :
Dreier, Jannik;  ETH Zurich > Institute of Information Security
Giustolisi, Rosario ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Kassem, Ali;  Université Joseph Fourier - Grenoble 1 - UJF > VERIMAG
Lafourcade, Pascal;  Université Blaise-Pascal, Clermont-Ferrand > LIMOS
Lenzini, Gabriele ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Ryan, Peter ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Language :
English
Title :
Formal Analysis of Electronic Exams
Publication date :
2014
Event name :
11th International Conference on Security and Cryptography
Event date :
from 28-08-2014 to 30-08-2014
Main work title :
SECRYPT 2014 - Proceedings of the 11th International Conference on Security and Cryptography, Vienna, Austria, 28-30 August, 2014
Peer reviewed :
Peer reviewed
Commentary :
Best Paper Award
Available on ORBilu :
since 30 October 2014

Statistics


Number of views
274 (18 by Unilu)
Number of downloads
454 (14 by Unilu)

Scopus citations®
 
15
Scopus citations®
without self-citations
3
OpenCitations
 
8

Bibliography


Similar publications



Contact ORBilu