Towards Smart Contract-Based Verification of Anonymous Credentials.

Robert Muth Tarek Galal Jonathan Heiss Florian Tschorsch

Published in: Financial Cryptography Workshops (2022)

Keyphrases

smart environments
supply chain
model checking
peer to peer
access control
formal verification
cryptographic protocols
real time
case study
signature verification
data sets
website
face verification
smart grid
transaction costs
revenue sharing