Steel: composable hardware-based stateful and randomised functional encryption

DOI10.1007/978-3-030-75248-4_25MaRDI QIDQ2061984zbMATH OpenOpenAlexFDO

Authors Pramod Bhatotia, Markulf Kohlweiss, Lorenzo Martinico, Yiannis Tselekounis

Publication date 21 December 2021

Full work available at URL https://www.research.ed.ac.uk/en/publications/da2df8a3-eea2-448e-a26d-d7983c2d7097

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Recommendations

• Formal abstractions for attested execution secure processors
• Verifiable functional encryption using Intel SGX
• Functional encryption from (small) hardware tokens
• Functional encryption for randomized functionalities
• Verifiable functional encryption

Cites work

• Bitcoin as a transaction ledger: a composable treatment
• Decentralized multi-client functional encryption for inner product
• Decentralizing inner-product functional encryption
• Formal abstractions for attested execution secure processors
• Functional encryption for randomized functionalities
• Functional encryption for randomized functionalities in the private-key setting from minimal assumptions
• Functional encryption from (small) hardware tokens
• Functional encryption: definitions and challenges
• Functional encryption: deterministic to randomized functions from simple assumptions
• Functional encryption: new perspectives and lower bounds
• Fuzzy Identity-Based Encryption
• Identity-based cryptosystems and signature schemes
• Non-malleable codes for partial functions with manipulation detection
• Online Authenticated-Encryption and its Nonce-Reuse Misuse-Resistance
• Resettable public-key encryption: how to encrypt on a virtual machine
• Secure outsourcing of cryptographic circuits manufacturing
• Tamper resilient circuits: the adversary at the gates
• Universal composition with global subroutines: capturing global setup within plain UC
• Universally Composable Authentication and Key-Exchange with Global PKI
• Universally Composable Security with Global Setup

Cited in

(6)

• Practically efficient private set intersection from trusted hardware with side-channels
• (Multi-input) \textsf{FE} for randomized functionalities, revisited
• Formal abstractions for attested execution secure processors
• A Symbolic Model for Systematically Analyzing TEE-Based Protocols
• (Continuous) Non-malleable Codes for Partial Functions with Manipulation Detection and Light Updates
• Verifiable functional encryption using Intel SGX

This page was built for publication: Steel: composable hardware-based stateful and randomised functional encryption

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2061984)