Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Privacy-Preserving Verifiability: A Case for an Electronic Exam Protocol
Giustolisi, Rosario; IOVINO, Vincenzo; LENZINI, Gabriele
2017In Giustolisi, Rosario; IOVINO, Vincenzo; LENZINI, Gabriele (Eds.) Privacy-Preserving Verifiability: A Case for an Electronic Exam Protocol
Peer reviewed
 

Files


Full Text
privacy-preserving-verifiability.pdf
Author preprint (228.08 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Verifiability; Privacy; E-Exams
Abstract :
[en] We introduce the notion of privacy-preserving verifiability for security protocols. It holds when a protocol admits a verifiability test that does not reveal, to the verifier that runs it, more pieces of information about the protocol’s execution than those required to run the test. Our definition of privacy-preserving verifiability is general and applies to cryptographic protocols as well as to human security protocols. In this paper we exemplify it in the domain of e-exams. We prove that the notion is meaningful by studying an existing exam protocol that is verifiable but whose verifiability tests are not privacy-preserving. We prove that the notion is applicable: we review the protocol using functional encryption so that it admits a verifiability test that preserves privacy to our definition. We analyse, in ProVerif, that the verifiability holds despite malicious parties and that the new protocol maintains all the security properties of the original protocol, so proving that our privacy-preserving verifiability can be achieved starting from existing security.
Disciplines :
Computer science
Author, co-author :
Giustolisi, Rosario;  IT University of Copenhagen
IOVINO, Vincenzo ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
LENZINI, Gabriele ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
External co-authors :
yes
Language :
English
Title :
Privacy-Preserving Verifiability: A Case for an Electronic Exam Protocol
Publication date :
2017
Event name :
14th Conf. on Security and Cryptography
Event organizer :
ICEITE
Event place :
Madrid, Spain
Event date :
from 23-07-2017 to 26-07-2017
Audience :
International
Main work title :
Privacy-Preserving Verifiability: A Case for an Electronic Exam Protocol
Author, co-author :
Publisher :
SCITEPRESS
Peer reviewed :
Peer reviewed
Focus Area :
Security, Reliability and Trust
Name of the research project :
PEP Security
Available on ORBilu :
since 19 July 2017

Statistics


Number of views
167 (19 by Unilu)
Number of downloads
4 (3 by Unilu)

Scopus citations®
 
2
Scopus citations®
without self-citations
1

Bibliography


Similar publications



Contact ORBilu