StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator.
Antonin ReitzAymeric FromherzJonathan ProtzenkoPublished in: CoRR (2024)
Keyphrases
- information security
- security issues
- intrusion detection
- dynamically created
- access control
- memory usage
- security requirements
- computing power
- security level
- user authentication
- security policies
- windows xp
- security vulnerabilities
- security properties
- memory requirements
- application level
- network management
- data security
- database systems
- optimal allocation
- security protocols
- computer security
- memory space
- key management
- neural network
- sensitive data
- statistical databases
- computational power