Formal Foundations for SCONE Attestation
Research output: Contribution to conferences › Paper › Contributed › peer-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 language | English |
|---|---|
| Pages | 31-32 |
| Number of pages | 2 |
| Publication status | Published - 1 Jun 2022 |
| Peer-reviewed | Yes |
Conference
| Title | 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks 2022 |
|---|---|
| Abbreviated title | DSN 2022 |
| Conference number | 52 |
| Duration | 27 - 30 June 2022 |
| Website | |
| Degree of recognition | International event |
| City | Baltimore |
| Country | United States of America |
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
ASJC Scopus subject areas
Keywords
- formal specifications, formal verification, securtity of data, trusted computing, SCONE attestation, confidential computing, remote attestation, formal specification and verification