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

Arijit Dutta Suyash Bagad Saravanan Vijayakumaran

Published in: IEEE Trans. Inf. Forensics Secur. (2021)

Keyphrases

privacy enhancing
personal information
formal proof
lightweight
communication protocol
data sets
theorem proving
formal analysis
coloured petri nets
linear logic
tcp ip
key distribution
security protocols
cryptographic protocols
proof theory
distributed systems
complete axiomatization
social networks
neural network