Login / Signup
Towards Smart Contract-based Verification of Anonymous Credentials.
Robert Muth
Tarek Galal
Jonathan Heiss
Florian Tschorsch
Published in:
IACR Cryptol. ePrint Arch. (2022)
Keyphrases
</>
model checking
peer to peer
access control
verification method
supply chain
face verification
formal verification
smart environments
formal methods
cryptographic protocols
real time
trust negotiation
revenue sharing
functional verification
asynchronous circuits
smart home
information systems
data sets