Practical Backward-Secure Searchable Encryption from Symmetric Puncturable Encryption | Synapse