Formal Foundations for SCONE Attestation

Research output: Contribution to conferencesPaperContributedpeer-review

Contributors

Abstract

One of the essential features of confidential computing is the ability to attest to an application remotely. Our work focuses on ensuring correctness of attestation mechanisms and policies.

Details

Original languageEnglish
Pages31-32
Number of pages2
Publication statusPublished - 1 Jun 2022
Peer-reviewedYes

Conference

Title2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S)
Duration27 - 30 June 2022
Degree of recognitionInternational event
CityBaltimore
CountryUnited States

External IDs

Scopus 85136106587
unpaywall 10.1109/dsn-s54099.2022.00020
Mendeley ae2dd17f-bb80-3421-898c-781bf9e0aef5
dblp conf/dsn/SardarF22

Keywords

Research priority areas of TU Dresden

DFG Classification of Subject Areas according to Review Boards

Keywords

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