Leaking Arbitrarily Many Secrets: Any-out-of-Many Proofs and Applications to RingCT Protocols.
Tianyu ZhengShang GaoBin XiaoYubo SongPublished in: IACR Cryptol. ePrint Arch. (2021)
Keyphrases
- sensitive information
- communication protocol
- third party
- formal proofs
- communication protocols
- interactive theorem proving
- machine learning
- mathematical proofs
- information systems
- theorem prover
- theorem proving
- formal proof
- search engine optimization
- multi party
- cryptographic protocols
- decision procedures
- security protocols
- data sets
- metadata
- artificial intelligence
- real world