Formal Modeling and Verification of Security Properties of a Ransomware-Resistant SSD
-
Published:2022
Issue:
Volume:
Page:1-1
-
ISSN:0278-0070
-
Container-title:IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
-
language:
-
Short-container-title:IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst.
Author:
Tripathy Shivani1ORCID,
Sahoo Debiprasanna2ORCID,
Satpathy Manoranjan1,
Mutyam Madhu3ORCID
Affiliation:
1. Indian Institute of Technology (IIT) Bhubaneswar, India
2. IIT Roorkee, India
3. IIT Madras, India
Funder
SPARC project 712 on Memory system modeling and statistical verification
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Software