Formalising Linked-Data based Verifiable Credentials for Selective Disclosure

Dan Yamamoto; Yuji Suga; Kazue Sako

doi:10.1109/EuroSPW55150.2022.00013

Formalising Linked-Data based Verifiable Credentials for Selective Disclosure

Dan Yamamoto, Yuji Suga, Kazue Sako

School of Fundamental Science and Engineering

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

2 Citations (Scopus)

Abstract

In this paper, we propose a formal definition for Linked-Data based verifiable credential to enable secure selective disclosure among one or multiple verifiable creden-tials a user has. Previous schemes considered using a single verifiable credential and could not hide the user's identifying information when performing selective disclosure. We pro-pose the first Linked-Data based verifiable credentials that can perform selective disclosure free from the restrictions the previous scheme had, and prove its property. We also discuss a novel use of combining multiple certificates issued by independent issuers to still allow users to perform selective disclosure on the set of credentials. Our scheme has been implemented as an open source Web-based application that generates a verifiable presentation for a given selection of attributes. The performance evaluation is also provided in the paper.

Original language	English
Title of host publication	Proceedings - 7th IEEE European Symposium on Security and Privacy Workshops, Euro S and PW 2022
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	52-65
Number of pages	14
ISBN (Electronic)	9781665495608
DOIs	https://doi.org/10.1109/EuroSPW55150.2022.00013
Publication status	Published - 2022
Event	7th IEEE European Symposium on Security and Privacy Workshops, Euro S and PW 2022 - Genoa, Italy Duration: 2022 Jun 6 → 2022 Jun 10

Publication series

Name	Proceedings - 7th IEEE European Symposium on Security and Privacy Workshops, Euro S and PW 2022

Conference

Conference	7th IEEE European Symposium on Security and Privacy Workshops, Euro S and PW 2022
Country/Territory	Italy
City	Genoa
Period	22/6/6 → 22/6/10

Keywords

anonymous credentials
verifiable credentials
zero-knowledge proof

ASJC Scopus subject areas

Computer Networks and Communications
Hardware and Architecture
Information Systems
Information Systems and Management
Safety, Risk, Reliability and Quality

Access to Document

10.1109/EuroSPW55150.2022.00013

Cite this

Yamamoto, D., Suga, Y., & Sako, K. (2022). Formalising Linked-Data based Verifiable Credentials for Selective Disclosure. In Proceedings - 7th IEEE European Symposium on Security and Privacy Workshops, Euro S and PW 2022 (pp. 52-65). (Proceedings - 7th IEEE European Symposium on Security and Privacy Workshops, Euro S and PW 2022). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/EuroSPW55150.2022.00013

Formalising Linked-Data based Verifiable Credentials for Selective Disclosure. / Yamamoto, Dan; Suga, Yuji; Sako, Kazue.
Proceedings - 7th IEEE European Symposium on Security and Privacy Workshops, Euro S and PW 2022. Institute of Electrical and Electronics Engineers Inc., 2022. p. 52-65 (Proceedings - 7th IEEE European Symposium on Security and Privacy Workshops, Euro S and PW 2022).

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

Yamamoto, D, Suga, Y & Sako, K 2022, Formalising Linked-Data based Verifiable Credentials for Selective Disclosure. in Proceedings - 7th IEEE European Symposium on Security and Privacy Workshops, Euro S and PW 2022. Proceedings - 7th IEEE European Symposium on Security and Privacy Workshops, Euro S and PW 2022, Institute of Electrical and Electronics Engineers Inc., pp. 52-65, 7th IEEE European Symposium on Security and Privacy Workshops, Euro S and PW 2022, Genoa, Italy, 22/6/6. https://doi.org/10.1109/EuroSPW55150.2022.00013

Yamamoto D, Suga Y, Sako K. Formalising Linked-Data based Verifiable Credentials for Selective Disclosure. In Proceedings - 7th IEEE European Symposium on Security and Privacy Workshops, Euro S and PW 2022. Institute of Electrical and Electronics Engineers Inc. 2022. p. 52-65. (Proceedings - 7th IEEE European Symposium on Security and Privacy Workshops, Euro S and PW 2022). doi: 10.1109/EuroSPW55150.2022.00013

