Verifiable ASICs.

Riad S. Wahby Max Howald Siddharth Garg Abhi Shelat Michael Walfish

Published in: IEEE Symposium on Security and Privacy (2016)

Keyphrases

physical design
sufficient conditions
embedded systems
field programmable gate array
secret sharing
general purpose processors
general purpose
application specific integrated circuits
case study
data structure