Publications

2 results for Kenneth G. Paterson

A Formal Treatment of End-to-End Encrypted Cloud Storage
- - Matilda Backendal
  - Hannah Davis
  - et al.
- 2024
- CRYPTO 2024
SWiSSSE: System-Wide Security for Searchable Symmetric Encryption
- - Zichen Gui
  - Kenneth G. Paterson
  - et al.
- 2024
- PETS 2024