Formalising Linked-Data based Verifiable Credentials for Selective Disclosure | IEEE Conference Publication | IEEE Xplore