Proving Capability Safety in the Presence of Indirect Sentries

Explore a conference talk that delves into proving capability safety when indirect sentries are present. Presented by Bastien Rousseau, Aina Linn Georges, Dominique Devriese, Jean Pichon-Pharabod, and Lars Birkedal at the ACM SIGPLAN event, this 17-minute presentation addresses an important aspect of computer security. Learn about the challenges and methodologies involved in ensuring capability safety in complex systems where indirect sentries play a role. Gain insights into the researchers' approach to this problem and the potential implications for improving security in software development and system design.

[POCL'24] Proving capability safety in the presence of indirect sentries