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

Sergiu Bursuc Sjouke Mauw

Published in: CSF (2022)

Keyphrases

signature verification
model checking
verification method
group members
record linkage
asynchronous circuits
dynamic time warping
sign language
credit card
payment scheme