RV-TEE: secure cryptographic protocol execution based on runtime verification. - Mark Vella; Christian Colombo 001; Robert Abela; Peter Spacek (J. Comput. Virol. Hacking Tech., 2021)