SEVIL: Secure and Efficient VerifIcation over Massive Proofs of KnowLedge

Souha Masmoudi; Maryline Laurent; Nesrine Kaaniche

doi:10.5220/0011125800003283

SEVIL: Secure and Efficient VerifIcation over Massive Proofs of KnowLedge

CNRS UMR 5157 SAMOVAR
Institut Mines-Télécom

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Citation (Scopus)

Abstract

This paper presents SEVIL, a group signature construction that offers an efficient, aggregated and batch verification over multiple signatures. The proposed group signature scheme is built upon Groth-Sahai Non-Interactive Witness-Indistinguishable proofs, in an effort to reduce the computation complexity, closely associated with the number the number of signatures. SEVIL fulfills the main security and privacy properties, proven through a detailed analysis. The implementation of SEVIL algorithms demonstrates the high efficiency of the aggregated and batch verification with up to 50% of gain in comparison with naive verification of NIWI proofs.

Original language	English
Title of host publication	SECRYPT 2022 - Proceedings of the 19th International Conference on Security and Cryptography
Editors	Sabrina De Capitani di Vimercati, Pierangela Samarati
Publisher	Science and Technology Publications, Lda
Pages	13-24
Number of pages	12
ISBN (Print)	9789897585906
DOIs	https://doi.org/10.5220/0011125800003283
Publication status	Published - 1 Jan 2022
Event	19th International Conference on Security and Cryptography, SECRYPT 2022 - Lisbon, Portugal Duration: 11 Jul 2022 → 13 Jul 2022

Publication series

Name	Proceedings of the International Conference on Security and Cryptography
Volume	1
ISSN (Print)	2184-7711

Conference

Conference	19th International Conference on Security and Cryptography, SECRYPT 2022
Country/Territory	Portugal
City	Lisbon
Period	11/07/22 → 13/07/22

Keywords

Aggregated Verification
Batch Verificati
Group Signatures
NIWI Proofs

Access to Document

10.5220/0011125800003283

Cite this

Masmoudi, S., Laurent, M., & Kaaniche, N. (2022). SEVIL: Secure and Efficient VerifIcation over Massive Proofs of KnowLedge. In S. De Capitani di Vimercati, & P. Samarati (Eds.), SECRYPT 2022 - Proceedings of the 19th International Conference on Security and Cryptography (pp. 13-24). (Proceedings of the International Conference on Security and Cryptography; Vol. 1). Science and Technology Publications, Lda. https://doi.org/10.5220/0011125800003283

Masmoudi, Souha ; Laurent, Maryline ; Kaaniche, Nesrine. / SEVIL : Secure and Efficient VerifIcation over Massive Proofs of KnowLedge. SECRYPT 2022 - Proceedings of the 19th International Conference on Security and Cryptography. editor / Sabrina De Capitani di Vimercati ; Pierangela Samarati. Science and Technology Publications, Lda, 2022. pp. 13-24 (Proceedings of the International Conference on Security and Cryptography).

@inproceedings{b83c3157dd194f7684fd8b18490376ab,

title = "SEVIL: Secure and Efficient VerifIcation over Massive Proofs of KnowLedge",

abstract = "This paper presents SEVIL, a group signature construction that offers an efficient, aggregated and batch verification over multiple signatures. The proposed group signature scheme is built upon Groth-Sahai Non-Interactive Witness-Indistinguishable proofs, in an effort to reduce the computation complexity, closely associated with the number the number of signatures. SEVIL fulfills the main security and privacy properties, proven through a detailed analysis. The implementation of SEVIL algorithms demonstrates the high efficiency of the aggregated and batch verification with up to 50\% of gain in comparison with naive verification of NIWI proofs.",

keywords = "Aggregated Verification, Batch Verificati, Group Signatures, NIWI Proofs",

author = "Souha Masmoudi and Maryline Laurent and Nesrine Kaaniche",

note = "Publisher Copyright: {\textcopyright} 2021 by SCITEPRESS {\textendash} Science and Technology Publications, Lda. All rights reserved.; 19th International Conference on Security and Cryptography, SECRYPT 2022 ; Conference date: 11-07-2022 Through 13-07-2022",

year = "2022",

month = jan,

day = "1",

doi = "10.5220/0011125800003283",

language = "English",

isbn = "9789897585906",

series = "Proceedings of the International Conference on Security and Cryptography",

publisher = "Science and Technology Publications, Lda",

pages = "13--24",

editor = "\{De Capitani di Vimercati\}, Sabrina and Pierangela Samarati",

booktitle = "SECRYPT 2022 - Proceedings of the 19th International Conference on Security and Cryptography",

}