Yamamoto, Dan ; Suga, Yuji ; Sako, Kazue. / Formalising Linked-Data based Verifiable Credentials for Selective Disclosure. Proceedings - 7th IEEE European Symposium on Security and Privacy Workshops, Euro S and PW 2022. Institute of Electrical and Electronics Engineers Inc., 2022. pp. 52-65 (Proceedings - 7th IEEE European Symposium on Security and Privacy Workshops, Euro S and PW 2022).

@inproceedings{ae1bd7428cb34a6f9e9f24ae37083b49,

title = "Formalising Linked-Data based Verifiable Credentials for Selective Disclosure",

abstract = "In this paper, we propose a formal definition for Linked-Data based verifiable credential to enable secure selective disclosure among one or multiple verifiable creden-tials a user has. Previous schemes considered using a single verifiable credential and could not hide the user's identifying information when performing selective disclosure. We pro-pose the first Linked-Data based verifiable credentials that can perform selective disclosure free from the restrictions the previous scheme had, and prove its property. We also discuss a novel use of combining multiple certificates issued by independent issuers to still allow users to perform selective disclosure on the set of credentials. Our scheme has been implemented as an open source Web-based application that generates a verifiable presentation for a given selection of attributes. The performance evaluation is also provided in the paper.",

keywords = "anonymous credentials, verifiable credentials, zero-knowledge proof",

author = "Dan Yamamoto and Yuji Suga and Kazue Sako",

note = "Publisher Copyright: {\textcopyright} 2022 IEEE.; 7th IEEE European Symposium on Security and Privacy Workshops, Euro S and PW 2022 ; Conference date: 06-06-2022 Through 10-06-2022",

year = "2022",

doi = "10.1109/EuroSPW55150.2022.00013",

language = "English",

series = "Proceedings - 7th IEEE European Symposium on Security and Privacy Workshops, Euro S and PW 2022",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "52--65",

booktitle = "Proceedings - 7th IEEE European Symposium on Security and Privacy Workshops, Euro S and PW 2022",

}

TY - GEN

T1 - Formalising Linked-Data based Verifiable Credentials for Selective Disclosure

AU - Yamamoto, Dan

AU - Suga, Yuji

AU - Sako, Kazue

PY - 2022

Y1 - 2022

N2 - In this paper, we propose a formal definition for Linked-Data based verifiable credential to enable secure selective disclosure among one or multiple verifiable creden-tials a user has. Previous schemes considered using a single verifiable credential and could not hide the user's identifying information when performing selective disclosure. We pro-pose the first Linked-Data based verifiable credentials that can perform selective disclosure free from the restrictions the previous scheme had, and prove its property. We also discuss a novel use of combining multiple certificates issued by independent issuers to still allow users to perform selective disclosure on the set of credentials. Our scheme has been implemented as an open source Web-based application that generates a verifiable presentation for a given selection of attributes. The performance evaluation is also provided in the paper.

AB - In this paper, we propose a formal definition for Linked-Data based verifiable credential to enable secure selective disclosure among one or multiple verifiable creden-tials a user has. Previous schemes considered using a single verifiable credential and could not hide the user's identifying information when performing selective disclosure. We pro-pose the first Linked-Data based verifiable credentials that can perform selective disclosure free from the restrictions the previous scheme had, and prove its property. We also discuss a novel use of combining multiple certificates issued by independent issuers to still allow users to perform selective disclosure on the set of credentials. Our scheme has been implemented as an open source Web-based application that generates a verifiable presentation for a given selection of attributes. The performance evaluation is also provided in the paper.

KW - anonymous credentials

KW - verifiable credentials

KW - zero-knowledge proof

UR - http://www.scopus.com/inward/record.url?scp=85134168668&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85134168668&partnerID=8YFLogxK

U2 - 10.1109/EuroSPW55150.2022.00013

DO - 10.1109/EuroSPW55150.2022.00013

M3 - Conference contribution

AN - SCOPUS:85134168668

T3 - Proceedings - 7th IEEE European Symposium on Security and Privacy Workshops, Euro S and PW 2022

SP - 52

EP - 65

BT - Proceedings - 7th IEEE European Symposium on Security and Privacy Workshops, Euro S and PW 2022

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 7th IEEE European Symposium on Security and Privacy Workshops, Euro S and PW 2022

Y2 - 6 June 2022 through 10 June 2022

ER -

Formalising Linked-Data based Verifiable Credentials for Selective Disclosure

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this