Raul Sánchez-Reillo: Tamper-Proof Operating System. Encyclopedia of Biometrics 2015: 1517-1523