Steel: Composable Hardware-Based Stateful and Randomised Functional Encryption

Pramod Bhatotia, Markulf Kohlweiss, Lorenzo Martinico, Yiannis Tselekounis

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Trusted execution environments (TEEs) enable secure execution of programs on untrusted hosts and cryptographically attest the correctness of outputs. As these are complex systems, it is essential to formally capture the exact security achieved by protocols employing TEEs, and ultimately, prove their security under composition, as TEEs are typically employed in multiple protocols, simultaneously.
Original languageEnglish
Title of host publicationPublic-Key Cryptography -- PKC 2021
EditorsJuan A. Garay
Place of PublicationCham
PublisherSpringer International Publishing
Pages709-736
Number of pages28
ISBN (Electronic)978-3-030-75248-4
ISBN (Print)978-3-030-75247-7
DOIs
Publication statusPublished - 1 May 2021
Event24th IACR International Conference on Practice and Theory of Public Key Cryptography - Online
Duration: 10 May 202113 May 2021
https://pkc.iacr.org/2021/

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume12711
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference24th IACR International Conference on Practice and Theory of Public Key Cryptography
Abbreviated titlePKC 2021
Period10/05/2113/05/21
Internet address

Fingerprint

Dive into the research topics of 'Steel: Composable Hardware-Based Stateful and Randomised Functional Encryption'. Together they form a unique fingerprint.

Cite this