Towards Verified Price Oracles for Decentralized Exchange Protocols.

Kinnari Dave Vilhelm Sjöberg Xinyuan Sun

Published in: FMBC@CAV (2021)

Keyphrases

distributed systems
cooperative
active learning
peer to peer
test cases
distributed agents
information exchange
information flow control
share information
artificial intelligence
communication protocol
databases
privacy preserving
communication protocols
commit protocols
trusted third party
multi agent