Nuno Miguel Carvalho Santos (CF1D-F1ED-6E02)

Curriculum Vitae

Nuno Miguel Carvalho Santos

Nuno Santos is an Associate Professor in the Departamento de Engenharia Informática (DEI) at Instituto Superior Técnico / Universidade de Lisboa. He is also a senior researcher at INESC-ID Lisboa and a member of the Distributed Systems Group. He received a Ph.D. degree from the Max Planck Institute for Software Systems (MPI-SWS) / Saarland University in late 2013. In the summer of 2010, he interned at Microsoft Research in Redmond. In 2018, he spent a sabbatical at the Vrije Universiteit Amsterdam in the Systems and Network Security Group led by Herbert Bos. His research interests lie in the field of systems security and privacy. His research team focuses on the development of new techniques and mechanisms to enhance the security infrastructure of computer and network systems, and build tools for security- and privacy-driven applications. His team's skillset covers several domains ranging from trusted computing to operating systems, distributed systems, security policies and protocols, censorship and anonymity, machine learning applied to traffic analysis, web security, and digital forensics. Nuno has co-authored +60 peer-reviewed papers in conferences and journals. His work has appeared in all four flagship conferences in security and privacy: Usenix Security, IEEE S&P, ACM CCS, and NDSS (all Core A*). He is the co-author of highly-cited papers on trusted cloud computing and Arm TrustZone technology. Four of his papers have been distinguished with best paper or best student paper awards. He has co-authored a US patent based on his contributions to Arm TrustZone technology. He participated in multiple international and national projects and served in +20 program committees of workshops and conferences, including in leading conferences on computer security such as CCS and Usenix Security (Core A*). He has (co)supervised +30 MSc students and 2 PhD students. He is currently advising six MSc students and six Ph.D. students. For his teaching service at IST, he has been awarded the Teaching Excellence Award six times and the IST Outstanding Teaching Award for 2019/2020.

Ler resumo completo ↓

Identificação

Identificação pessoal

Nome completo: Nuno Miguel Carvalho Santos

Nomes de citação

Santos, Nuno

Identificadores de autor

Ciência ID: CF1D-F1ED-6E02
ORCID iD: 0000-0001-9938-0653

Domínios de atuação

Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática

Idiomas

Idioma	Conversação	Leitura	Escrita	Compreensão	Peer-review
Inglês	Utilizador proficiente (C1)	Utilizador proficiente (C1)	Utilizador proficiente (C1)	Utilizador proficiente (C1)
Italiano	Utilizador independente (B1)	Utilizador independente (B1)	Utilizador elementar (A1)	Utilizador independente (B1)

Formação

	Grau	Classificação
