@misc{indiciae9e70ceeb5131, title = {Key-Aggregate Searchable Encryption, Revisited: Formal Foundations for Cloud Applications, and Their Implementation}, author = {Masahiro Kamimura and Naoto Yanai and Shingo Okamura and Jason Paul Cruz}, year = {2019}, doi = {10.1109/access.2020.2967793}, url = {https://arxiv.org/abs/1908.11096}, note = {Source identifier: 1908.11096} }