A Case for Enforcing App-Specific Constraints to Mobile Devices by Using Trust Leases. - Nuno Santos 001; Nuno O. Duarte; Miguel B. Costa; Paulo Ferreira 001 (HotOS, 2015)

ARM TrustZone for Secure Image Processing on the Cloud. - Tiago Brito; Nuno O. Duarte; Nuno Santos 001 (SRDS Workshop, 2016)

ShareIff: A Sticky Policy Middleware for Self-Destructing Messages in Android Applications. - Antonio Goulao; Nuno O. Duarte; Nuno Santos 001 (SRDS, 2016)

TrUbi: A System for Dynamically Constraining Mobile Devices within Restrictive Usage Scenarios. - Miguel B. Costa; Nuno O. Duarte; Nuno Santos 001; Paulo Ferreira 001 (MobiHoc, 2017)

HomePad: A Privacy-Aware Smart Hub for Home Environments. - Igor Zavalyshyn; Nuno O. Duarte; Nuno Santos 001 (SEC, 2018)

DBStore: A TrustZone-backed Database Management System for Mobile Applications. - Pedro S. Ribeiro; Nuno Santos 001; Nuno O. Duarte (ICETE (2), 2018)

An Extended Case Study about Securing Smart Home Hubs through N-version Programming. - Igor Zavalyshyn; Nuno O. Duarte; Nuno Santos 001 (ICETE (2), 2018)

Leveraging ARM TrustZone and Verifiable Computing to Provide Auditable Mobile Functions. - Nuno O. Duarte; Sileshi Demesie Yalew; Nuno Santos 001; Miguel Correia 001 (MobiQuitous, 2018)

ERIM: Secure, Efficient In-process Isolation with Protection Keys (MPK). - Anjo Vahldiek-Oberwagner; Eslam Elnikety; Nuno O. Duarte; Michael Sammler; Peter Druschel; Deepak Garg 001 (USENIX Security Symposium, 2019)