POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Tue 16 Jan 2024 11:22 - 11:45 at Flowers Room - Session 2 Chair(s): Ian Stark

Tue 16 Jan

Displayed time zone: London change

11:00 - 12:30
Session 2POCL at Flowers Room
Chair(s): Ian Stark The University of Edinburgh
11:00
22m
Talk
Compartmentalisation models
POCL
Dapeng Gao University of Cambridge
11:22
23m
Talk
Proving capability safety in the presence of indirect sentries
POCL
June Rousseau Aarhus University, Aina Linn Georges Max Planck Institute for Software Systems (MPI-SWS), Dominique Devriese KU Leuven, Jean Pichon-Pharabod Aarhus University, Lars Birkedal Aarhus University
11:45
22m
Talk
Sealed with a Library Call: Memory Allocators Should Track Capability Seal Operations
POCL
Jeremy Singer University of Glasgow
File Attached
12:08
22m
Talk
Secure Calling Conventions for CHERI Capability Machines in Practice (Work in Progress)
POCL
Elias Storme KU Leuven, Sander Huyghebaert Vrije Universiteit Brussel, Steven Keuchel Vrije Universiteit Brussel, Thomas Van Strydonck KULeuven, Dominique Devriese KU Leuven