Leaking Arbitrarily Many Secrets: Any-out-of-Many Proofs and Applications to RingCT Protocols.
Tianyu ZhengShang GaoYubo SongBin XiaoPublished in: SP (2023)
Keyphrases
- sensitive information
- privacy preserving
- third party
- multi party
- database
- theorem proving
- real time
- knowledge representation
- social networks
- original data
- data mining
- databases
- data sets
- search engine optimization
- decision procedures
- communication protocols
- key agreement protocol
- formal proofs
- voting protocols
- asked questions