Nuno Santos

71 papers A* 12A 7B 6C 4Misc 4Journal 22Unranked 16
YearRankTypeTitle / Venue / Authors
2026 J jnl
Evidence of political bias in search engines and language models before major elections.
CoRR
Íris Damião, Paulo Almeida, João Franco, Nuno Santos, Pedro C. Magalhães, Joana Gonçalves-Sá
2026 — conf
Skyler: Static Analysis for Predicting API-Driven Costs in Serverless Applications.
ASPLOS (2)
Bernardo Ribeiro, Mafalda Ferreira, José Fragoso Santos, Rodrigo Bruno, Nuno Santos
2026 — conf
Smt.ml: A Multi-Backend Frontend for SMT Solvers in OCaml.
TACAS (1)
João Madeira Pereira, Filipe Marques, Pedro Adão, Hichem Rami Ait El Hara, Léo Andrès, Arthur Carcano, Pierre Chambart, Petar Maksimovic, Nuno Santos, José Fragoso Santos
2026 J jnl
Unequal Content: Search Engine Personalization Influences Exposure to Information Regarding the Israel-Palestine Conflict.
IEEE Access
Íris Damião, José M. Reis, Paulo Almeida, Nuno Santos, Joana Gonçalves-Sá
2025 J jnl
AnyTEE: An Open and Interoperable Software Defined TEE Framework.
IEEE Access
David Cerdeira, José Martins, Nuno Santos, Sandro Pinto
2025 J jnl
Automated Exploit Generation for Node.js Packages.
Proc. ACM Program. Lang.
Filipe Marques, Mafalda Ferreira, André Nascimento, Miguel E. Coimbra, Nuno Santos, Limin Jia, José Fragoso Santos
2025 — conf
Confidential VMs Explained: An Empirical Analysis of AMD SEV-SNP and Intel TDX.
SIGMETRICS (Abstracts)
Masanori Misono, Dimitrios Stavrakakis, Nuno Santos, Pramod Bhatotia
2025 A* conf
Prompt-to-SQL Injections in LLM-Integrated Web Applications: Risks and Defenses.
ICSE
Rodrigo Pedro, Miguel E. Coimbra, Daniel Castro, Paulo Carreira, Nuno Santos
2025 A conf
Sounds Vishy: Automating Vishing Attacks with AI-Powered Systems.
AsiaCCS
João Figueiredo, Afonso Carvalho, Daniel Castro, Daniel Gonçalves, Nuno Santos
2025 J jnl
Trusted AI Agents in the Cloud.
CoRR
Teofil Bodea, Masanori Misono, Julian Pritzi, Patrick Sabanic, Thore Sommer, Harshavardhan Unnibhavi, David Schall, Nuno Santos, Dimitrios Stavrakakis, Pramod Bhatotia
2024 — conf
An Empirical Study of DevSecOps Focused on Continuous Security Testing.
EuroS&P Workshops
Clarisse Feio, Nuno Santos, Nelson Escravana, Bernardo Pacheco
2024 J jnl
Confidential VMs Explained: An Empirical Analysis of AMD SEV-SNP and Intel TDX.
Proc. ACM Meas. Anal. Comput. Syst.
Masanori Misono, Dimitrios Stavrakakis, Nuno Santos, Pramod Bhatotia
2024 J jnl
Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs.
Proc. ACM Program. Lang.
Mafalda Ferreira, Miguel Monteiro, Tiago Brito, Miguel E. Coimbra, Nuno Santos, Limin Jia, José Fragoso Santos
2024 A conf
Extending C2 Traffic Detection Methodologies: From TLS 1.2 to TLS 1.3-enabled Malware.
RAID
Diogo Barradas, Carlos Novo, Bernardo Portela, Sofia Romeiro, Nuno Santos
2024 A* conf
Flow Correlation Attacks on Tor Onion Service Sessions with Sliding Subset Sum.
NDSS
Daniela Lopes, Jin-Dong Dong, Pedro Medeiros, Daniel Castro, Diogo Barradas, Bernardo Portela, João Vinagre, Bernardo Ferreira, Nicolas Christin, Nuno Santos
2023 J jnl
Enhancing the Unlinkability of Circuit-Based Anonymous Communications with k-Funnels.
PACMNET
Vítor Nunes, José Brás, Afonso Carvalho, Diogo Barradas, Kevin Gallagher, Nuno Santos
2023 J jnl
From Prompt Injections to SQL Injection Attacks: How Protected is Your LLM-Integrated Web Application?
CoRR
Rodrigo Pedro, Daniel Castro, Paulo Carreira, Nuno Santos
2023 A* conf
RuleKeeper: GDPR-Aware Personal Data Compliance for Web Frameworks.
SP
Mafalda Ferreira, Tiago Brito, José Fragoso Santos, Nuno Santos
2023 J jnl
Study of JavaScript Static Analysis Tools for Vulnerability Detection in Node.js Packages.
CoRR
Tiago Brito, Mafalda Ferreira, Miguel Monteiro, Pedro Lopes, Miguel Barros, José Fragoso Santos, Nuno Santos
2023 J jnl
Study of JavaScript Static Analysis Tools for Vulnerability Detection in Node.js Packages.
IEEE Trans. Reliab.
Tiago Brito, Mafalda Ferreira, Miguel Monteiro, Pedro Lopes, Miguel Barros, José Fragoso Santos, Nuno Santos
2023 — conf
TIGER: Tor Traffic Generator for Realistic Experiments.
WPES@CCS
Daniela Lopes, Daniel Castro, Diogo Barradas, Nuno Santos
2023 — conf
Trusted Heterogeneous Disaggregated Architectures.
APSys
Atsushi Koshiba, Felix Gust, Julian Pritzi, Anjo Vahldiek-Oberwagner, Nuno Santos, Pramod Bhatotia
2022 J jnl
Concolic Execution for WebAssembly (Artifact).
Dagstuhl Artifacts Ser.
Filipe Marques, José Fragoso Santos, Nuno Santos, Pedro Adão
2022 A conf
Concolic Execution for WebAssembly.
ECOOP
Filipe Marques, José Fragoso Santos, Nuno Santos, Pedro Adão
2022 A* conf
Poster: A Systems Approach to GDPR Compliance-by-Design in Web Development Stacks.
CCS
Mafalda Ferreira, Tiago Brito, José Fragoso Santos, Nuno Santos
2022 A* conf
Poster: User Sessions on Tor Onion Services: Can Colluding ISPs Deanonymize Them at Scale?
CCS
Daniela Lopes, Pedro Medeiros, Jin-Dong Dong, Diogo Barradas, Bernardo Portela, João Vinagre, Bernardo Ferreira, Nicolas Christin, Nuno Santos
2022 A* conf
ReZone: Disarming TrustZone with TEE Privilege Reduction.
USENIX Security Symposium
David Cerdeira, José Martins, Nuno Santos, Sandro Pinto
2022 J jnl
ReZone: Disarming TrustZone with TEE Privilege Reduction.
CoRR
David Cerdeira, José Martins, Nuno Santos, Sandro Pinto
2022 — conf
Secure and Policy-Compliant Query Processing on Heterogeneous Computational Storage Architectures.
SIGMOD Conference
Harshavardhan Unnibhavi, David Cerdeira, Antonio Barbalace, Nuno Santos, Pramod Bhatotia
2022 A conf
Stegozoa: Enhancing WebRTC Covert Channels with Video Steganography for Internet Censorship Circumvention.
AsiaCCS
Gabriel Figueira, Diogo Barradas, Nuno Santos
2022 J jnl
Wasmati: An Efficient Static Vulnerability Scanner for WebAssembly.
CoRR
Tiago Brito, Pedro Lopes, Nuno Santos, José Fragoso Santos
2022 J jnl
Wasmati: An efficient static vulnerability scanner for WebAssembly.
Comput. Secur.
Tiago Brito, Pedro Lopes, Nuno Santos, José Fragoso Santos
2021 A* conf
FlowLens: Enabling Efficient Flow Classification for ML-based Network Security Applications.
NDSS
Diogo Barradas, Nuno Santos, Luís Rodrigues, Salvatore Signorello, Fernando M. V. Ramos, André Madeira
2020 Misc conf
Censorship-resistant web annotations based on ethereum and IPFS.
SAC
João Santos, Nuno Santos, David Dias
2020 B conf
Flowverine: Leveraging Dataflow Programming for Building Privacy-Sensitive Android Applications.
TrustCom
Eduardo Gomes, Igor Zavalyshyn, Nuno Santos, João Silva, Axel Legay
2020 C conf
My House, My Rules: A Private-by-Design Smart Home Platform.
MobiQuitous
Igor Zavalyshyn, Nuno Santos, Ramin Sadre, Axel Legay
2020 A* conf
Poking a Hole in the Wall: Efficient Censorship-Resistant Internet Communications by Parasitizing on WebRTC.
CCS
Diogo Barradas, Nuno Santos, Luís E. T. Rodrigues, Vítor Nunes
2020 A* conf
SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems.
SP
David Cerdeira, Nuno Santos, Pedro Fonseca, Sandro Pinto
2020 — conf
Towards a Scalable Censorship-Resistant Overlay Network based on WebRTC Covert Channels.
DICG@Middleware
Diogo Barradas, Nuno Santos
2019 J jnl
Demystifying Arm TrustZone: A Comprehensive Survey.
ACM Comput. Surv.
Sandro Pinto, Nuno Santos
2019 J jnl
Forensic analysis of communication records of messaging applications from physical memory.
Comput. Secur.
Diogo Barradas, Tiago Brito, David Duarte, Nuno Santos, Luís E. T. Rodrigues
2018 — conf
An Extended Case Study about Securing Smart Home Hubs through N-version Programming.
ICETE (2)
Igor Zavalyshyn, Nuno O. Duarte, Nuno Santos
2018 — conf
DBStore: A TrustZone-backed Database Management System for Mobile Applications.
ICETE (2)
Pedro S. Ribeiro, Nuno Santos, Nuno O. Duarte
2018 A* conf
Effective Detection of Multimedia Protocol Tunneling using Machine Learning.
USENIX Security Symposium
Diogo Barradas, Nuno Santos, Luís E. T. Rodrigues
2018 Misc conf
HomePad: A Privacy-Aware Smart Hub for Home Environments.
SEC
Igor Zavalyshyn, Nuno O. Duarte, Nuno Santos
2018 C conf
Leveraging ARM TrustZone and Verifiable Computing to Provide Auditable Mobile Functions.
MobiQuitous
Nuno O. Duarte, Sileshi Demesie Yalew, Nuno Santos, Miguel Correia
2017 J jnl
Cross-domain identity and discovery framework for web calling services.
Ann. des Télécommunications
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, Jean-Michel Crom, Frank Oberle, Ingo Friese, Ana Caldeira, Gil Dias, Nuno Santos, Ricardo Chaves, Ricardo Lopes Pereira
2017 — conf
Decentralized Communications: Trustworthy interoperability in peer-to-peer networks.
EuCNC
Paulo Chainho, Steffen Druesedow, Ricardo Lopes Pereira, Ricardo Chaves, Nuno Santos, Kay Haensge, Antón Román Portabales
2017 J jnl
DeltaShaper: Enabling Unobservable Censorship-resistant TCP Tunneling over Videoconferencing Streams.
Proc. Priv. Enhancing Technol.
Diogo Barradas, Nuno Santos, Luís E. T. Rodrigues
2017 C conf
Forensic Analysis of Communication Records of Web-based Messaging Applications from Physical Memory.
SECRYPT
Diogo Barradas, Tiago Brito, David Duarte, Nuno Santos, Luís E. T. Rodrigues
2017 B conf
TrUbi: A System for Dynamically Constraining Mobile Devices within Restrictive Usage Scenarios.
MobiHoc
Miguel B. Costa, Nuno O. Duarte, Nuno Santos, Paulo Ferreira
2016 — conf
ARM TrustZone for Secure Image Processing on the Cloud.
SRDS Workshop
Tiago Brito, Nuno O. Duarte, Nuno Santos
2016 Misc conf
Global Identity and Reachability Framework for Interoperable P2P Communication Services.
ICIN
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, Ingo Friese, Ana Caldeira, Gil Dias, Ricardo Chaves, Nuno Santos
2016 B conf
P-Cop: A Cloud Administration Proxy to Enforce Bipartite Maintenance of PaaS Services.
CLOUD
Bruno Braga, Nuno Santos
2016 B conf
ShareIff: A Sticky Policy Middleware for Self-Destructing Messages in Android Applications.
SRDS
Antonio Goulao, Nuno O. Duarte, Nuno Santos
2016 B conf
Storekeeper: A Security-Enhanced Cloud Storage Aggregation Service.
SRDS
Sancha Pereira, André Alves, Nuno Santos, Ricardo Chaves
2015 A conf
A Case for Enforcing App-Specific Constraints to Mobile Devices by Using Trust Leases.
HotOS
Nuno Santos, Nuno O. Duarte, Miguel B. Costa, Paulo Ferreira
2015 J jnl
Termite: Emulation Testbed for Encounter Networks.
EAI Endorsed Trans. Ambient Syst.
Rodrigo Bruno, Nuno Santos, Paulo Ferreira
2014 — conf
Leveraging Trusted Computing and Model Checking to Build Dependable Virtual Machines.
HotDep
Nuno Santos, Nuno P. Lopes
2014 A* conf
Using ARM trustzone to build a trusted language runtime for mobile applications.
ASPLOS
Nuno Santos, Himanshu Raj, Stefan Saroiu, Alec Wolman
2013 J jnl
Verifying cloud services: present and future.
ACM SIGOPS Oper. Syst. Rev.
Sara Bouchenak, Gregory V. Chockler, Hana Chockler, Gabriela Gheorghe, Nuno Santos, Alexander Shraer
2012 A conf
Enhancing the OS against Security Threats in System Administration.
Middleware
Nuno Santos, Rodrigo Rodrigues, Bryan Ford
2012 A* conf
Policy-Sealed Data: A New Abstraction for Building Trusted Cloud Services.
USENIX Security Symposium
Nuno Santos, Rodrigo Rodrigues, Krishna P. Gummadi, Stefan Saroiu
2011 Misc conf
Trusted language runtime (TLR): enabling trusted applications on smartphones.
HotMobile
Nuno Santos, Himanshu Raj, Stefan Saroiu, Alec Wolman
2010 — conf
NetEx: efficient and cost-effective internet bulk content delivery.
ANCS
Massimiliano Marcon, Nuno Santos, P. Krishna Gummadi, Nikolaos Laoutaris, Pablo Rodriguez, Amin Vahdat
2010 J jnl
Unifying divergence bounding and locality awareness in replicated systems with vector-field consistency.
J. Internet Serv. Appl.
Luís Veiga, André Pessoa Negrão, Nuno Santos, Paulo Ferreira
2009 — conf
Towards Trusted Cloud Computing.
HotCloud
Nuno Santos, Krishna P. Gummadi, Rodrigo Rodrigues
2007 A conf
Vector-Field Consistency for Ad-Hoc Gaming.
Middleware
Nuno Santos, Luís Veiga, Paulo Ferreira
2006 C conf
Making Distributed Transactions Resilient to Intermittent Network Connections.
WOWMOM
Nuno Santos, Paulo Ferreira
2004 B conf
Loosely-Coupled, Mobile Replication of Objects with Transactions.
ICPADS
Luís Veiga, Nuno Santos, Ricardo Lebre, Paulo Ferreira
2004 — conf
Transaction Policies for Mobile Networks.
POLICY
Nuno Santos, Luís Veiga, Paulo Ferreira