A CHERI C Memory Model for Verified Temporal Safety.

Vadim Zaliva, Kayvan Memarian, Brian Campbell, Ricardo Almeida, Nathaniel Wesley Filardo, Ian Stark, Peter Sewell

Browse the full CPP paper archive.