Secrecy-Verifiability Paradox in Smart Contracts.

Ha-Thanh Nguyen

Published in: CoRR (2022)

Keyphrases

security properties
formal model
database
information systems
security requirements
real time
supply chain
key management
security analysis
security protocols
artificial intelligence
multiscale
cryptographic protocols
moral hazard