Cryptographic Foundations of Pseudonymisation for Personal Data Protection | Synapse