Loosely-Coupled, Mobile Replication of Objects with Transactions. - Luís Veiga; Nuno Santos 001; Ricardo Lebre; Paulo Ferreira 001 (ICPADS, 2004)

Transaction Policies for Mobile Networks. - Nuno Santos 001; Luís Veiga; Paulo Ferreira 001 (POLICY, 2004)

Making Distributed Transactions Resilient to Intermittent Network Connections. - Nuno Santos 001; Paulo Ferreira 001 (WOWMOM, 2006)

Vector-Field Consistency for Ad-Hoc Gaming. - Nuno Santos 001; Luís Veiga; Paulo Ferreira 001 (Middleware, 2007)

Towards Trusted Cloud Computing. - Nuno Santos 001; Krishna P. Gummadi; Rodrigo Rodrigues 001 (HotCloud, 2009)

NetEx: efficient and cost-effective internet bulk content delivery. - Massimiliano Marcon; Nuno Santos 001; P. Krishna Gummadi; Nikolaos Laoutaris; Pablo Rodriguez 001; Amin Vahdat (ANCS, 2010)

Unifying divergence bounding and locality awareness in replicated systems with vector-field consistency. - Luís Veiga; André Pessoa Negrão; Nuno Santos 001; Paulo Ferreira 001 (J. Internet Serv. Appl., 2010)

Trusted language runtime (TLR): enabling trusted applications on smartphones. - Nuno Santos 001; Himanshu Raj; Stefan Saroiu; Alec Wolman (HotMobile, 2011)

Enhancing the OS against Security Threats in System Administration. - Nuno Santos 001; Rodrigo Rodrigues 001; Bryan Ford (Middleware, 2012)

Policy-Sealed Data: A New Abstraction for Building Trusted Cloud Services. - Nuno Santos 001; Rodrigo Rodrigues 001; Krishna P. Gummadi; Stefan Saroiu (USENIX Security Symposium, 2012)

Verifying cloud services: present and future. - Sara Bouchenak; Gregory V. Chockler; Hana Chockler; Gabriela Gheorghe; Nuno Santos 001; Alexander Shraer (ACM SIGOPS Oper. Syst. Rev., 2013)

Using ARM trustzone to build a trusted language runtime for mobile applications. - Nuno Santos 001; Himanshu Raj; Stefan Saroiu; Alec Wolman (ASPLOS, 2014)

Leveraging Trusted Computing and Model Checking to Build Dependable Virtual Machines. - Nuno Santos 001; Nuno P. Lopes (HotDep, 2014)

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)

Termite: Emulation Testbed for Encounter Networks. - Rodrigo Bruno; Nuno Santos 001; Paulo Ferreira 001 (EAI Endorsed Trans. Ambient Syst., 2015)

P-Cop: A Cloud Administration Proxy to Enforce Bipartite Maintenance of PaaS Services. - Bruno Braga; Nuno Santos 001 (CLOUD, 2016)

Global Identity and Reachability Framework for Interoperable P2P Communication Services. - Ibrahim Tariq Javed; Rebecca Copeland; Noël Crespi; Felix Beierle; Sebastian Göndör; Axel Küpper; Ahmed Bouabdallah; Marc Emmelmann; Andreea Ancuta Corici; Kevin Corre; Jean-Michel Crom; Frank Oberle; et al. (ICIN, 2016)

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)

Storekeeper: A Security-Enhanced Cloud Storage Aggregation Service. - Sancha Pereira; André Alves; Nuno Santos 001; Ricardo Chaves (SRDS, 2016)

Decentralized Communications: Trustworthy interoperability in peer-to-peer networks. - Paulo Chainho; Steffen Druesedow; Ricardo Lopes Pereira; Ricardo Chaves; Nuno Santos 001; Kay Haensge; Antón Román Portabales (EuCNC, 2017)

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)

Forensic Analysis of Communication Records of Web-based Messaging Applications from Physical Memory. - Diogo Barradas; Tiago Brito; David Duarte; Nuno Santos 001; Luís E. T. Rodrigues (SECRYPT, 2017)

