Contingent payments from two-party signing and verification for abelian groups.

Sergiu Bursuc Sjouke Mauw

Published in: CSF (2022)

Keyphrases

signature verification
model checking
social networks
credit card
data sets
sign language
record linkage
formal verification
cryptographic protocols