Universal Encoding for Provably Irreversible Data Erasing Topics: Data Protection; Database Security and Privacy; Formal Methods for Security; Personal Data Protection for Information Systems; Security Requirements In Proceedings of the 16th International Joint Conference on e-Business and Telecommunications SECRYPT - Volume 1, 137-148, 2019 , Prague, Czech Republic