ProximiTEE: Hardened SGX Attestation by Proximity Verification.

Aritra Dhar Ivan Puddu Kari Kostiainen Srdjan Capkun

Published in: CODASPY (2020)

Keyphrases

asynchronous circuits
model checking
computer vision
cryptographic protocols
database
data sets
databases
genetic algorithm
digital images
formal verification
trusted computing