Login / Signup

The Secret Processor Will Go to the Ball: Benchmark Insider-Proof Encrypted Computing.

Peter T. BreuerJonathan P. BowenEsther PalomarZhiming Liu
Published in: EuroS&P Workshops (2018)
Keyphrases
  • high speed
  • neural network
  • real world
  • real time
  • theorem prover
  • information systems
  • theorem proving
  • comparative analysis
  • multi core processors
  • multiprocessor systems