default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNuno Santos 0001
Person information
- affiliation (since 2013): University of Lisbon, IST, Portugal
- affiliation (since 2013): INESC-ID - Distributed Systems Group, Lisbon, Portugal
- affiliation (PhD 2013): Max Planck Institute for Software Systems, Saarbrücken, Germany
Other persons with the same name
- Nuno Santos — disambiguation page
- Nuno Santos 0002
![[0000-0002-8247-7253]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-8247-7253")
(aka: Nuno António Santos) — University of Minho, CCG/ZGDV Institute, Braga, Portugal - Nuno Santos 0003 — Instituto Superior Técnico, INESC-ID / Department of Computer Science and Engineering, Lisbon, Portugal
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
[j13]Mafalda Ferreira, Miguel Monteiro, Tiago Brito, Miguel E. Coimbra, Nuno Santos, Limin Jia, José Fragoso Santos:
Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs. Proc. ACM Program. Lang. 8(PLDI): 417-441 (2024)- [j12]Masanori Misono, Dimitrios Stavrakakis, Nuno Santos, Pramod Bhatotia:
Confidential VMs Explained: An Empirical Analysis of AMD SEV-SNP and Intel TDX. Proc. ACM Meas. Anal. Comput. Syst. 8(3): 36:1-36:42 (2024) - 2023
- [j11]Vítor Nunes, José Brás, Afonso Carvalho, Diogo Barradas, Kevin Gallagher, Nuno Santos:
Enhancing the Unlinkability of Circuit-Based Anonymous Communications with k-Funnels. PACMNET 1(CoNEXT3): 18:1-18:26 (2023) - [j10]Tiago Brito, Mafalda Ferreira, Miguel Monteiro, Pedro Lopes, Miguel Barros, José Fragoso Santos, Nuno Santos:
Study of JavaScript Static Analysis Tools for Vulnerability Detection in Node.js Packages. IEEE Trans. Reliab. 72(4): 1324-1339 (2023) - 2022
- [j9]Tiago Brito, Pedro Lopes, Nuno Santos, José Fragoso Santos:
Wasmati: An efficient static vulnerability scanner for WebAssembly. Comput. Secur. 118: 102745 (2022) - [j8]Filipe Marques, José Fragoso Santos, Nuno Santos, Pedro Adão:
Concolic Execution for WebAssembly (Artifact). Dagstuhl Artifacts Ser. 8(2): 20:1-20:3 (2022) - 2019
- [j7]Diogo Barradas, Tiago Brito, David Duarte, Nuno Santos, Luís E. T. Rodrigues:
Forensic analysis of communication records of messaging applications from physical memory. Comput. Secur. 86: 484-497 (2019) - [j6]Sandro Pinto, Nuno Santos:
Demystifying Arm TrustZone: A Comprehensive Survey. ACM Comput. Surv. 51(6): 130:1-130:36 (2019) - 2017
- [j5]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:
Cross-domain identity and discovery framework for web calling services. Ann. des Télécommunications 72(7-8): 459-468 (2017) - [j4]Diogo Barradas, Nuno Santos, Luís E. T. Rodrigues:
DeltaShaper: Enabling Unobservable Censorship-resistant TCP Tunneling over Videoconferencing Streams. Proc. Priv. Enhancing Technol. 2017(4): 5-22 (2017) - 2015
- [j3]Rodrigo Bruno, Nuno Santos, Paulo Ferreira:
Termite: Emulation Testbed for Encounter Networks. EAI Endorsed Trans. Ambient Syst. 2(5): e4 (2015) - 2013
- [j2]Sara Bouchenak, Gregory V. Chockler, Hana Chockler, Gabriela Gheorghe, Nuno Santos, Alexander Shraer:
Verifying cloud services: present and future. ACM SIGOPS Oper. Syst. Rev. 47(2): 6-19 (2013) - 2010
- [j1]Luís Veiga, André Pessoa Negrão, Nuno Santos, Paulo Ferreira:
Unifying divergence bounding and locality awareness in replicated systems with vector-field consistency. J. Internet Serv. Appl. 1(2): 95-115 (2010)
Conference and Workshop Papers
- 2025
- [c45]Masanori Misono, Dimitrios Stavrakakis, Nuno Santos, Pramod Bhatotia:
Confidential VMs Explained: An Empirical Analysis of AMD SEV-SNP and Intel TDX. SIGMETRICS (Abstracts) 2025: 34-36 - 2024
- [c44]Clarisse Feio, Nuno Santos, Nelson Escravana, Bernardo Pacheco:
An Empirical Study of DevSecOps Focused on Continuous Security Testing. EuroS&P Workshops 2024: 610-617 - [c43]Daniela Lopes, Jin-Dong Dong, Pedro Medeiros, Daniel Castro, Diogo Barradas, Bernardo Portela, João Vinagre, Bernardo Ferreira, Nicolas Christin, Nuno Santos:
Flow Correlation Attacks on Tor Onion Service Sessions with Sliding Subset Sum. NDSS 2024 - [c42]Diogo Barradas, Carlos Novo, Bernardo Portela, Sofia Romeiro, Nuno Santos:
Extending C2 Traffic Detection Methodologies: From TLS 1.2 to TLS 1.3-enabled Malware. RAID 2024: 181-196 - 2023
- [c41]Atsushi Koshiba, Felix Gust, Julian Pritzi, Anjo Vahldiek-Oberwagner, Nuno Santos, Pramod Bhatotia:
Trusted Heterogeneous Disaggregated Architectures. APSys 2023: 72-79 - [c40]Mafalda Ferreira, Tiago Brito, José Fragoso Santos, Nuno Santos:
RuleKeeper: GDPR-Aware Personal Data Compliance for Web Frameworks. SP 2023: 2817-2834 - [c39]Daniela Lopes, Daniel Castro, Diogo Barradas, Nuno Santos:
TIGER: Tor Traffic Generator for Realistic Experiments. WPES@CCS 2023: 147-152 - 2022
- [c38]Gabriel Figueira, Diogo Barradas, Nuno Santos:
Stegozoa: Enhancing WebRTC Covert Channels with Video Steganography for Internet Censorship Circumvention. AsiaCCS 2022: 1154-1167 - [c37]Mafalda Ferreira, Tiago Brito, José Fragoso Santos, Nuno Santos:
Poster: A Systems Approach to GDPR Compliance-by-Design in Web Development Stacks. CCS 2022: 3347-3349 - [c36]Daniela Lopes, Pedro Medeiros, Jin-Dong Dong, Diogo Barradas, Bernardo Portela, João Vinagre, Bernardo Ferreira, Nicolas Christin, Nuno Santos:
Poster: User Sessions on Tor Onion Services: Can Colluding ISPs Deanonymize Them at Scale? CCS 2022: 3399-3401 - [c35]Filipe Marques, José Fragoso Santos, Nuno Santos, Pedro Adão:
Concolic Execution for WebAssembly. ECOOP 2022: 11:1-11:29 - [c34]Harshavardhan Unnibhavi, David Cerdeira, Antonio Barbalace, Nuno Santos, Pramod Bhatotia:
Secure and Policy-Compliant Query Processing on Heterogeneous Computational Storage Architectures. SIGMOD Conference 2022: 1462-1477 - [c33]David Cerdeira, José Martins, Nuno Santos, Sandro Pinto:
ReZone: Disarming TrustZone with TEE Privilege Reduction. USENIX Security Symposium 2022: 2261-2279 - 2021
- [c32]Diogo Barradas, Nuno Santos, Luís Rodrigues, Salvatore Signorello, Fernando M. V. Ramos, André Madeira:
FlowLens: Enabling Efficient Flow Classification for ML-based Network Security Applications. NDSS 2021 - 2020
- [c31]Diogo Barradas, Nuno Santos, Luís E. T. Rodrigues, Vítor Nunes:
Poking a Hole in the Wall: Efficient Censorship-Resistant Internet Communications by Parasitizing on WebRTC. CCS 2020: 35-48 - [c30]Diogo Barradas, Nuno Santos:
Towards a Scalable Censorship-Resistant Overlay Network based on WebRTC Covert Channels. DICG@Middleware 2020: 37-42 - [c29]Igor Zavalyshyn, Nuno Santos, Ramin Sadre, Axel Legay:
My House, My Rules: A Private-by-Design Smart Home Platform. MobiQuitous 2020: 273-282 - [c28]João Santos, Nuno Santos, David Dias:
Censorship-resistant web annotations based on ethereum and IPFS. SAC 2020: 2211-2213 - [c27]David Cerdeira, Nuno Santos, Pedro Fonseca, Sandro Pinto:
SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems. SP 2020: 1416-1432 - [c26]Eduardo Gomes, Igor Zavalyshyn, Nuno Santos, João Silva, Axel Legay:
Flowverine: Leveraging Dataflow Programming for Building Privacy-Sensitive Android Applications. TrustCom 2020: 607-614 - 2018
- [c25]Igor Zavalyshyn, Nuno O. Duarte, Nuno Santos:
HomePad: A Privacy-Aware Smart Hub for Home Environments. SEC 2018: 58-73 - [c24]Igor Zavalyshyn, Nuno O. Duarte, Nuno Santos:
An Extended Case Study about Securing Smart Home Hubs through N-version Programming. ICETE (2) 2018: 289-300 - [c23]Pedro S. Ribeiro, Nuno Santos, Nuno O. Duarte:
DBStore: A TrustZone-backed Database Management System for Mobile Applications. ICETE (2) 2018: 562-569 - [c22]Nuno O. Duarte, Sileshi Demesie Yalew, Nuno Santos, Miguel Correia:
Leveraging ARM TrustZone and Verifiable Computing to Provide Auditable Mobile Functions. MobiQuitous 2018: 302-311 - [c21]Diogo Barradas, Nuno Santos, Luís E. T. Rodrigues:
Effective Detection of Multimedia Protocol Tunneling using Machine Learning. USENIX Security Symposium 2018: 169-185 - 2017
- [c20]Paulo Chainho, Steffen Druesedow, Ricardo Lopes Pereira, Ricardo Chaves, Nuno Santos, Kay Haensge, Antón Román Portabales:
Decentralized Communications: Trustworthy interoperability in peer-to-peer networks. EuCNC 2017: 1-5 - [c19]Miguel B. Costa, Nuno O. Duarte, Nuno Santos, Paulo Ferreira:
TrUbi: A System for Dynamically Constraining Mobile Devices within Restrictive Usage Scenarios. MobiHoc 2017: 25:1-25:10 - [c18]Diogo Barradas, Tiago Brito, David Duarte, Nuno Santos, Luís E. T. Rodrigues:
Forensic Analysis of Communication Records of Web-based Messaging Applications from Physical Memory. SECRYPT 2017: 43-54 - 2016
- [c17]Bruno Braga, Nuno Santos:
P-Cop: A Cloud Administration Proxy to Enforce Bipartite Maintenance of PaaS Services. CLOUD 2016: 888-893 - [c16]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:
Global Identity and Reachability Framework for Interoperable P2P Communication Services. ICIN 2016 - [c15]Antonio Goulao, Nuno O. Duarte, Nuno Santos:
ShareIff: A Sticky Policy Middleware for Self-Destructing Messages in Android Applications. SRDS 2016: 11-20 - [c14]Tiago Brito, Nuno O. Duarte, Nuno Santos:
ARM TrustZone for Secure Image Processing on the Cloud. SRDS Workshop 2016: 37-42 - [c13]Sancha Pereira, André Alves, Nuno Santos, Ricardo Chaves:
Storekeeper: A Security-Enhanced Cloud Storage Aggregation Service. SRDS 2016: 111-120 - 2015
- [c12]Nuno Santos, Nuno O. Duarte, Miguel B. Costa, Paulo Ferreira:
A Case for Enforcing App-Specific Constraints to Mobile Devices by Using Trust Leases. HotOS 2015 - 2014
- [c11]Nuno Santos, Himanshu Raj, Stefan Saroiu, Alec Wolman:
Using ARM trustzone to build a trusted language runtime for mobile applications. ASPLOS 2014: 67-80 - [c10]Nuno Santos, Nuno P. Lopes:
Leveraging Trusted Computing and Model Checking to Build Dependable Virtual Machines. HotDep 2014 - 2012
- [c9]Nuno Santos, Rodrigo Rodrigues, Bryan Ford:
Enhancing the OS against Security Threats in System Administration. Middleware 2012: 415-435 - [c8]Nuno Santos, Rodrigo Rodrigues, Krishna P. Gummadi, Stefan Saroiu:
Policy-Sealed Data: A New Abstraction for Building Trusted Cloud Services. USENIX Security Symposium 2012: 175-188 - 2011
- [c7]Nuno Santos, Himanshu Raj, Stefan Saroiu, Alec Wolman:
Trusted language runtime (TLR): enabling trusted applications on smartphones. HotMobile 2011: 21-26 - 2010
- [c6]Massimiliano Marcon, Nuno Santos, P. Krishna Gummadi, Nikolaos Laoutaris, Pablo Rodriguez, Amin Vahdat:
NetEx: efficient and cost-effective internet bulk content delivery. ANCS 2010: 30 - 2009
- [c5]Nuno Santos, Krishna P. Gummadi, Rodrigo Rodrigues:
Towards Trusted Cloud Computing. HotCloud 2009 - 2007
- [c4]Nuno Santos, Luís Veiga, Paulo Ferreira:
Vector-Field Consistency for Ad-Hoc Gaming. Middleware 2007: 80-100 - 2006
- [c3]Nuno Santos, Paulo Ferreira:
Making Distributed Transactions Resilient to Intermittent Network Connections. WOWMOM 2006: 598-602 - 2004
- [c2]Luís Veiga, Nuno Santos, Ricardo Lebre, Paulo Ferreira:
Loosely-Coupled, Mobile Replication of Objects with Transactions. ICPADS 2004: 675-682 - [c1]Nuno Santos, Luís Veiga, Paulo Ferreira:
Transaction Policies for Mobile Networks. POLICY 2004: 55-
Informal and Other Publications
- 2023
- [i4]Tiago Brito, Mafalda Ferreira, Miguel Monteiro, Pedro Lopes, Miguel Barros, José Fragoso Santos, Nuno Santos:
Study of JavaScript Static Analysis Tools for Vulnerability Detection in Node.js Packages. CoRR abs/2301.05097 (2023) - [i3]Rodrigo Pedro, Daniel Castro, Paulo Carreira, Nuno Santos:
From Prompt Injections to SQL Injection Attacks: How Protected is Your LLM-Integrated Web Application? CoRR abs/2308.01990 (2023) - 2022
- [i2]David Cerdeira, José Martins, Nuno Santos, Sandro Pinto:
ReZone: Disarming TrustZone with TEE Privilege Reduction. CoRR abs/2203.01025 (2022) - [i1]Tiago Brito, Pedro Lopes, Nuno Santos, José Fragoso Santos:
Wasmati: An Efficient Static Vulnerability Scanner for WebAssembly. CoRR abs/2204.12575 (2022)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-06-08 16:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
