Login / Signup
Founding Cryptography on Tamper-Proof Hardware Tokens.
Vipul Goyal
Yuval Ishai
Amit Sahai
Ramarathnam Venkatesan
Akshay Wadia
Published in:
IACR Cryptol. ePrint Arch. (2010)
Keyphrases
</>
low cost
real time
hardware and software
cellular automata
computing systems
massively parallel
image processing
theorem proving
information security
theorem prover
hardware architecture
hardware design
parallel hardware
linear logic
computing power
image quality
data sets