GlobalPlatform-TEE-Seminar-2015-Prove-Run-Bolignano