Publications

Articles

International Conferences: 1

2018

- Nuno Miguel de Oliveira Duarte and Shileshi Yalew and Nuno Santos and Miguel Correia, Leveraging ARM TrustZone and Verifiable Computing to Provide Auditable Mobile Functions , presented at MobiQuitous, Nov. 2018 [bibTex]

Dissertations

MSc Theses: 1

2017

- Pedro Miguel dos Santos Mendonça advised by Miguel Correia and Shileshi Yalew, Software Authenticity Protection in Smartphones using ARM Trustzone, MSc Thesis, Nov. 2017 [bibTex]