Pages that link to "Item:Q5738880"
From MaRDI portal
The following pages link to Formal Abstractions for Attested Execution Secure Processors (Q5738880):
Displaying 7 items.
- Steel: composable hardware-based stateful and randomised functional encryption (Q2061984) (← links)
- CryptHOL: game-based proofs in higher-order logic (Q2175214) (← links)
- Formal Abstractions for Attested Execution Secure Processors (Q5738880) (← links)
- Fair delivery of decentralised randomness beacon (Q6573966) (← links)
- Synchronizable fair exchange (Q6581797) (← links)
- Practically efficient private set intersection from trusted hardware with side-channels (Q6604877) (← links)
- Universal composable transaction serialization with order fairness (Q6648204) (← links)
