2025-01-01 19:22:24 +01:00
|
|
|
---
|
|
|
|
|
title: "Publications"
|
|
|
|
|
date: 2022-06-13T20:55:37+01:00
|
|
|
|
|
draft: false
|
|
|
|
|
|
|
|
|
|
showDate: false
|
|
|
|
|
showAuthor: false
|
|
|
|
|
showDateOnlyInArticle: false
|
|
|
|
|
showDateUpdated: false
|
|
|
|
|
showHeadingAnchors: false
|
|
|
|
|
showPagination: false
|
|
|
|
|
showReadingTime: false
|
|
|
|
|
showTableOfContents: true
|
|
|
|
|
showTaxonomies: false
|
|
|
|
|
showWordCount: false
|
|
|
|
|
showSummary: false
|
|
|
|
|
sharingLinks: false
|
|
|
|
|
showEdit: false
|
|
|
|
|
showViews: false
|
|
|
|
|
showLikes: false
|
|
|
|
|
layoutBackgroundHeaderSpace: false
|
|
|
|
|
---
|
|
|
|
|
|
|
|
|
|
<table>
|
|
|
|
|
<thead>
|
|
|
|
|
<tr>
|
2025-01-04 12:41:38 +01:00
|
|
|
<th>Logo</th>
|
2025-01-01 19:22:24 +01:00
|
|
|
<th>Institution</th>
|
|
|
|
|
<th>Title</th>
|
|
|
|
|
<th>Type</th>
|
|
|
|
|
<th>Links</th>
|
|
|
|
|
</tr>
|
|
|
|
|
</thead>
|
|
|
|
|
<tbody>
|
|
|
|
|
<tr>
|
|
|
|
|
<td><img class="customEntitityAlbum" style="background-color:transparent" src="fraunhofer.svg" alt="Fraunhofer Logo"/></td>
|
2025-01-04 12:41:38 +01:00
|
|
|
<td>Fraunhofer AISEC</td>
|
2025-01-01 19:22:24 +01:00
|
|
|
<td>Confidential Computing with seL4 on RISC-V</td>
|
|
|
|
|
<td>Bachelor's Thesis</td>
|
|
|
|
|
<td>
|
|
|
|
|
<a target="_blank" href="https://files.ghoscht.com/publications/bachelorarbeit_sel4_cove-submission-v3.pdf">Thesis</a>
|
|
|
|
|
<a target="_blank" href="https://files.ghoscht.com/publications/thesis-presentation-v2-final.pdf">Presentation</a>
|
|
|
|
|
</td>
|
|
|
|
|
</tr>
|
|
|
|
|
</tbody>
|
|
|
|
|
</table>
|
