Formal Foundations for SCONE Attestation
Publikation: Beitrag zu Konferenzen › Paper › Beigetragen › Begutachtung
Beitragende
Abstract
One of the essential features of confidential comput- ing is the ability to attest to an application remotely. Our work focuses on ensuring correctness of attestation mechanisms and policies.
Index Terms—confidential computing, remote attestation, for- mal specification and verification
Index Terms—confidential computing, remote attestation, for- mal specification and verification
Details
| Originalsprache | Englisch |
|---|---|
| Seiten | 31-32 |
| Seitenumfang | 2 |
| Publikationsstatus | Veröffentlicht - 1 Juni 2022 |
| Peer-Review-Status | Ja |
Konferenz
| Titel | 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks |
|---|---|
| Kurztitel | DSN 2022 |
| Veranstaltungsnummer | 52 |
| Dauer | 27 - 30 Juni 2022 |
| Webseite | |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | Renaissance Harborplace Hotel |
| Stadt | Baltimore |
| Land | USA/Vereinigte Staaten |
Externe IDs
| Scopus | 85136106587 |
|---|---|
| unpaywall | 10.1109/dsn-s54099.2022.00020 |
| Mendeley | ae2dd17f-bb80-3421-898c-781bf9e0aef5 |
| dblp | conf/dsn/SardarF22 |
Schlagworte
Forschungsprofillinien der TU Dresden
DFG-Fachsystematik nach Fachkollegium
ASJC Scopus Sachgebiete
Schlagwörter
- formal specifications, formal verification, securtity of data, trusted computing, SCONE attestation, confidential computing, remote attestation, formal specification and verification