Verification of FPGA-augmented trusted computing mechanisms based on Applied Pi Calculus. - Alessandro Cilardo; Andrea Primativo (IACR Cryptol. ePrint Arch., 2017)