Private Analytics via Streaming, Sketching, and Silently Verifiable Proofs.
Mayank RatheeYuwen ZhangHenry Corrigan-GibbsRaluca Ada PopaPublished in: IACR Cryptol. ePrint Arch. (2024)
Keyphrases
- learning analytics
- data streams
- business intelligence
- case study
- sufficient conditions
- data management
- privacy preserving
- streaming data
- theorem prover
- real time streaming
- sketch recognition
- real time
- formal proofs
- private data
- video streaming
- big data analytics
- theorem proving
- social media
- big data
- information retrieval
- video streams
- visual analytics
- predictive modeling
- cloud computing
- data warehouse
- streaming video
- streaming media
- public private
- data streaming
- data mining