Login / Signup
Weakening the Isolation Assumption of Tamper-proof Hardware Tokens.
Rafael Dowsley
Jörn Müller-Quade
Tobias Nilges
Published in:
CoRR (2015)
Keyphrases
</>
low cost
real time
hardware and software
hardware implementation
theorem proving
data sets
image processing
line segments
computing systems
mathematical proofs
vlsi implementation
theorem prover
computer systems
computing power
processing units
parallel hardware
digital images