Secure Deletion of Sensitive Data in Protocol Implementations - Queinnec, Hugo (2023)