Login / Signup
Verification of FPGA-augmented trusted computing mechanisms based on Applied Pi Calculus.
Alessandro Cilardo
Andrea Primativo
Published in:
IACR Cryptol. ePrint Arch. (2017)
Keyphrases
</>
real time
trusted computing
databases
distributed systems
web services
model checking
information flow