Proving Capability Safety in the Presence of Indirect Sentries
Offered By: ACM SIGPLAN via YouTube
Course Description
Overview
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.
Syllabus
[POCL'24] Proving capability safety in the presence of indirect sentries
Taught by
ACM SIGPLAN
Related Courses
Cybersecurity and Its Ten DomainsUniversity System of Georgia via Coursera Bases de données relationnelles : Comprendre pour maîtriser
Inria (French Institute for Research in Computer Science and Automation) via France Université Numerique Desarrollo de Aplicaciones Web: Seguridad
University of New Mexico via Coursera Web Application Development: Security
University of New Mexico via Coursera Computing, Storage and Security with Google Cloud Platform
Google via Coursera