MProve+ : Privacy Enhancing Proof of Reserves Protocol for Monero.

Arijit Dutta Suyash Bagad Saravanan Vijayakumaran

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

Keyphrases

privacy enhancing
personal information
formal proof
theorem proving
lightweight
formal analysis
real time
file transfer
network protocols
database systems
cryptographic protocols
application layer
communication protocol
theorem prover
tcp ip
security protocols
mathematical proofs