Queinnec, H. (2023). Secure Deletion of Sensitive Data in Protocol Implementations