Scan-free verifiable public-key searchable encryption supporting efficient user updates in distributed systems. (May 2023)