MProve: A Proof of Reserves Protocol for Monero Exchanges.

Arijit Dutta Saravanan Vijayakumaran

Published in: EuroS&P Workshops (2019)

Keyphrases

formal proof
lightweight
communication protocol
theorem prover
theorem proving
tcp ip
communication protocols
database
real time
data sets
distributed systems
security protocols
application layer