Weakening the Isolation Assumption of Tamper-Proof Hardware Tokens.

Rafael Dowsley Jörn Müller-Quade Tobias Nilges

Published in: ICITS (2015)

Keyphrases

real time
low cost
hardware and software
massively parallel
image processing
learning algorithm
theorem prover
database
hardware implementation
linear logic
feature selection
bayesian networks
data processing
data acquisition
theorem proving
processing units
hardware design
hardware architecture
vlsi implementation