loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Rosario Giustolisi 1 ; Vincenzo Iovino 2 and Gabriele Lenzini 2

Affiliations: 1 IT University of Copenhagen, Denmark ; 2 University of Luxembourg, Luxembourg

Keyword(s): Privacy-Preserving Verifiability, Electronic Exam Protocols, Analysis of Security and Privacy.

Related Ontology Subjects/Areas/Topics: Formal Methods for Security ; Information and Systems Security ; Security in Information Systems ; Security Protocols ; Security Requirements ; Security Verification and Validation

Abstract: 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 according 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. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 100.24.20.141

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Giustolisi, R.; Iovino, V. and Lenzini, G. (2017). Privacy-Preserving Verifiability - A Case for an Electronic Exam Protocol. In Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017) - SECRYPT; ISBN 978-989-758-259-2; ISSN 2184-3236, SciTePress, pages 139-150. DOI: 10.5220/0006429101390150

@conference{secrypt17,
author={Rosario Giustolisi. and Vincenzo Iovino. and Gabriele Lenzini.},
title={Privacy-Preserving Verifiability - A Case for an Electronic Exam Protocol},
booktitle={Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017) - SECRYPT},
year={2017},
pages={139-150},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006429101390150},
isbn={978-989-758-259-2},
issn={2184-3236},
}

TY - CONF

JO - Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017) - SECRYPT
TI - Privacy-Preserving Verifiability - A Case for an Electronic Exam Protocol
SN - 978-989-758-259-2
IS - 2184-3236
AU - Giustolisi, R.
AU - Iovino, V.
AU - Lenzini, G.
PY - 2017
SP - 139
EP - 150
DO - 10.5220/0006429101390150
PB - SciTePress