SMART: Secure Magnetoelectric AntifeRromagnet-Based Tamper-Proof Non-Volatile Memory.
Nikhil RangarajanSatwik PatnaikJohann KnechtelOzgur SinanogluShaloo RakhejaPublished in: CoRR (2019)
Keyphrases
- main memory
- security level
- security properties
- data storage
- database management systems
- file system
- security analysis
- memory space
- memory usage
- memory size
- standard model
- flash memory
- computing power
- smart environments
- security issues
- theorem proving
- memory management
- memory requirements
- linear logic
- forward secure
- multi dimensional
- security requirements
- index structure