SecVerifier: A Practical Memory-Security Verifier.
Lu ZhaoLingyun XuGuojing LuoXiang LongJinhai GongXiaobo SangPublished in: QRS Companion (2021)
Keyphrases
- real world
- security issues
- intrusion detection
- information security
- java card
- security systems
- computer security
- security problems
- malware detection
- main memory
- memory requirements
- security policies
- memory size
- data sets
- limited memory
- security analysis
- memory space
- security mechanisms
- network security
- database management systems
- access control
- distributed systems
- neural network