Formal Security Verification for Searchable Symmetric Encryption Using ProVerif.

Takehiko Mieno, Hiroyuki Okazaki, Kenichi Arai, Yuichi Futa, Hiroaki Yamamoto

Browse the full ISITA paper archive.