EP3789902B1 - Secure Device Operating with a Secure Tamper-Resistant Platform, Corresponding System and Computer Program Product