Cross Chain Atomic Swaps in the Absence of Time via Attribute Verifiable Timed Commitments.

Yacov Manevich Adi Akavia

Published in: EuroS&P (2022)

Keyphrases

petri net
attribute values
multiagent systems
sufficient conditions
databases
database systems
timed automata
database
computer vision
objective function
data analysis
evolutionary algorithm
multiple attributes
constructive induction