Stateful Order-Preserving Encryption for Secure Cloud Databases | Synapse