diff --git a/Foundation/Summit/2024/program.html b/Foundation/Summit/2024/program.html index df872371..0237f743 100644 --- a/Foundation/Summit/2024/program.html +++ b/Foundation/Summit/2024/program.html @@ -289,7 +289,7 @@

Summit

10:30 - 11:00 Talk - seL4 CHERI/Morello port
Hesham Almatary, + Enhancing seL4’s C/C++ userspace memory safety using CHERI
Hesham Almatary, Capabilities Limited diff --git a/_includes/abstracts/2024/cheri-morello.html b/_includes/abstracts/2024/cheri-morello.html index 3a080dc7..ffdc0de6 100644 --- a/_includes/abstracts/2024/cheri-morello.html +++ b/_includes/abstracts/2024/cheri-morello.html @@ -4,7 +4,7 @@ SPDX-License-Identifier: CC-BY-SA-4.0 -->

- seL4 CHERI/Morello port + Enhancing seL4’s C/C++ userspace memory safety using CHERI

Talk