Pages that link to "Item:Q2061984"
From MaRDI portal
The following pages link to Steel: composable hardware-based stateful and randomised functional encryption (Q2061984):
Displaying 4 items.
- Verifiable functional encryption using Intel SGX (Q2697922) (← links)
- A Symbolic Model for Systematically Analyzing TEE-Based Protocols (Q6485814) (← links)
- (Continuous) Non-malleable Codes for Partial Functions with Manipulation Detection and Light Updates (Q6489333) (← links)
- Practically efficient private set intersection from trusted hardware with side-channels (Q6604877) (← links)