Formal Modeling for Magnetic Resonance Images Tamper Mitigation.

Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone

Browse the full KES paper archive.