| Zdroj: |
Bhatotia, P, Kohlweiss, M, Martinico, L & Tselekounis, Y 2021, Steel: Composable Hardware-Based Stateful and Randomised Functional Encryption . in J A Garay (ed.), Public-Key Cryptography--PKC 2021 . Lecture Notes in Computer Science, vol. 12711, 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 |
| Popis: |
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. |