Cross-domain identity and discovery framework for web calling services. - Ibrahim Tariq Javed; Rebecca Copeland; Noël Crespi; Marc Emmelmann; Andreea Ancuta Corici; Ahmed Bouabdallah; Tuo Zhang; Saad El Jaouhari; Felix Beierle; Sebastian Göndör; Axel Küpper; Kevin Corre; et al. (Ann. des Télécommunications, 2017)

DeltaShaper: Enabling Unobservable Censorship-resistant TCP Tunneling over Videoconferencing Streams. - Diogo Barradas; Nuno Santos 001; Luís E. T. Rodrigues (Proc. Priv. Enhancing Technol., 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)

Effective Detection of Multimedia Protocol Tunneling using Machine Learning. - Diogo Barradas; Nuno Santos 001; Luís E. T. Rodrigues (USENIX Security Symposium, 2018)

Forensic analysis of communication records of messaging applications from physical memory. - Diogo Barradas; Tiago Brito; David Duarte; Nuno Santos 001; Luís E. T. Rodrigues (Comput. Secur., 2019)

Demystifying Arm TrustZone: A Comprehensive Survey. - Sandro Pinto 001; Nuno Santos 001 (ACM Comput. Surv., 2019)

Poking a Hole in the Wall: Efficient Censorship-Resistant Internet Communications by Parasitizing on WebRTC. - Diogo Barradas; Nuno Santos 001; Luís E. T. Rodrigues; Vítor Nunes (CCS, 2020)

Towards a Scalable Censorship-Resistant Overlay Network based on WebRTC Covert Channels. - Diogo Barradas; Nuno Santos 001 (DICG@Middleware, 2020)

My House, My Rules: A Private-by-Design Smart Home Platform. - Igor Zavalyshyn; Nuno Santos 001; Ramin Sadre; Axel Legay (MobiQuitous, 2020)

Censorship-resistant web annotations based on ethereum and IPFS. - João Santos; Nuno Santos 001; David Dias (SAC, 2020)

SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems. - David Cerdeira; Nuno Santos 001; Pedro Fonseca 001; Sandro Pinto 001 (SP, 2020)

Flowverine: Leveraging Dataflow Programming for Building Privacy-Sensitive Android Applications. - Eduardo Gomes; Igor Zavalyshyn; Nuno Santos 001; João Silva; Axel Legay (TrustCom, 2020)

FlowLens: Enabling Efficient Flow Classification for ML-based Network Security Applications. - Diogo Barradas; Nuno Santos 001; Luís Rodrigues 001; Salvatore Signorello; Fernando M. V. Ramos; André Madeira (NDSS, 2021)

Stegozoa: Enhancing WebRTC Covert Channels with Video Steganography for Internet Censorship Circumvention. - Gabriel Figueira; Diogo Barradas; Nuno Santos 001 (AsiaCCS, 2022)

Poster: A Systems Approach to GDPR Compliance-by-Design in Web Development Stacks. - Mafalda Ferreira; Tiago Brito; José Fragoso Santos; Nuno Santos 001 (CCS, 2022)

Poster: User Sessions on Tor Onion Services: Can Colluding ISPs Deanonymize Them at Scale? - Daniela Lopes; Pedro Medeiros; Jin-Dong Dong; Diogo Barradas; Bernardo Portela; João Vinagre; Bernardo Ferreira; Nicolas Christin; Nuno Santos 001 (CCS, 2022)

Concolic Execution for WebAssembly. - Filipe Marques; José Fragoso Santos; Nuno Santos 001; Pedro Adão (ECOOP, 2022)

Secure and Policy-Compliant Query Processing on Heterogeneous Computational Storage Architectures. - Harshavardhan Unnibhavi; David Cerdeira; Antonio Barbalace; Nuno Santos 001; Pramod Bhatotia (SIGMOD Conference, 2022)

ReZone: Disarming TrustZone with TEE Privilege Reduction. - David Cerdeira; José Martins; Nuno Santos 001; Sandro Pinto 001 (USENIX Security Symposium, 2022)

