MProve: A Proof of Assets Protocol for Monero Exchanges.

Arijit Dutta Saravanan Vijayakumaran

Published in: IACR Cryptol. ePrint Arch. (2018)

Keyphrases

formal proof
lightweight
coloured petri nets
tcp ip
theorem prover
authentication protocol
cryptographic protocols
linear logic
proof theory
digital libraries
theorem proving
formal analysis