Pages that link to "Item:Q5738880"

From MaRDI portal

← Formal Abstractions for Attested Execution Secure Processors (Q5738880)

Jump to:navigation, search

The following pages link to Formal Abstractions for Attested Execution Secure Processors (Q5738880):

Displaying 3 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)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere/Item:Q5738880"