Wasmati: An efficient static vulnerability scanner for WebAssembly. - Tiago Brito; Pedro Lopes; Nuno Santos 001; José Fragoso Santos (Comput. Secur., 2022)

Concolic Execution for WebAssembly (Artifact). - Filipe Marques; José Fragoso Santos; Nuno Santos 001; Pedro Adão (Dagstuhl Artifacts Ser., 2022)

Trusted Heterogeneous Disaggregated Architectures. - Atsushi Koshiba; Felix Gust; Julian Pritzi; Anjo Vahldiek-Oberwagner; Nuno Santos 001; Pramod Bhatotia (APSys, 2023)

RuleKeeper: GDPR-Aware Personal Data Compliance for Web Frameworks. - Mafalda Ferreira; Tiago Brito; José Fragoso Santos; Nuno Santos 001 (SP, 2023)

TIGER: Tor Traffic Generator for Realistic Experiments. - Daniela Lopes; Daniel Castro 004; Diogo Barradas; Nuno Santos 001 (WPES@CCS, 2023)

From Prompt Injections to SQL Injection Attacks: How Protected is Your LLM-Integrated Web Application? - Rodrigo Pedro; Daniel Castro 004; Paulo Carreira 001; Nuno Santos 001 (CoRR, 2023)

Enhancing the Unlinkability of Circuit-Based Anonymous Communications with k-Funnels. - Vítor Nunes; José Brás; Afonso Carvalho; Diogo Barradas; Kevin Gallagher 001; Nuno Santos 001 (PACMNET, 2023)

Study of JavaScript Static Analysis Tools for Vulnerability Detection in Node.js Packages. - Tiago Brito; Mafalda Ferreira; Miguel Monteiro; Pedro Lopes; Miguel Barros; José Fragoso Santos; Nuno Santos 001 (IEEE Trans. Reliab., 2023)

An Empirical Study of DevSecOps Focused on Continuous Security Testing. - Clarisse Feio; Nuno Santos 001; Nelson Escravana; Bernardo Pacheco (EuroS&P Workshops, 2024)

Flow Correlation Attacks on Tor Onion Service Sessions with Sliding Subset Sum. - Daniela Lopes; Jin-Dong Dong; Pedro Medeiros; Daniel Castro 004; Diogo Barradas; Bernardo Portela; João Vinagre; Bernardo Ferreira; Nicolas Christin; Nuno Santos 001 (NDSS, 2024)

Extending C2 Traffic Detection Methodologies: From TLS 1.2 to TLS 1.3-enabled Malware. - Diogo Barradas; Carlos Novo; Bernardo Portela; Sofia Romeiro; Nuno Santos 001 (RAID, 2024)

Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs. - Mafalda Ferreira; Miguel Monteiro; Tiago Brito; Miguel E. Coimbra; Nuno Santos 001; Limin Jia 001; José Fragoso Santos (Proc. ACM Program. Lang., 2024)

Confidential VMs Explained: An Empirical Analysis of AMD SEV-SNP and Intel TDX. - Masanori Misono; Dimitrios Stavrakakis; Nuno Santos 001; Pramod Bhatotia (Proc. ACM Meas. Anal. Comput. Syst., 2024)

Prompt-to-SQL Injections in LLM-Integrated Web Applications: Risks and Defenses. - Rodrigo Pedro; Miguel E. Coimbra; Daniel Castro 004; Paulo Carreira 001; Nuno Santos 001 (ICSE, 2025)

AnyTEE: An Open and Interoperable Software Defined TEE Framework. - David Cerdeira; José Martins; Nuno Santos 001; Sandro Pinto 001 (IEEE Access, 2025)

Automated Exploit Generation for Node.js Packages. - Filipe Marques; Mafalda Ferreira; André Nascimento; Miguel E. Coimbra; Nuno Santos 001; Limin Jia 001; José Fragoso Santos (Proc. ACM Program. Lang., 2025)