Login / Signup
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