Shivani Tripathy, Debiprasanna Sahoo, Manoranjan Satpathy, Madhu Mutyam. Formal Modeling and Verification of Security Properties of a Ransomware-Resistant SSD. IEEE Trans. on CAD of Integrated Circuits and Systems, 42(8):2766-2770, 2023. [doi]
Abstract is missing.