Enhancing Data Protection in Dynamic Consent Management Systems: Formalizing Privacy and Security Definitions with Differential Privacy, Decentralization, and Zero-Knowledge Proofs[J] SENSORS 2023(23) Khalid, Muhammad Irfan Ahmed, Mansoor Kim, Jungsuk