2008 - 2013 Concluído	Computer Science (Doktor (PhD)) Universität des Saarlandes, Alemanha Max-Plank Institute for Software Systems / Saarland University, Alemanha "IMPROVING TRUST IN CLOUD, ENTERPRISE, AND MOBILE COMPUTING PLATAFORMS" (TESE/DISSERTAÇÃO)
2002 - 2006 Concluído	Master of Science in Computer Science and Engineering (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal "Policy-Based Object-Oriented Transactional System for Mobile Networks" (TESE/DISSERTAÇÃO)	Aprovado
2001 Concluído	Information Systems and Computer Engineering (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal "Ubiquitous Computing - Supporting Migration and Replication of Objects" (TESE/DISSERTAÇÃO)	17

Percurso profissional

Ciência

	Categoria Profissional Instituição de acolhimento	Empregador
2014/12/01 - Atual	Investigador principal (carreira) (Investigação)	Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

2018/02 - 2018/06	Investigador visitante (Investigação)	Systems and Network Security Group / Vrije Universiteit Amsterdam, Países Baixos

2013/11/01 - 2014/12/01	Investigador Auxiliar (carreira) (Investigação)	Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

2010/06/01 - 2010/08/01	Estagiário de Investigação (Investigação)	Microsoft Research, Estados Unidos
	Microsoft Research, Estados Unidos
2002/09/01 - 2007/09/01	Estagiário de Investigação (Investigação)	Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Docência no Ensino Superior

	Categoria Profissional Instituição de acolhimento	Empregador
2021/06/01 - Atual	Professor Associado (Docente Universitário)	Universidade de Lisboa Instituto Superior Técnico, Portugal

2013/11/01 - 2021/05/31	Professor Auxiliar (Docente Universitário)	Universidade de Lisboa Instituto Superior Técnico, Portugal

2007 - 2014	Assistente (Docente Universitário)	Universidade de Lisboa Instituto Superior Técnico, Portugal

2002/09/01 - 2006/09/01	Assistente Estagiário (Docente Universitário)	Universidade de Lisboa Instituto Superior Técnico, Portugal

Outros

	Categoria Profissional Instituição de acolhimento	Empregador
2008/01/01 - 2013/11/01	Doctoral Student	Max-Planck-Institut für Softwaresysteme, Alemanha

Projetos

Bolsa

	Designação	Financiadores
2022 - Atual	PRR Agenda Smart Retail C6632206063-00466847 Co-Investigador Responsável (Co-IR)
2022/02/01 - 2023	Supervised Deanonymization of Dark Web Traffic for Cybercrime Investigation CMU-PT (CMU/TIC/0044/2021) Investigador responsável
2018 - 2018	Verified Trusted Execution Environments for Mobile Devices FCT Sabbatical Grant (SFRH/BSAB/ 135236/2017) Investigador responsável	Fundação para a Ciência e a Tecnologia Concluído

Projeto

	Designação	Financiadores
2018/10/01 - Atual	INFOCOS: Intelligent Feedback for Content Students FCT (PTDC/CCI-COM/32378/2017) Investigador
2018/06/14 - 2021/06/13	Cosmos: Coerência Causal na Periferia da Rede PTDC/EEI-COM/29271/2017 Associação para a Inovação e Desenvolvimento da FCT, Portugal Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2015/03/01 - 2021/04/01	Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa UID/CEC/50021/2019 SFRH/BPD/110695/2015 Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2018 - 2021	COSMOS: Causal Consistency on the Network Edge FCT (PTDC/EEI-COM/29271/2017) Investigador	Fundação para a Ciência e a Tecnologia Em curso
2017 - 2019	TICKET - Mobile Secure Ticketing COMPETE 2020 / Portugal 2020 / Uniao Europeia (#11388) Investigador responsável Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2016 - 2019	Abyss: Autonomic Byzantine Fault-Tolerant Systems FCT (PTDC/EEI-SCR/1741/2014) Investigador	Fundação para a Ciência e a Tecnologia
2018 - 2018	Cryptacus: Training School on Cryptanalysis of Ubiquitous Computing Systems EU COST Action IC1403. Investigador	European Commission Concluído
2015 - 2017	reTHINK: Trustful hyper-linked entities in dynamic networks European Commission (Praxis Ref: 645342) Investigador Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	European Commission Concluído
2014 - 2015	PCAS - Personalised Centralized Authentication System European Commission (Praxis Ref: 610713) Investigador Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	European Commission Concluído
2011/01/01 - 2012/12/31	Projecto Estratégico - LA 21 - 2011-2012 PEst-OE/EEI/LA0021/2011 Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2008/01/01 - 2011/06/30	Mercury - improving consistency of replicated data in resource-constrained devices PTDC/EIA/66589/2006 Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2008/01/01 - 2010/12/31	Ginger: A Flexible Peer-to-Peer Grid Infrastructure PTDC/EIA/73240/2006 Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2004/01/01 - 2007	UbiRep - Ubiquitous Replication info:eu-repo/grantAgreement/FCT/Orçamento de Funcionamento/POSC/47832/PT Bolseiro de Iniciação Científica Fundação para a Ciência e a Tecnologia, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2003 - 2004	MobileTrans FCT (Praxis Ref: 34008/99) Bolseiro de Iniciação Científica Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2003 - 2003	SmartSketches Microsoft Research Bolseiro de Iniciação Científica Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Microsoft Research Ltd Concluído
2000 - 2003	OBIWAN Microsoft Research Bolseiro de Iniciação Científica	Microsoft Research Ltd Concluído

Produções

Publicações

Artigo em conferência	Rodrigo Pedro; Miguel E. Coimbra; Castro, Daniel; Paulo Carreira; Santos, Nuno. "Prompt-to-SQL Injections in LLM-Integrated Web Applications: Risks and Defenses". Trabalho apresentado em Proceedings of ICSE'25 [Core A], 2025. Lopes, Daniela; Dong, Jin-Dong; Medeiros, Pedro; Castro, Daniel; Barradas, Diogo; Portela, Bernardo; Vinagre, João; et al. "Flow Correlation Attacks on Tor Onion Service Sessions with Sliding Subset Sum". Trabalho apresentado em Proceedings of the Network and Distributed System Security Symposium (NDSS) [Core A], 2024. Ferreira, Mafalda; Miguel Monteiro; Brito, Tiago; Miguel E. Coimbra; Santos, Nuno; Limin Jia; José Fragoso Santos. "Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs". Trabalho apresentado em Proceedings of PLDI [Core A], 2024. Feio, Clarisse; Santos, Nuno; Escravana, Nelson; Bernardo Pacheco. "An Empirical Study of DevSecOps Focused on Continuous Security Testing". Trabalho apresentado em Proceedings of DevSecOpsRO @ EuroSP 2024, 2024. Barradas, Diogo; Carlos Novo; Sofia Romeiro; Portela, Bernardo; Santos, Nuno. "Extending C2 Traffic Detection Methodologies: From TLS 1.2 to TLS 1.3-enabled Malware". Trabalho apresentado em Proceedings of RAID 2024 [Core A], 2024. Nunes, Vitor; Brás, José; Carvalho, Afonso; Barradas, Diogo; Gallagher, Kevin; Santos, Nuno. "Enhancing the Unlinkability of Circuit-Based Anonymous Communications with k-Funnels". Trabalho apresentado em International Conference on emerging Networking EXperiments and Technologies (CoNEXT) [Core: A], Paris, 2023. Em revisão Daniela Lopes; Daniel Castro; Diogo Barradas; Santos, Nuno. "TIGER: Tor Traffic Generator for Realistic Experiments". Trabalho apresentado em Workshop on Privacy in the Electronic Society (WPES), 2023. 10.1145/3603216.3624960 Koshiba, Atsushi; Gust, Felix; Pritzi, Julian; Vahldiek-Oberwagner, Anjo; Santos, Nuno; Bhatotia, Pramod. "Trusted Heterogeneous Disaggregated Architectures". Trabalho apresentado em Proceedings of the 14th ACM SIGOPS Asia-Pacific Workshop on Systems (APSys), 2023. 10.1145/3609510.3609812 Gallagher, Kevin; Barradas, Diogo; Santos, Nuno. "Rethinking Realistic Adversaries for Anonymous Communication Systems". Trabalho apresentado em Free and Open Communications on the Internet 2023, Lausanne, 2023. Publicado Ferreira, Mafalda; Brito, Tiago; Santos, José Fragoso; Santos, Nuno. "RuleKeeper: GDPR-Aware Personal Data Compliance for Web Frameworks". Trabalho apresentado em 2023 IEEE Symposium on Security and Privacy (SP) [Core: A], 2023. 10.1109/sp46215.2023.10179395 Harshavardhan Unnibhavi; David Cerdeira; Antonio Barbalace; Nuno Miguel Carvalho Santos; Pramod Bhatotia. "Secure and Policy-Compliant Query Processing on Heterogeneous Computational Storage Architectures". Trabalho apresentado em Proceedings of SIGMOD'22 [Core A], 2022. Publicado Gabriel Figueira; Diogo Barradas; Nuno Miguel Carvalho Santos. "Stegozoa: Enhancing WebRTC Covert Channels with Video Steganography for Internet Censorship Circumvention". Trabalho apresentado em Proceedings of ASIA CCS'22 [Core A], 2022. Publicado David Cerdeira; José Martins; Nuno Miguel Carvalho Santos; Sandro Pinto. "ReZone: Disarming TrustZone with TEE Privilege Reduction". Trabalho apresentado em Proceedings of USENIX Security'22 [Core A], 2022. Publicado Filipe Marques; José Fragoso Santos; Nuno Miguel Carvalho Santos; Pedro Adão. "Concolic Execution for WebAssembly". Trabalho apresentado em Proceedings of ECOOP [Core A], 2022. Barradas, Diogo; Santos, Nuno; Rodrigues, Luis; Signorello, Salvatore; Ramos, Fernando; Madeira, André. "FlowLens: Enabling Efficient Flow Classification for ML-based Network Security Applications". Trabalho apresentado em Proceedings of the Network and Distributed System Security Symposium (NDSS) [Core A], 2021. Publicado Diogo Barradas; Nuno Miguel Carvalho Santos; Luís Rodrigues; Salvatore Signorello; Fernando M. V. Ramos. "The Nuts and Bolts of Building FlowLens". Trabalho apresentado em Proceedings of LASER @ NDSS Workshops 2021, 2021. Polyzos, G.C.; Santos, N.; Soares, J.M.. "IFIP Networking 2021 DI2F Workshop Chairs Welcome Message". 2021. 10.23919/IFIPNetworking52078.2021.9472811 Santos, Nuno; Eduardo Gomes; Igor Zavalyshyn; João Silva; Axel Legay. "Flowverine: Leveraging Dataflow Programming for Building Privacy-Sensitive Android Applications". Trabalho apresentado em Proceedings of IEEE International Conference on Trust, Security and Privacy in Computing and Communications 2020 (TrustCom'20) [Core: A], 2020. Publicado Diogo Barradas; Santos, Nuno. "Towards a Scalable Censorship-Resistant Overlay Network based on WebRTC Covert Channels". Trabalho apresentado em Proceedings of International Workshop on Distributed Infrastructure for Common Good (DICG '20) @ Middleware'20, 2020. Publicado Zavalyshyn, Igor; Santos, Nuno; Sadre, Ramin; Legay, Axel. "My House, My Rules: A Private-by-Design Smart Home Platform". Trabalho apresentado em Proceedings of the 17th EAI International Conference on Mobile and Ubiquitous Systems (Mobiquitous) [Core: A], 2020. Publicado Diogo Barradas; Santos, Nuno; Luís Rodrigues; Vítor Nunes. "Poking a Hole in the Wall: Efficient Censorship-Resistant Internet Communications by Parasitizing on WebRTC". Trabalho apresentado em Proceedings of ACM Conference on Computer and Communications Security (CCS'20) [Core: A], 2020. Publicado Barradas, Diogo; Santos, Nuno; Rodrigues, Luis. "On the unobservability of multimedia-based covert channels for Internet censorship circumvention". Trabalho apresentado em Applied Network Research Workshop -- Internet Society Portugal Chapter (ISOC.PT ANRW), Lisboa, 2020. Publicado CERDEIRA, DAVID; Santos, Nuno; Fonseca, Pedro; Pinto, Sandro. "SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems". Trabalho apresentado em Proceedings of 41st IEEE Symposium on Security and Privacy (S&P) [Core: A], 2020. Publicado Santos, João; Santos, Nuno; Dias, David. "Censorship-resistant web annotations based on ethereum and IPFS". Trabalho apresentado em Proceedings of the 35th Annual ACM Symposium on Applied Computing SAC [Core: B], 2020. Publicado • 10.1145/3341105.3374049 Madeira, André; Barradas, Diogo; Santos, Nuno; Rodrigues, Luis. "Identificação de Canais Encobertos no Skype usando Esboços em SDNs". Trabalho apresentado em INFORUM - Simpósio de Informática, 2019. Publicado Santos, João; Santos, Nuno; Dias, David. "DClaims: A Censorship Resistant Web Annotations System using IPFS and Ethereum". Trabalho apresentado em arXiv preprint arXiv:1912.03388, 2019. Duarte, Nuno O.; Yalew, Sileshi Demesie; Santos, Nuno; Correia, Miguel. "Leveraging ARM TrustZone and Verifiable Computing to Provide Auditable Mobile Functions". Trabalho apresentado em Proceedings of the 15th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (Mobiquitous) [Core: A], 2018. Publicado • 10.1145/3286978.3287015 Zavalyshyn, Igor; Duarte, Nuno O.; Santos, Nuno. "HomePad: A Privacy-Aware Smart Hub for Home Environments". Trabalho apresentado em 2018 IEEE/ACM Symposium on Edge Computing (SEC), 2018. Publicado • 10.1109/sec.2018.00012 S. Ribeiro, Pedro; Santos, Nuno; O. Duarte, Nuno. "DBStore: A TrustZone-backed Database Management System for Mobile Applications". Trabalho apresentado em Proceedings of the 15th International Joint Conference on e-Business and Telecommunications (SECRYPT) [Core B], 2018. 10.5220/0006883605620569 Zavalyshyn, Igor; O. Duarte, Nuno; Santos, Nuno. "An Extended Case Study about Securing Smart Home Hubs through N-version Programming". Trabalho apresentado em Proceedings of the 15th International Joint Conference on e-Business and Telecommunications (SECRYPT) [Core: B], 2018. Publicado • 10.5220/0006854002890300 Barradas, Diogo; Santos, Nuno; Rodrigues, Luis. "Effective Detection of Multimedia Protocol Tunneling using Machine Learning". Trabalho apresentado em Proceedings of the 27th USENIX Security Symposium (Usenix Security) [Core: A], 2018. Publicado Ribeiro, Pedro; Duarte, Nuno O.; Santos, Nuno. "Sistema de Gestão de Bases de Dados para Aplicações Móveis apoiado por TrustZone". Trabalho apresentado em INFORUM - Simpósio de Informática, 2018. Publicado Costa, Miguel B.; Duarte, Nuno O.; Santos, Nuno; Ferreira, Paulo. "TrUbi: A System for Dynamically Constraining Mobile Devices within Restrictive Usage Scenarios". Trabalho apresentado em Proceedings of the 18th ACM International Symposium on Mobile Ad Hoc Networking and Computing (Mobihoc) [Core: A], 2017. Publicado • 10.1145/3084041.3084066 Chainho, Paulo; Drusedow, Steffen; Pereira, Ricardo Lopes; Chaves, Ricardo; Santos, Nuno; Haensge, Kay; Portabales, Anton Roman. "Decentralized Communications: Trustworthy interoperability in peer-to-peer networks". Trabalho apresentado em EuCNC, 2017. 10.1109/eucnc.2017.7980649 Barradas, Diogo; Brito, Tiago; Duarte, David; Santos, Nuno; Rodrigues, Luís. "Forensic Analysis of Communication Records of Web-based Messaging Applications from Physical Memory". Trabalho apresentado em Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (SECRYPT) [Core: B], 2017. Publicado • 10.5220/0006396100430054 Chainho, Paulo; Gavras, Anastasius; Druesedow, Steffen; Lopes Pereira, Ricardo; Chaves, Ricardo; Santos, Nuno; Graça, Bernardo. "reTHINK Core Framework, a New Way for Establishing Communication Channels Between Endpoints". Trabalho apresentado em 26th European Conference on Networks and Communications (EuCNC), 2017. Publicado Tariq Javed, Ibrahim; Copeland, Rebecca; Crespi, Noel; Beierle, Felix; Göndör, Sebastian; Ku¨pper, Axel; Bouabdallah, Ahmed; et al. "Global Identity and Reachability Framework for Interoperable P2P Communication Services". Trabalho apresentado em 20th Conference on Innovations in Clouds, Internet and Networks (ICIN), 2017. Publicado Brito, Tiago; Duarte, Nuno O.; Santos, Nuno. "ARM TrustZone for Secure Image Processing on the Cloud". Trabalho apresentado em 2016 IEEE 35th Symposium on Reliable Distributed Systems Workshops (SRDSW), 2016. Publicado • 10.1109/srdsw.2016.17 Pereira, Sancha; Alves, Andre; Santos, Nuno; Chaves, Ricardo. "Storekeeper: A Security-Enhanced Cloud Storage Aggregation Service". Trabalho apresentado em 2016 IEEE 35th Symposium on Reliable Distributed Systems (SRDS) [Core: A], 2016. Publicado • 10.1109/srds.2016.023 Goulao, Antonio; Duarte, Nuno O.; Santos, Nuno. "ShareIff: A Sticky Policy Middleware for Self-Destructing Messages in Android Applications". Trabalho apresentado em 2016 IEEE 35th Symposium on Reliable Distributed Systems (SRDS) [Core: A], 2016. Publicado • 10.1109/srds.2016.013 Braga, Bruno; Santos, Nuno. "P-Cop: A Cloud Administration Proxy to Enforce Bipartite Maintenance of PaaS Services". Trabalho apresentado em IEEE 9th International Conference on Cloud Computing (CLOUD) [Core: B], 2016. Publicado • 10.1109/cloud.2016.0130 Santos, Nuno; Zavalyshyn, Igor; Duarte, Nuno O.. "Efficient Location-aware Message Delivery for Encounter Networks". Trabalho apresentado em INFORUM - Simpósio de Informática, 2016. Publicado Barradas, Diogo; Santos, Nuno; Rodrigues, Luis. "Síntese de Vídeo para Evasão de Censura na Internet". Trabalho apresentado em INFORUM, 2016. Publicado Bruno, Rodrigo; Santos, Nuno; Ferreira, Paulo. "Termite: Emulation Testbed for Encounter Networks". Trabalho apresentado em Proceedings of the 12th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (Mobiquitous) [Core: A], 2015. Publicado • 10.4108/eai.22-7-2015.2260069 Santos, Nuno; O. Duarte, Nuno; Costa, Miguel B.; Ferreira, Paulo. "A Case for Enforcing App-Specific Constraints to Mobile Devices by Using Trust Leases". Trabalho apresentado em 15th Workshop on Hot Topics in Operating Systems (HotOS) [Core: A], 2015. Publicado Santos, Nuno; Raj, Himanshu; Saroiu, Stefan; Wolman, Alec. "Using ARM trustzone to build a trusted language runtime for mobile applications". Trabalho apresentado em Proceedings of the 19th international conference on Architectural support for programming languages and operating systems (ASPLOS) [Core: A], 2014. Publicado • 10.1145/2541940.2541949 Santos, Nuno; Lopes, Nuno P.. "Leveraging Trusted Computing and Model Checking to Build Dependable Virtual Machines". Trabalho apresentado em 10th Workshop on Hot Topics in System Dependability (HotDep), 2014. Publicado Santos, Nuno; Rodrigues, Rodrigo; P. Gummadi, Krishna; Saroiu, Stefan. "Policy-Sealed Data: A New Abstraction for Building Trusted Cloud Services". Trabalho apresentado em 21st USENIX conference on Security Symposium (Usenix Security) [Core: A], 2012. Publicado Santos, Nuno; Raj, Himanshu; Saroiu, Stefan; Wolman, Alec. "Trusted language runtime (TLR): : enabling trusted applications on smartphones". Trabalho apresentado em Proceedings of the 12th Workshop on Mobile Computing Systems and Applications (HotMobile), 2011. Publicado • 10.1145/2184489.2184495 Marcon, Massimiliano; Santos, Nuno; Gummadi, Krishna P.; Laoutaris, Nikolaos; Rodriguez, Pablo; Vahdat, Amin. "NetEx: Efficient and Cost-effective Internet Bulk Content Delivery". Trabalho apresentado em Proceedings of the 6th ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS), 2010. Publicado • 10.1145/1872007.1872045 Santos, Nuno; P. Gummadi, Krishna; Rodrigues, Rodrigo. "Towards Trusted Cloud Computing". Trabalho apresentado em 1st Workshop on Hot Topics on Cloud Computing (HotCloud), 2009. Publicado Santos, N.; Ferreira, P.. "Making Distributed Transactions Resilient to Intermittent Network Connections". Trabalho apresentado em International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM'06), 2006. Publicado • 10.1109/wowmom.2006.56 Veiga, L.; Santos, N.; Lebre, R.; Ferreira, P.. "Loosely-coupled, mobile replication of objects with transactions". Trabalho apresentado em Proceedings Tenth International Conference on Parallel and Distributed Systems (ICPADS), 2004. Publicado • 10.1109/icpads.2004.1316154 Santos, N.; Veiga, L.; Ferreira, P.. "Transaction policies for mobile networks". Trabalho apresentado em Proceedings of Fifth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY), 2004. Publicado • 10.1109/policy.2004.1309150 Santos, Nuno; Dias, Pedro. "FROMAGE - Mobile Agents Platform". Trabalho apresentado em 2nd Workshop of Introduction to Autonomous Agents (WIAA), 2001. Publicado
Artigo em revista	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 Transactions on Reliability (2023): https://doi.org/10.1109/TR.2023.3286301. 10.1109/TR.2023.3286301 Brito, Tiago; Lopes, Pedro; Nuno Miguel Carvalho Santos; José Fragoso Santos. "Wasmati: An Efficient Static Vulnerability Scanner for WebAssembly". Computers & Security (2022): Barradas, Diogo; Brito, Tiago; Duarte, David; Santos, Nuno; Rodrigues, Luís. "Forensic analysis of communication records of messaging applications from physical memory". Computers & Security [Scimago: Q1] 86 (2019): 484-497. http://dx.doi.org/10.1016/j.cose.2018.08.013. Publicado • 10.1016/j.cose.2018.08.013 Pinto, Sandro; Santos, Nuno. "Demystifying Arm TrustZone". ACM Computing Surveys [Scimago: Q1] 51 6 (2019): 1-36. http://dx.doi.org/10.1145/3291047. Publicado • 10.1145/3291047 Barradas, Diogo; Santos, Nuno; Rodrigues, Luís. "DeltaShaper: Enabling Unobservable Censorship-resistant TCP Tunneling over Videoconferencing Streams". Proceedings on Privacy Enhancing Technologies [Core: B] 2017 4 (2017): 5-22. http://dx.doi.org/10.1515/popets-2017-0037. Publicado • 10.1515/popets-2017-0037 Javed, Ibrahim Tariq; Copeland, Rebecca; Crespi, Noel; Emmelmann, Marc; Corici, Ancuta; Bouabdallah, Ahmed; Zhang, Tuo; et al. "Cross-domain identity and discovery framework for web calling services". Annals of Telecommunications [Scimago: Q2] 72 7-8 (2017): 459-468. http://dx.doi.org/10.1007/s12243-017-0587-2. Publicado • 10.1007/s12243-017-0587-2 Bouchenak, Sara; Chockler, Gregory; Chockler, Hana; Gheorghe, Gabriela; Santos, Nuno; Shraer, Alexander. "Verifying cloud services". ACM SIGOPS Operating Systems Review [Scimago: Q2] 47 2 (2013): 6-19. http://dx.doi.org/10.1145/2506164.2506167. Publicado • 10.1145/2506164.2506167 Veiga, Luís; Negrão, André; Santos, Nuno; Ferreira, Paulo. "Unifying divergence bounding and locality awareness in replicated systems with vector-field consistency". Journal of Internet Services and Applications [Scimago: Q2] 1 2 (2010): 95-115. http://dx.doi.org/10.1007/s13174-010-0011-x. Publicado • 10.1007/s13174-010-0011-x
Capítulo de livro	Santos, Nuno; Rodrigues, Rodrigo; Ford, Bryan. "Enhancing the OS against Security Threats in System Administration". In Middleware 2012. Lecture Notes in Computer Science [Core: A], 415-435. Springer Berlin Heidelberg, 2012. Publicado • 10.1007/978-3-642-35170-9_21 Santos, Nuno; Veiga, Luís; Ferreira, Paulo. "Vector-Field Consistency for Ad-Hoc Gaming". In Middleware 07: Lecture Notes in Computer Science [Core: A], 80-100. Springer Berlin Heidelberg, 2007. Publicado • 10.1007/978-3-540-76778-7_5
Poster em conferência	Lopes, Daniela; Medeiros, Pedro; Dong, Jin-Dong; Barradas, Diogo; Portela, Bernardo; Vinagre, João; Ferreira, Bernardo; Christin, Nicolas; Santos, Nuno. "Poster: User Sessions on Tor Onion Services: Can Colluding ISPs Deanonymize Them at Scale?". Trabalho apresentado em Proceedings of SIGSAC Conference on Computer and Communications Security (CCS) [Core: A], 2022. 10.1145/3548606.3563520 Ferreira, Mafalda; Brito, Tiago; Santos, José Fragoso; Santos, Nuno. "Poster: A Systems Approach to GDPR Compliance-by-Design in Web Development Stacks". Trabalho apresentado em Proceedings of SIGSAC Conference on Computer and Communications Security (CCS) [Core: A], 2022. 10.1145/3548606.3563521 Santos, Nuno. "Improving Customer Trust in Cloud Services". Trabalho apresentado em Eurosys, 2011. Santos, Nuno. "Anonymity in the Personalized Web". Trabalho apresentado em 5th USENIX Symposium on Networked Systems Design and Implementation (NSDI), 2008.
Tese / Dissertação	Santos, Nuno. "Improving trust in cloud, enterprise, and mobile computing platforms". Doutoramento, Max-Plank Institute for Software Systems / Saarland University, 2013. 10.22028/d291-25366 Santos, Nuno. "Policy-Based Object-Oriented Transactional System for Mobile Networks". Mestrado, Universidade de Lisboa Instituto Superior Técnico, 2006.

Propriedade Intelectual

Patente

Himanshu Raj; Santos, Nuno; Paul England; Stefan Saroiu; Alastair Wolman. 2019. "Trusted language runtime on a mobile platform". Estados Unidos.
Concedida/Emitida

Atividades

Orientação

	Título / Tema Papel desempenhado	Curso (Tipo) Instituição / Organização
2021 - Atual	Enforcement of GDPR Compliance in Large Scale Systems (PhD) Orientador
2020 - Atual	Auditing System for Attack Investigations of Microservice-based Web Applications (MSc) Orientador
2019 - Atual	Security Architectures for TrustZone-Assisted Trusted Execution Environments (PhD) Coorientador
2019 - Atual	Vulnerability Detection Systems for Web Applications (PhD) Orientador
2022 - 2023	Efficient Data Provenance for Stream Processing Systems (MSc) Orientador
2022 - 2023	Thwarting Traffic Confirmation Attacks in Tor with Traffic Modulation and Cover Traffic (MSc) Orientador
2022 - 2023	Data Plane Applications with In-Network Elements (MSc) Orientador
2022 - 2023	ExplodeQ.js: A Library of Queries to Detect Injection Vulnerabilities in Node.js Applications (MSc) Coorientador
2022 - 2023	Security Risks and Protection of AI Models in Smart Retail (MSc) Orientador
2022 - 2023	DevSecOps framework focused on Continuous Security Testing (MSc) Coorientador
2021 - 2022	Tráfico de pessoas online, a exploração pela dark web e as formas de combate técnico-jurídicas (MSc) Orientador
2021 - 2022	Automatic Rule Generation for Network Intrusion Detection Systems Orientador
2021 - 2022	Deanonymization of Tor Onion Services with Acceleration-Based Watermarking Orientador
2021 - 2022	Towards Automatic Detection of Exploitable Vulnerabilities in WebAssembly Modules of Real-World Websites Orientador
2021 - 2022	Enabling Censorship-Resistant Tor Communications through WebRTC-Based Covert Channels Orientador
2021 - 2022	Enhancing the Tor Anonymity Network with K-Anonymous Flashmobs Orientador
2021 - 2022	Extensible and Flexible Multi-Factor Authentication for an Online Banking Platform Orientador
2021 - 2022	Research on how to Conduct Penetration Testing Assessments on Cloud Computing Environments using Azure Coorientador
2020 - 2021	Affordable Managed Security Services for Small and Medium-sized Enterprises in Portugal (MSc) Orientador
2020 - 2021	Robust Symbolic Execution for WebAssembly (MSc) Coorientador
2020 - 2021	A Censorship-Resistant Publish-Subscribe System Based on WebRTC Covert Channels (MSc) Orientador
2020 - 2021	Stegozoa: Securing the Transmission of Covert Internet Communications over WebRTC (MSc) Orientador
2020 - 2021	Traceless Execution Support for Privacy Enhancing Technologies (MSc) Orientador
2019 - 2021	Security Assessment of the Oeiras Municipality IT Infrastructure (MSc) Coorientador
2019 - 2021	Discovering Vulnerabilities in WebAssembly with Code Property Graphs (MSc) Orientador
2019 - 2021	Building GDPR-Compliant Applications with RuleKeeper (MSc) Orientador
2019 - 2021	Making Tor Robust against Traffic Correlation Attacks by Providing K-Anonymity (MSc) Orientador
2019 - 2021	Distributed System for Cooperative Deanonymization of Tor Circuits (MSc) Orientador
2018 - 2021	On the Unobservability of Multimedia-based Covert Channels for Internet Censorship Circumvention Coorientador
2017 - 2021	Towards Unobservable Multimedia-based Covert Channels for Internet Censorship Circumvention (PhD) Coorientador
2017 - 2021	Building Private-by-Design IoT Systems Orientador
2016 - 2021	Building Private-by-Design IoT Systems (PhD) Orientador
2019 - 2020	Locksmith: Secure Android Keystore Based on Virtualized Trusted Environments (MSc) Orientador
2019 - 2020	WArdian: Securing WebAssembly Applications on Untrusted Mobile Operating Systems (MSc) Orientador
2019 - 2020	Efficient Symbolic Execution for WebAssembly (MSc) Coorientador
2019 - 2019	An Ecosystem for Securing Vehicle-to-Everything Communication (MSc) Orientador
2019 - 2019	Identification of Skype Covert Channels using Sketches in SDNs (MSc) Coorientador
2019 - 2019	Crystalline: A Privacy-Aware Middleware for the Android Platform (MSc) Orientador
2018 - 2018	DClaims: A Censorship-Resistant Web Annotations System (MSc) Orientador
2018 - 2018	An Investigation into the Relationship between Cryptocurrencies, Anonymisation Networks, and the Darknet Cybercrime Scene (MSc) Orientador
2018 - 2018	HCE Mobile Ticketing: Providing Security for Mobile Ticketing Applications Backed by TrustZone (MSc) Orientador
2018 - 2018	Identidade Digital - o Espectro desde a Anonimização à Identificação (MSc) Orientador
2016 - 2016	MIPSter32 - A 32 bit MIPS Simulator (MSc) Orientador
2016 - 2016	Storekeeper: Building a Secure File Sharing Platform out of Freely Available Cloud Storage (MSc) Orientador
2016 - 2016	ShareIff: A Sticky Policy Middleware for Self-Destructing Messages in Android Applications (MSc) Orientador
2016 - 2016	P-Cop: Securing PaaS Against Cloud Administration Threats (MSc) Orientador
2016 - 2016	Unobservable Covert Streaming for Internet Censorship Circumvention (MSc) Coorientador
2016 - 2016	Runtime Support for Hyperty Execution in a Web-Centric P2P Service Architecture (MSc) Orientador
2016 - 2016	Secure hyper-linked entities in dynamic networks (MSc) Coorientador
2016 - 2016	TrustFrame, a Software Development Framework for TrustZone-enabled Hardware (MSc) Orientador
2016 - 2016	Darkroom: The Use of ARM TrustZone For Secure Data Processing on the Cloud (MSc) Orientador
2016 - 2016	TrustVersion: A Secrecy Protected Version Control System (MSc) Orientador
2016 - 2016	Multi-OS in the Cloud (MSc) Coorientador
2015 - 2015	On the Effectiveness of Trust Leases in Securing Mobile Applications (MSc) Coorientador
2015 - 2015	TrUbi - Mobile Operating System Security (MSc) Coorientador
2015 - 2015	Floodgate: An Information Flow Control Platform for Distributed Mobile Applications (MSc) Orientador

Organização de evento

	Nome do evento Tipo de evento (Tipo de participação)	Instituição / Organização
2024 - Atual	USENIX Security'24 [PC member] (2024) Conferência (Membro da Comissão Científica)
2024 - Atual	IEEE EuroSP'26 [General Co-Chair] (2024)
2023 - Atual	ACM Conference on Computer and Communications Security'23 (CCS) [PC Member] (2023) Conferência (Membro da Comissão Científica)
2022 - Atual	ACM Conference on Computer and Communications Security'22 (CCS) [PC Member] (2022) Conferência (Membro da Comissão Científica)
2023 - 2023	ASIACCS'23 [PC member] (2023) Conferência (Membro da Comissão Científica)
2022 - 2023	USENIX Security'23 [PC member] (2022) Conferência (Membro da Comissão Científica)
2021 - 2021	EuroSys Doctoral Workshop (EuroDW) [PC member] (2021 - 2021) Oficina (workshop) (Membro da Comissão Científica)
2021 - 2021	Digital Privacy and Security Conference [PC member] (2021 - 2021) Conferência (Membro da Comissão Científica)
2021 - 2021	IEEE/ACM International Conference on Cluster, Cloud and Grid Computing (CCGrid) [PC member] (2021 - 2021) Conferência (Membro da Comissão Científica)
2021 - 2021	ACM Conference on Computer and Communications Security'21 (CCS) [PC member] (2021 - 2021) Conferência (Membro da Comissão Científica)
2021 - 2021	Decentralising the Internet with IPFS and Filecoin Workshop (DI2F) (2021 - 2021) Oficina (workshop) (Coorganizador)
2020 - 2020	International Conference on Security and Cryptography (SECRYPT) [PC member] (2020 - 2020) Conferência (Membro da Comissão Científica)
2020 - 2020	ISOC.PT ANR Workshop [PC member] (2020) Oficina (workshop) (Membro da Comissão Científica)
2020 - 2020	Digital Privacy and Security Conference [PC member] (2020 - 2020) Conferência (Membro da Comissão Científica)
2020 - 2020	INFORUM Simpósio de Informática (INFORUM) [PC member] (2020 - 2020) Conferência (Membro da Comissão Científica)
2020 - 2020	Middleware Doctoral Symposium [PC member] (2020 - 2020) Oficina (workshop) (Membro da Comissão Científica)
2019 - 2019	International Conference on Security and Cryptography (SECRYPT) [PC member] (2019 - 2019) Conferência (Membro da Comissão Científica)
2019 - 2019	INFORUM Simpósio de Informática (INFORUM) [PC member] (2019 - 2019) Conferência (Membro da Comissão Científica)
2018 - 2018	CRYPTACUS Training School, ICT COST Action IC1403 [OC member] (2018 - 2018) Oficina (workshop) (Membro da Comissão Organizadora)
2018 - 2018	International Conference on Security and Cryptography (SECRYPT) [PC member] (2018 - 2018) Conferência (Membro da Comissão Científica)
2018 - 2018	INFORUM Simpósio de Informática (INFORUM) [PC member] (2018 - 2018) Conferência (Membro da Comissão Científica)
2017 - 2017	International Conference on Security and Cryptography (SECRYPT) [PC member] (2017 - 2017) Conferência (Membro da Comissão Científica)
2017 - 2017	Segurança de Sistemas de Computadores e Comunicações, INFORUM Simpósio de Informática (INFORUM) [Track co-chair] (2017 - 2017) Conferência (Coorganizador)
2016 - 2016	International Conference on Security and Cryptography (SECRYPT) [PC member] (2016 - 2016) Conferência (Membro da Comissão Científica)
2016 - 2016	INFORUM Simpósio de Informática (INFORUM) [PC member] (2016 - 2016) Conferência (Membro da Comissão Científica)
2016 - 2016	Computação Móvel e Ubíqua, INFORUM Simpósio de Informática (INFORUM) [Track chair] (2016 - 2016) Conferência (Coorganizador)
2015 - 2015	INFORUM Simpósio de Informática (INFORUM) [PC member] (2015 - 2015) Conferência (Membro da Comissão Científica)
2014 - 2014	TRUDEVICE Training School. ICT COST Action IC1204 [OC member] (2014 - 2014) Oficina (workshop) (Membro da Comissão Organizadora)
2014 - 2014	ACM Symposium on Information, Computer and Communications Security (ASIACCS) [PC member] (2014 - 2014) Conferência (Membro da Comissão Científica)
2014 - 2014	OSDI 2014 Poster Session [PC member] (2014 - 2014) Conferência (Membro da Comissão Científica)
2006 - 2006	Policy-based Systems track, IEEE International Conference on Systems and Networks Communications (ICSNC) [PC member] (2006 - 2006) Conferência (Membro da Comissão Científica)
2001 - 2001	Workshop of Introduction to Autonomous Agents (WIAA) [OC member] (2001 - 2001) Oficina (workshop) (Membro da Comissão Organizadora)
2001 - 2001	VIIIª Semana Informática (SINFO), the annual Computer Science Week at IST/UTL [OC member] (2001 - 2001) Oficina (workshop) (Membro da Comissão Organizadora)

Júri de grau académico

	Tema Tipo de participação	Nome do candidato (Tipo de grau) Instituição / Organização
2021	Towards Secure Near Data Processing Computing [MSc] Arguente principal	Harshavardhan Unnibhavi (Mestrado) The University of Edinburgh, Reino Unido
2021	Security in the Seizure and Storage of Cryptocurrencies [MSc] Arguente principal	João Ascensão (Mestrado)
2021	Structured Behavior Analysis on Encrypted Traffic [MSc] Arguente principal	João Meira (Mestrado)
2021	XS-Leaks Crutch: Assisted Detection & Exploitation of Cross-Site Leaks [MSc] Arguente principal	Manuel Sousa (Mestrado)
2020	Improving Digital Forensics and Incident Analysis in Production Environments by Using Virtual Machine Introspection [PhD] Arguente principal	Benjamin Taubmann (Doutoramento) Universität Passau, Alemanha
2020	WiFi-Direct InterNetworking [PhD] Arguente principal	António Teófilo (Doutoramento)
2020	A Systems Approach to Searchable Encryption [MSc] Arguente principal	Filipe Oliveira (Mestrado) Universidade Nova de Lisboa, Portugal
2020	Execução Segura com Contentores [MSc] Arguente principal	João Correia (Mestrado) Universidade de Aveiro, Portugal
2019	TEEnder: SGX Enclave Migration using HSMs [MSc] Arguente principal	João Guerreiro (Mestrado)
2019	Identificação e Análise de Cryptojacking: Efeitos no desempenho [MSc] Arguente principal	João Carreiro (Mestrado)
2019	Melange: A Hybrid Approach to Tracing Heterogeneous Distributed Systems [MSc] Arguente principal	Gonçalo Garcia (Mestrado)
2019	Blockchain-Enabled DPKI Framework [MSc] Arguente principal	Miguel Reis (Mestrado)
2019	DroidSF - A framework for security analysis of mobile applications [MSc] Arguente principal	João Nunes (Mestrado)
2019	Providing trust to multi-cloud storage platforms through the blockchain [MSc] Arguente principal	Claudia Fiore (Mestrado)
2018	Beyond the password [MSc] Arguente principal	Ricardo Almeida (Mestrado)
2017	Protótipo de um Laboratório de Segurança - Ataques Criptográficos e de SQL Injection [MSc] Arguente principal	Filipa Gomes (Mestrado)
2017	Trusted Vote - Secure E-voting on a Trusted Mobile Device [MSc] Arguente principal	Diogo Monteiro (Mestrado)
2017	Authentication via User Profiling [MSc] Arguente principal	André Faustino (Mestrado)
2017	Deteção Automática de Malware em Apps Móveis [MSc] Arguente principal	Pedro Maltez (Mestrado)
2015	Fast and Scalable Thread Migration for Multi-Core Architectures [MSc] Arguente principal	Miguel Rodrigues (Mestrado)
2015	NFC4Sure: Mobile Ticketing System [MSc] Arguente principal	Diogo Antunes (Mestrado)
2015	Vulnerability Discovery in Power Line Communications [MSc]	Fernando Alves (Mestrado)
2015	Dashboards of Service Fulfilment and Assurance for Mobile: Multi-plataform versus Native [MSc] Arguente principal	António Cardoso Jr. (Mestrado)
2015	Autonomic Replicated Software Transactional Memory [MSc] Arguente	Maria Couceiro (Doutoramento)
2015	Autonomic Replicated Software Transactional Memory [PhD] Arguente	Maria Couceiro (Doutoramento)
2014	Autonomous system for track athletics guidance for the visual impaired [MSc] Arguente principal	Bernardo Santos (Mestrado)
2014	Privacy for the Personal Data Vault [MSc] Arguente principal	Tamás Balogh (Mestrado)

Arbitragem científica em conferência

	Nome da conferência	Local da conferência
2020 - Atual	CCGrid (2021), CCS (2021), OOPLSA (2021)
2017 - 2020	CoNext (2008), CCSW (2011), Eurosys (2012, 2016, 2019), HotOS (2007), INFORUM (2015, 2016-20), ISOC.PT (2020), Middleware (2014), NSDI (2009, 2010), PODC (2009, 2013), SECRYPT (2016-20), SoCC (2016), SIGCOMM (2008-09), S&P (2018), SYSTOR (2011, 2014), Usenix ATC (2018), WMCSP (2016)

Arbitragem científica em revista

	Nome da revista (ISSN)	Editora
2014 - 2019	ADHOC (2015), CAEE (2016), COSE (2018), ICALP (2014), IJCS (2019), IEEE Software (2013), IMWUT (2017), JoS (2019), JSA (2017), TCC (2015), TCCSI (2015), ToIT (2011), TPDS (2013), TSC (2014)

Consultoria / Parecer

	Descrição da atividade	Instituição / Organização
2020 - 2020	Parecer sobre segurança de sistema de vigilância electrónica

Curso / Disciplina lecionado

	Disciplina	Curso (Tipo)
2016 - 2023	Forensics Cibersecurity MSIDC (Spring 2016, Spring 2017, Spring 2020, Spring 2021, Spring 2022, Spring 2023).	(Mestrado)
2015 - 2023	Forensics Cibersecurity ¿ MEIC, METI (Fall 2015, Fall 2016, Fall 2017, Fall 2018, Fall 2019, Fall 2020, Fall 2021, Fall 2022, Fall 2023).	(Mestrado)
2016 - 2020	Mobile Computing – SISE (Spring 2016, Spring 2019, Spring 2020)	(Pós-Graduação)
2019 - 2019	Segurança de Software for Academia de Ciências Sociais e Tecnologia (ACITE), Angola (Summer 2019)
2014 - 2019	Mobile Computing – MEIC, METI (Spring 2014, Spring 2015, Spring 2016, Spring 2017, Spring 2019).	(Mestrado)
2013 - 2015	Computer Organization – MEIC (Fall 2013, Fall 2014)	(Mestrado)
2013 - 2014	Mobile Computing – Ciência Viva (2013, 2014)	(Outros)
2013 - 2014	Computer Organization (Fall 2013).	(Licenciatura)
2002 - 2014	Operating Systems (Fall 2002, Fall 2003, Fall 2004, Fall 2005, Fall 2006, Fall 2007, Fall 2013).	(Licenciatura)
2013 - 2013	Mobile Computing (Spring 2013).	(Mestrado)
2003 - 2013	Computer Architectures (Spring 2003, Spring 2013)	(Licenciatura)
2007 - 2008	Security in Networks and Systems (Fall 2007).	(Licenciatura)
2006 - 2007	Security Algorithms and Applications (Fall 2006).	(Licenciatura)
2006 - 2006	Platforms for Distributed Applications in the Internet (Spring 2006).	(Licenciatura)
2004 - 2005	Distributed Systems (Spring 2004, Spring 2005).	(Licenciatura)

Membro de comissão

	Descrição da atividade Tipo de participação	Instituição / Organização
2024 - Atual	USENIX Security'25 [Vice PC member]
2024 - Atual	IEEE S&P'25 [PC member]
2019 - Atual	Representative of the ASO Scientific Area, DEI, IST/Universidade de Lisboa, since 2019 Membro

Distinções

Prémio

2024	Prémio Científico Universidade de Lisboa / Caixa Geral de Depósitos, 2024, in Computer Science and Engineering
2023	Excellence Teaching Award (Forensics Cibersecurity)
2022	Excellence Teaching Award (Forensics Cibersecurity)
2021	Excellence Teaching Award (Forensics Cibersecurity)
2020	IST Outstanding Teaching Award (Forensics Cibersecurity) Universidade de Lisboa Instituto Superior Técnico, Portugal
2020	Best Research Paper and Internet Impact Acknowledge Mention: On the unobservability of multimedia-based covert channels for Internet censorship circumvention. Diogo Barradas, Nuno Santos, Luís Rodrigues. ISOC.PT ANRW
2019	Excellence Teaching Award (Forensics Cibersecurity)
2019	Best Paper Award: Identificação de Canais Encobertos no Skype usando Esboços em SDNs. André Madeira, Diogo Barradas, Nuno Santos, Luís Rodrigues. INFORUM
2018	Excellence Teaching Award (Mobile and Ubiquitous Computing)
2018	Excellence Teaching Award (Forensics Cibersecurity)
2017	Excellence Teaching Award (Forensics Cybersecurity Course)
2017	Best Student Paper Award: An Extended Case Study about Securing Smart Home Hubs through N-Version Programming, Igor Zavalyshyn, Nuno O. Duarte, Nuno Santos. SECRYPT
2015	Excellence Teaching Award (Operating Systems Course)
2007	Best Paper Award: Vector-Field Consistency for Ad-hoc Gaming. Nuno Santos, Luís Veiga, Paulo Ferreira. Proceedings of Middleware'07
2001	Best Student Award: Information Systems and Computer Engineering at IST/UTL