Formal Foundations for SCONE Attestation

Publikation: Beitrag zu KonferenzenPaperBeigetragenBegutachtung

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

Details

OriginalspracheEnglisch
Seiten31-32
Seitenumfang2
PublikationsstatusVeröffentlicht - 1 Juni 2022
Peer-Review-StatusJa

Konferenz

Titel2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S)
Dauer27 - 30 Juni 2022
BekanntheitsgradInternationale Veranstaltung
StadtBaltimore
LandUSA/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

Schlagwörter

  • formal specifications, formal verification, securtity of data, trusted computing, SCONE attestation, confidential computing, remote attestation, formal specification and verification