CHERIvoke: Characterising Pointer Revocation using CHERI Capabilities for Temporal Memory Safety.
Hongyan XiaJonathan WoodruffSam AinsworthNathaniel Wesley FilardoMichael RoeAlexander RichardsonPeter RuggPeter G. NeumannSimon W. MooreRobert N. M. WatsonTimothy M. JonesPublished in: MICRO (2019)
Keyphrases
- computational power
- spatio temporal
- data structure
- temporal information
- spatial locality
- memory size
- memory requirements
- temporal reasoning
- temporal constraints
- access control
- memory usage
- temporal data
- temporal ordering
- temporal evolution
- temporal relations
- temporal patterns
- spatial and temporal
- random access
- past experience
- limited memory
- index structure
- temporal dimension
- temporal consistency
- database management systems
- low memory
- image sequences
- cognitive functions
- database