Login / Signup
Key-Aggregate Searchable Encryption, Revisited: Formal Foundations for Cloud Applications, and Their Implementation.
Masahiro Kamimura
Naoto Yanai
Shingo Okamura
Jason Paul Cruz
Published in:
CoRR (2019)
Keyphrases
</>
artificial intelligence
cloud computing
formal methods
computing platform
high security
information systems
digital libraries
formal model
security analysis
digital signature