Cornucopia: Temporal Safety for CHERI Heaps.
Nathaniel Wesley FilardoBrett F. GutsteinJonathan WoodruffSam AinsworthLucian Paul-TrifuBrooks DavisHongyan XiaEdward Tomasz NapieralaAlexander RichardsonJohn BaldwinDavid ChisnallJessica ClarkeKhilan GudkaAlexandre JoannouA. Theodore MarkettosAlfredo MazzinghiRobert M. NortonMichael RoePeter SewellStacey D. SonTimothy M. JonesSimon W. MoorePeter G. NeumannRobert N. M. WatsonPublished in: IEEE Symposium on Security and Privacy (2020)
Keyphrases
- spatio temporal
- temporal constraints
- temporal information
- temporal reasoning
- temporal consistency
- temporal databases
- temporal data
- spatial and temporal
- real time
- temporal evolution
- space time
- database
- health care
- artificial neural networks
- temporal patterns
- website
- information systems
- real world
- time stamped
- temporal analysis
- temporal order