Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
Wed 23 Oct 2019 18:33 - 18:45 at Foyer - Competition - Round 1

CHERI is an instruction set extension that adds capability-based addressing. With capability-based addressing, forgeable pointers are replaced by capabilities. Programs have to be able to show they possess an appropriate capability before they can access a memory location.

Linear capabilities are an extension of the idea of regular capabilities. Just like regular capabilities they cannot be forged. Unlike regular capabilities, they additionally cannot be copied or duplicated in any way. Linear capabilities allow us to enforce certain security principles. They can be used to implement a secure calling convention called StkTokens.

In this work we will be designing an ISA extension for CHERI so it can support linear capabilities. We define the semantics of the new and modified instructions. We will also extend QEMU to support this extension. This will then allow us to test our extension with a few basic test programs. While doing this, we pose several questions one should consider when designing an extension of this kind, and propose some possible solutions.

This program is tentative and subject to change.

Wed 23 Oct

splash-2019-SRC
18:00 - 19:30: SRC - Competition - Round 1 at Foyer
splash-2019-SRC18:00 - 18:11
Talk
Beatriz SouzaFederal University of Campina Grande
splash-2019-SRC18:11 - 18:22
Talk
Kalliopi Evangelia StavrouliaCyprus University of Technology, Andreas LanitisCyprus University of Technology
splash-2019-SRC18:22 - 18:33
Talk
Dominik AumayrJohannes Kepler University Linz, Austria
splash-2019-SRC18:33 - 18:45
Talk
Aaron LippeveldtsVrije Universiteit Brussel, Dominique DevrieseVrije Universiteit Brussel
splash-2019-SRC18:45 - 18:56
Talk
Muna AltherwiSouthampton University
splash-2019-SRC18:56 - 19:07
Talk
Florian LatifiJohannes Kepler University Linz
DOI Pre-print
splash-2019-SRC19:07 - 19:18
Talk
Samuel EstepLiberty University, Jenna WiseCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile & Inria Paris, Johannes BaderFacebook
splash-2019-SRC19:18 - 19:30
Talk
Maarten P. SijmDelft University of Technology