Reference : Privacy-Preserving Verifiability: A Case for an Electronic Exam Protocol
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/31771
Privacy-Preserving Verifiability: A Case for an Electronic Exam Protocol
English
Giustolisi, Rosario [IT University of Copenhagen]
Iovino, Vincenzo [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Lenzini, Gabriele mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
2017
Privacy-Preserving Verifiability: A Case for an Electronic Exam Protocol
Giustolisi, Rosario
Iovino, Vincenzo
Lenzini, Gabriele mailto
SCITEPRESS
Yes
No
International
14th Conf. on Security and Cryptography
from 23-07-2017 to 26-07-2017
ICEITE
Madrid
Spain
[en] Verifiability ; Privacy ; E-Exams
[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.
Researchers
http://hdl.handle.net/10993/31771

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
privacy-preserving-verifiability.pdfAuthor preprint222.74 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.