Sign in

ProximiTEE: Hardened SGX Attestation by Proximity Verification.

Aritra DharIvan PudduKari KostiainenSrdjan 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