auto-deployed

seL4 · Aug 23, 2024 · 728000c · 728000c
1 parent 00980e8
commit 728000c
Show file tree

Hide file tree

Showing 3 changed files with 134 additions and 134 deletions.
diff --git a/Foundation/Summit/2024/abstracts2024.html b/Foundation/Summit/2024/abstracts2024.html
@@ -728,7 +728,7 @@ <h4 class="summit-abstract-title">
     SPDX-License-Identifier: CC-BY-SA-4.0
 -->
 <h4 class="summit-abstract-title">
-    seL4 CHERI/Morello port
+    Enhancing seL4’s C/C++ userspace memory safety using CHERI
 </h4>
 <p class="summit-abstract-type">
     Talk

diff --git a/Foundation/Summit/2024/program.html b/Foundation/Summit/2024/program.html
@@ -374,7 +374,7 @@ <h4>Summit</h4>
   <tr id="p-cheri-morello">
     <td>10:30 - 11:00</td>
     <td>Talk</td>
-    <td><a href="abstracts2024.html#a-cheri-morello">seL4 CHERI/Morello port</a><br><span class="summit-abstract-presenter">Hesham Almatary</span>,
+    <td><a href="abstracts2024.html#a-cheri-morello">Enhancing seL4’s C/C++ userspace memory safety using CHERI</a><br><span class="summit-abstract-presenter">Hesham Almatary</span>,
     <span class="summit-abstract-affiliation">Capabilities Limited</span>
     </td>
   </tr>