Steel: Composable Hardware-Based Stateful and Randomised Functional Encryption

Pramod Bhatotia; Markulf Kohlweiss; Lorenzo Martinico; Yiannis Tselekounis

doi:10.1007/978-3-030-75248-4_25

Steel: Composable Hardware-Based Stateful and Randomised Functional Encryption

Pramod Bhatotia, Markulf Kohlweiss, Lorenzo Martinico, Yiannis Tselekounis

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Public-Key Cryptography -- PKC 2021
Editors	Juan A. Garay
Place of Publication	Cham
Publisher	Springer International Publishing
Pages	709-736
Number of pages	28
ISBN (Electronic)	978-3-030-75248-4
ISBN (Print)	978-3-030-75247-7
DOIs	https://doi.org/10.1007/978-3-030-75248-4_25
Publication status	Published - 1 May 2021
Event	24th IACR International Conference on Practice and Theory of Public Key Cryptography - Online Duration: 10 May 2021 → 13 May 2021 https://pkc.iacr.org/2021/

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	12711
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	24th IACR International Conference on Practice and Theory of Public Key Cryptography
Abbreviated title	PKC 2021
Period	10/05/21 → 13/05/21
Internet address	https://pkc.iacr.org/2021/

Access to Document

10.1007/978-3-030-75248-4_25Licence: All Rights Reserved

Steel_BHATOTIA_DOA05022021_AFVAccepted author manuscript, 746 KBLicence: All Rights Reserved

https://link.springer.com/chapter/10.1007%2F978-3-030-75248-4_25Licence: All Rights Reserved

1 Finished

FENTEC-Functional Encryption Technologies
Kiayias, A.
EU government bodies
1/01/18 → 28/02/21
Project: Research

Cite this

@inproceedings{da2df8a3eea2448ea26dd7983c2d7097,

title = "Steel: Composable Hardware-Based Stateful and Randomised Functional Encryption",

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.",

author = "Pramod Bhatotia and Markulf Kohlweiss and Lorenzo Martinico and Yiannis Tselekounis",

year = "2021",

month = may,

day = "1",

doi = "10.1007/978-3-030-75248-4_25",

language = "English",

isbn = "978-3-030-75247-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer International Publishing",

pages = "709--736",

editor = "Garay, {Juan A.}",

booktitle = "Public-Key Cryptography -- PKC 2021",

note = "24th IACR International Conference on Practice and Theory of Public Key Cryptography, PKC 2021 ; Conference date: 10-05-2021 Through 13-05-2021",

url = "https://pkc.iacr.org/2021/",

}

Bhatotia, P, Kohlweiss, M, Martinico, L & Tselekounis, Y 2021, Steel: Composable Hardware-Based Stateful and Randomised Functional Encryption. in JA Garay (ed.), Public-Key Cryptography -- PKC 2021. Lecture Notes in Computer Science, vol. 12711, Springer International Publishing, Cham, pp. 709-736, 24th IACR International Conference on Practice and Theory of Public Key Cryptography, 10/05/21. https://doi.org/10.1007/978-3-030-75248-4_25

Steel: Composable Hardware-Based Stateful and Randomised Functional Encryption. / Bhatotia, Pramod; Kohlweiss, Markulf; Martinico, Lorenzo; Tselekounis, Yiannis.

Public-Key Cryptography -- PKC 2021. ed. / Juan A. Garay. Cham : Springer International Publishing, 2021. p. 709-736 (Lecture Notes in Computer Science; Vol. 12711).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Steel: Composable Hardware-Based Stateful and Randomised Functional Encryption

AU - Bhatotia, Pramod

AU - Kohlweiss, Markulf

AU - Martinico, Lorenzo

AU - Tselekounis, Yiannis

PY - 2021/5/1

Y1 - 2021/5/1

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-030-75248-4_25

DO - 10.1007/978-3-030-75248-4_25

M3 - Conference contribution

SN - 978-3-030-75247-7

T3 - Lecture Notes in Computer Science

SP - 709

EP - 736

BT - Public-Key Cryptography -- PKC 2021

A2 - Garay, Juan A.

PB - Springer International Publishing

CY - Cham

T2 - 24th IACR International Conference on Practice and Theory of Public Key Cryptography

Y2 - 10 May 2021 through 13 May 2021

ER -

Steel: Composable Hardware-Based Stateful and Randomised Functional Encryption

Abstract

Publication series

Conference

Access to Document

Fingerprint

Projects

FENTEC-Functional Encryption Technologies

Cite this