Masmoudi, S, Laurent, M & Kaaniche, N 2022, SEVIL: Secure and Efficient VerifIcation over Massive Proofs of KnowLedge. in S De Capitani di Vimercati & P Samarati (eds), SECRYPT 2022 - Proceedings of the 19th International Conference on Security and Cryptography. Proceedings of the International Conference on Security and Cryptography, vol. 1, Science and Technology Publications, Lda, pp. 13-24, 19th International Conference on Security and Cryptography, SECRYPT 2022, Lisbon, Portugal, 11/07/22. https://doi.org/10.5220/0011125800003283

SEVIL: Secure and Efficient VerifIcation over Massive Proofs of KnowLedge. / Masmoudi, Souha; Laurent, Maryline ; Kaaniche, Nesrine.
SECRYPT 2022 - Proceedings of the 19th International Conference on Security and Cryptography. ed. / Sabrina De Capitani di Vimercati; Pierangela Samarati. Science and Technology Publications, Lda, 2022. p. 13-24 (Proceedings of the International Conference on Security and Cryptography; Vol. 1).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - SEVIL

T2 - 19th International Conference on Security and Cryptography, SECRYPT 2022

AU - Masmoudi, Souha

AU - Laurent, Maryline

AU - Kaaniche, Nesrine

PY - 2022/1/1

Y1 - 2022/1/1

N2 - This paper presents SEVIL, a group signature construction that offers an efficient, aggregated and batch verification over multiple signatures. The proposed group signature scheme is built upon Groth-Sahai Non-Interactive Witness-Indistinguishable proofs, in an effort to reduce the computation complexity, closely associated with the number the number of signatures. SEVIL fulfills the main security and privacy properties, proven through a detailed analysis. The implementation of SEVIL algorithms demonstrates the high efficiency of the aggregated and batch verification with up to 50% of gain in comparison with naive verification of NIWI proofs.

AB - This paper presents SEVIL, a group signature construction that offers an efficient, aggregated and batch verification over multiple signatures. The proposed group signature scheme is built upon Groth-Sahai Non-Interactive Witness-Indistinguishable proofs, in an effort to reduce the computation complexity, closely associated with the number the number of signatures. SEVIL fulfills the main security and privacy properties, proven through a detailed analysis. The implementation of SEVIL algorithms demonstrates the high efficiency of the aggregated and batch verification with up to 50% of gain in comparison with naive verification of NIWI proofs.

KW - Aggregated Verification

KW - Batch Verificati

KW - Group Signatures

KW - NIWI Proofs

U2 - 10.5220/0011125800003283

DO - 10.5220/0011125800003283

M3 - Conference contribution

AN - SCOPUS:85174522929

SN - 9789897585906

T3 - Proceedings of the International Conference on Security and Cryptography

SP - 13

EP - 24

BT - SECRYPT 2022 - Proceedings of the 19th International Conference on Security and Cryptography

A2 - De Capitani di Vimercati, Sabrina

A2 - Samarati, Pierangela

PB - Science and Technology Publications, Lda

Y2 - 11 July 2022 through 13 July 2022

ER -

Masmoudi S, Laurent M , Kaaniche N. SEVIL: Secure and Efficient VerifIcation over Massive Proofs of KnowLedge. In De Capitani di Vimercati S, Samarati P, editors, SECRYPT 2022 - Proceedings of the 19th International Conference on Security and Cryptography. Science and Technology Publications, Lda. 2022. p. 13-24. (Proceedings of the International Conference on Security and Cryptography). doi: 10.5220/0011125800003283

SEVIL: Secure and Efficient VerifIcation over Massive Proofs of KnowLedge

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this