1. F. Alder , A. Kurnikov , A. Paverd , and N. Asokan . 2018. Migrating SGX Enclaves with Persistent State . In Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 195--206 . F. Alder, A. Kurnikov, A. Paverd, and N. Asokan. 2018. Migrating SGX Enclaves with Persistent State. In Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 195--206.
2. ARM. 2021. Attestation Verification Service /veraison). https://github.com/veraison/veraison. ARM. 2021. Attestation Verification Service /veraison). https://github.com/veraison/veraison.
3. Hardware-assisted Trusted Execution Environments
4. Mobile Trusted Computing
5. G. Averlant , B. Morgan , E. Alata , V. Nicomette , and M. Kaâniche . 2017. An abstraction model and a comparative analysis of Intel and ARM hardware isolation mechanisms . In Proc. of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017 ). IEEE. G. Averlant, B. Morgan, E. Alata, V. Nicomette, and M. Kaâniche. 2017. An abstraction model and a comparative analysis of Intel and ARM hardware isolation mechanisms. In Proc. of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017). IEEE.