Florian Lanzinger, Alexander Weigl. Towards a Formal Approach for Data Minimization in Programs (Short Paper). In Joaquín García-Alfaro, Jose Luis Muñoz-Tapia, Guillermo Navarro-Arribas, Miguel Soriano, editors, Data Privacy Management, Cryptocurrencies and Blockchain Technology - ESORICS 2021 International Workshops, DPM 2021 and CBT 2021, Darmstadt, Germany, October 8, 2021, Revised Selected Papers. Volume 13140 of Lecture Notes in Computer Science, pages 161-169, Springer, 2021. [doi]
Abstract is missing.