Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone. Formal Modeling for Magnetic Resonance Images Tamper Mitigation. In Imre J. Rudas, János Csirik, Carlos Toro 0001, János Botzheim, Robert J. Howlett, Lakhmi C. Jain, editors, Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, Budapest, Hungary, 4-6 September 2019. Volume 159 of Procedia Computer Science, pages 1803-1810, Elsevier, 2019. [doi]
Abstract is missing.