???global.info.a_carregar???
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.
Identification

Personal identification

Full name
Nuno Miguel Carvalho Santos

Citation names

  • Santos, Nuno

Author identifiers

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

Knowledge fields

  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics

Languages

Language Speaking Reading Writing Listening Peer-review
English Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
Italian Intermediate (B1) Intermediate (B1) Beginner (A1) Intermediate (B1)
Education
Degree Classification
2008 - 2013
Concluded
Computer Science (Doktor (PhD))
Universität des Saarlandes, Germany

Max-Plank Institute for Software Systems / Saarland University, Germany
"IMPROVING TRUST IN CLOUD, ENTERPRISE, AND MOBILE COMPUTING PLATAFORMS" (THESIS/DISSERTATION)
2002 - 2006
Concluded
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" (THESIS/DISSERTATION)
Aprovado
2001
Concluded
Information Systems and Computer Engineering (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Ubiquitous Computing - Supporting Migration and Replication of Objects" (THESIS/DISSERTATION)
17
Affiliation

Science

Category
Host institution
Employer
2014/12/01 - Current Principal Investigator (Research) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2018/02 - 2018/06 Visiting Researcher (Research) Systems and Network Security Group / Vrije Universiteit Amsterdam, Netherlands
2013/11/01 - 2014/12/01 Auxiliary Researcher (Research) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2010/06/01 - 2010/08/01 Research Trainee (Research) Microsoft Research, United States
Microsoft Research, United States
2002/09/01 - 2007/09/01 Research Trainee (Research) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Teaching in Higher Education

Category
Host institution
Employer
2021/06/01 - Current Associate Professor (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
2013/11/01 - 2021/05/31 Assistant Professor (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
2007 - 2014 Assistant (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
2002/09/01 - 2006/09/01 Trainee Assistant (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal

Others

Category
Host institution
Employer
2008/01/01 - 2013/11/01 Doctoral Student Max-Planck-Institut für Softwaresysteme, Germany
Projects

Grant

Designation Funders
2022 - Current PRR Agenda Smart Retail
Co-Principal Investigator (Co-PI)
2022/02/01 - 2023 Supervised Deanonymization of Dark Web Traffic for Cybercrime Investigation
CMU-PT (CMU/TIC/0044/2021)
Principal investigator
2018 - 2018 Verified Trusted Execution Environments for Mobile Devices
FCT Sabbatical Grant (SFRH/BSAB/ 135236/2017)
Principal investigator
Fundação para a Ciência e a Tecnologia
Concluded

Contract

Designation Funders
2018/10/01 - Current INFOCOS: Intelligent Feedback for Content Students
FCT (PTDC/CCI-COM/32378/2017)
Researcher
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
Concluded
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
Concluded
2018 - 2021 COSMOS: Causal Consistency on the Network Edge
FCT (PTDC/EEI-COM/29271/2017)
Researcher
Fundação para a Ciência e a Tecnologia
Ongoing
2017 - 2019 TICKET - Mobile Secure Ticketing
COMPETE 2020 / Portugal 2020 / Uniao Europeia (#11388)
Principal investigator
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2016 - 2019 Abyss: Autonomic Byzantine Fault-Tolerant Systems
FCT (PTDC/EEI-SCR/1741/2014)
Researcher
Fundação para a Ciência e a Tecnologia
2018 - 2018 Cryptacus: Training School on Cryptanalysis of Ubiquitous Computing Systems
EU COST Action IC1403.
Researcher
European Commission
Concluded
2015 - 2017 reTHINK: Trustful hyper-linked entities in dynamic networks
European Commission (Praxis Ref: 645342)
Researcher
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
European Commission
Concluded
2014 - 2015 PCAS - Personalised Centralized Authentication System
European Commission (Praxis Ref: 610713)
Researcher
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
European Commission
Concluded
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
Concluded
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
Concluded
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
Concluded
2004/01/01 - 2007 UbiRep - Ubiquitous Replication
Scientific Initiation Fellow
Fundação para a Ciência e a Tecnologia, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2003 - 2004 MobileTrans
FCT (Praxis Ref: 34008/99)
Scientific Initiation Fellow
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2003 - 2003 SmartSketches
Microsoft Research
Scientific Initiation Fellow
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Microsoft Research Ltd
Concluded
2000 - 2003 OBIWAN
Microsoft Research
Scientific Initiation Fellow
Microsoft Research Ltd
Concluded
Outputs

Publications

Book chapter
  1. 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.
    Published • 10.1007/978-3-642-35170-9_21
  2. 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.
    Published • 10.1007/978-3-540-76778-7_5
Conference paper
  1. 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". Paper presented in Proceedings of the Network and Distributed System Security Symposium (NDSS) [Core A*], 2024.
  2. Nunes, Vitor; Brás, José; Carvalho, Afonso; Barradas, Diogo; Gallagher, Kevin; Santos, Nuno. "Enhancing the Unlinkability of Circuit-Based Anonymous Communications with k-Funnels". Paper presented in International Conference on emerging Networking EXperiments and Technologies (CoNEXT) [Core: A], Paris, 2023.
    Under revision
  3. Daniela Lopes; Daniel Castro; Diogo Barradas; Santos, Nuno. "TIGER: Tor Traffic Generator for Realistic Experiments". Paper presented in Workshop on Privacy in the Electronic Society (WPES), 2023.
    10.1145/3603216.3624960
  4. Koshiba, Atsushi; Gust, Felix; Pritzi, Julian; Vahldiek-Oberwagner, Anjo; Santos, Nuno; Bhatotia, Pramod. "Trusted Heterogeneous Disaggregated Architectures". Paper presented in Proceedings of the 14th ACM SIGOPS Asia-Pacific Workshop on Systems (APSys), 2023.
    10.1145/3609510.3609812
  5. Gallagher, Kevin; Barradas, Diogo; Santos, Nuno. "Rethinking Realistic Adversaries for Anonymous Communication Systems". Paper presented in Free and Open Communications on the Internet 2023, Lausanne, 2023.
    Published
  6. Ferreira, Mafalda; Brito, Tiago; Santos, José Fragoso; Santos, Nuno. "RuleKeeper: GDPR-Aware Personal Data Compliance for Web Frameworks". Paper presented in 2023 IEEE Symposium on Security and Privacy (SP) [Core: A*], 2023.
    10.1109/sp46215.2023.10179395
  7. Harshavardhan Unnibhavi; David Cerdeira; Antonio Barbalace; Nuno Miguel Carvalho Santos; Pramod Bhatotia. "Secure and Policy-Compliant Query Processing on Heterogeneous Computational Storage Architectures". Paper presented in Proceedings of SIGMOD'22 [Core A*], 2022.
    Published
  8. Gabriel Figueira; Diogo Barradas; Nuno Miguel Carvalho Santos. "Stegozoa: Enhancing WebRTC Covert Channels with Video Steganography for Internet Censorship Circumvention". Paper presented in Proceedings of ASIA CCS'22 [Core A], 2022.
    Published
  9. David Cerdeira; José Martins; Nuno Miguel Carvalho Santos; Sandro Pinto. "ReZone: Disarming TrustZone with TEE Privilege Reduction". Paper presented in Proceedings of USENIX Security'22 [Core A*], 2022.
    Published
  10. Filipe Marques; José Fragoso Santos; Nuno Miguel Carvalho Santos; Pedro Adão. "Concolic Execution for WebAssembly". Paper presented in Proceedings of ECOOP [Core A], 2022.
  11. Barradas, Diogo; Santos, Nuno; Rodrigues, Luis; Signorello, Salvatore; Ramos, Fernando; Madeira, André. "FlowLens: Enabling Efficient Flow Classification for ML-based Network Security Applications". Paper presented in Proceedings of the Network and Distributed System Security Symposium (NDSS) [Core A*], 2021.
    Published
  12. Diogo Barradas; Nuno Miguel Carvalho Santos; Luís Rodrigues; Salvatore Signorello; Fernando M. V. Ramos. "The Nuts and Bolts of Building FlowLens". Paper presented in Proceedings of LASER @ NDSS Workshops 2021, 2021.
  13. Polyzos, G.C.; Santos, N.; Soares, J.M.. "IFIP Networking 2021 DI2F Workshop Chairs Welcome Message". 2021.
    10.23919/IFIPNetworking52078.2021.9472811
  14. Santos, Nuno; Eduardo Gomes; Igor Zavalyshyn; João Silva; Axel Legay. "Flowverine: Leveraging Dataflow Programming for Building Privacy-Sensitive Android Applications". Paper presented in Proceedings of IEEE International Conference on Trust, Security and Privacy in Computing and Communications 2020 (TrustCom'20) [Core: A], 2020.
    Published
  15. Diogo Barradas; Santos, Nuno. "Towards a Scalable Censorship-Resistant Overlay Network based on WebRTC Covert Channels". Paper presented in Proceedings of International Workshop on Distributed Infrastructure for Common Good (DICG '20) @ Middleware'20, 2020.
    Published
  16. Zavalyshyn, Igor; Santos, Nuno; Sadre, Ramin; Legay, Axel. "My House, My Rules: A Private-by-Design Smart Home Platform". Paper presented in Proceedings of the 17th EAI International Conference on Mobile and Ubiquitous Systems (Mobiquitous) [Core: A], 2020.
    Published
  17. 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". Paper presented in Proceedings of ACM Conference on Computer and Communications Security (CCS'20) [Core: A*], 2020.
    Published
  18. Barradas, Diogo; Santos, Nuno; Rodrigues, Luis. "On the unobservability of multimedia-based covert channels for Internet censorship circumvention". Paper presented in Applied Network Research Workshop -- Internet Society Portugal Chapter (ISOC.PT ANRW), Lisboa, 2020.
    Published
  19. CERDEIRA, DAVID; Santos, Nuno; Fonseca, Pedro; Pinto, Sandro. "SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems". Paper presented in Proceedings of 41st IEEE Symposium on Security and Privacy (S&P) [Core: A*], 2020.
    Published
  20. Santos, João; Santos, Nuno; Dias, David. "Censorship-resistant web annotations based on ethereum and IPFS". Paper presented in Proceedings of the 35th Annual ACM Symposium on Applied Computing SAC [Core: B], 2020.
    Published • 10.1145/3341105.3374049
  21. Madeira, André; Barradas, Diogo; Santos, Nuno; Rodrigues, Luis. "Identificação de Canais Encobertos no Skype usando Esboços em SDNs". Paper presented in INFORUM - Simpósio de Informática, 2019.
    Published
  22. Santos, João; Santos, Nuno; Dias, David. "DClaims: A Censorship Resistant Web Annotations System using IPFS and Ethereum". Paper presented in arXiv preprint arXiv:1912.03388, 2019.
  23. Duarte, Nuno O.; Yalew, Sileshi Demesie; Santos, Nuno; Correia, Miguel. "Leveraging ARM TrustZone and Verifiable Computing to Provide Auditable Mobile Functions". Paper presented in Proceedings of the 15th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (Mobiquitous) [Core: A], 2018.
    Published • 10.1145/3286978.3287015
  24. Zavalyshyn, Igor; Duarte, Nuno O.; Santos, Nuno. "HomePad: A Privacy-Aware Smart Hub for Home Environments". Paper presented in 2018 IEEE/ACM Symposium on Edge Computing (SEC), 2018.
    Published • 10.1109/sec.2018.00012
  25. S. Ribeiro, Pedro; Santos, Nuno; O. Duarte, Nuno. "DBStore: A TrustZone-backed Database Management System for Mobile Applications". Paper presented in Proceedings of the 15th International Joint Conference on e-Business and Telecommunications (SECRYPT) [Core B], 2018.
    10.5220/0006883605620569
  26. Zavalyshyn, Igor; O. Duarte, Nuno; Santos, Nuno. "An Extended Case Study about Securing Smart Home Hubs through N-version Programming". Paper presented in Proceedings of the 15th International Joint Conference on e-Business and Telecommunications (SECRYPT) [Core: B], 2018.
    Published • 10.5220/0006854002890300
  27. Barradas, Diogo; Santos, Nuno; Rodrigues, Luis. "Effective Detection of Multimedia Protocol Tunneling using Machine Learning". Paper presented in Proceedings of the 27th USENIX Security Symposium (Usenix Security) [Core: A*], 2018.
    Published
  28. Ribeiro, Pedro; Duarte, Nuno O.; Santos, Nuno. "Sistema de Gestão de Bases de Dados para Aplicações Móveis apoiado por TrustZone". Paper presented in INFORUM - Simpósio de Informática, 2018.
    Published
  29. Costa, Miguel B.; Duarte, Nuno O.; Santos, Nuno; Ferreira, Paulo. "TrUbi: A System for Dynamically Constraining Mobile Devices within Restrictive Usage Scenarios". Paper presented in Proceedings of the 18th ACM International Symposium on Mobile Ad Hoc Networking and Computing (Mobihoc) [Core: A], 2017.
    Published • 10.1145/3084041.3084066
  30. 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". Paper presented in EuCNC, 2017.
    10.1109/eucnc.2017.7980649
  31. Barradas, Diogo; Brito, Tiago; Duarte, David; Santos, Nuno; Rodrigues, Luís. "Forensic Analysis of Communication Records of Web-based Messaging Applications from Physical Memory". Paper presented in Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (SECRYPT) [Core: B], 2017.
    Published • 10.5220/0006396100430054
  32. 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". Paper presented in 26th European Conference on Networks and Communications (EuCNC), 2017.
    Published
  33. 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". Paper presented in 20th Conference on Innovations in Clouds, Internet and Networks (ICIN), 2017.
    Published
  34. Brito, Tiago; Duarte, Nuno O.; Santos, Nuno. "ARM TrustZone for Secure Image Processing on the Cloud". Paper presented in 2016 IEEE 35th Symposium on Reliable Distributed Systems Workshops (SRDSW), 2016.
    Published • 10.1109/srdsw.2016.17
  35. Pereira, Sancha; Alves, Andre; Santos, Nuno; Chaves, Ricardo. "Storekeeper: A Security-Enhanced Cloud Storage Aggregation Service". Paper presented in 2016 IEEE 35th Symposium on Reliable Distributed Systems (SRDS) [Core: A], 2016.
    Published • 10.1109/srds.2016.023
  36. Goulao, Antonio; Duarte, Nuno O.; Santos, Nuno. "ShareIff: A Sticky Policy Middleware for Self-Destructing Messages in Android Applications". Paper presented in 2016 IEEE 35th Symposium on Reliable Distributed Systems (SRDS) [Core: A], 2016.
    Published • 10.1109/srds.2016.013
  37. Braga, Bruno; Santos, Nuno. "P-Cop: A Cloud Administration Proxy to Enforce Bipartite Maintenance of PaaS Services". Paper presented in IEEE 9th International Conference on Cloud Computing (CLOUD) [Core: B], 2016.
    Published • 10.1109/cloud.2016.0130
  38. Santos, Nuno; Zavalyshyn, Igor; Duarte, Nuno O.. "Efficient Location-aware Message Delivery for Encounter Networks". Paper presented in INFORUM - Simpósio de Informática, 2016.
    Published
  39. Barradas, Diogo; Santos, Nuno; Rodrigues, Luis. "Síntese de Vídeo para Evasão de Censura na Internet". Paper presented in INFORUM, 2016.
    Published
  40. Bruno, Rodrigo; Santos, Nuno; Ferreira, Paulo. "Termite: Emulation Testbed for Encounter Networks". Paper presented in Proceedings of the 12th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (Mobiquitous) [Core: A], 2015.
    Published • 10.4108/eai.22-7-2015.2260069
  41. Santos, Nuno; O. Duarte, Nuno; Costa, Miguel B.; Ferreira, Paulo. "A Case for Enforcing App-Specific Constraints to Mobile Devices by Using Trust Leases". Paper presented in 15th Workshop on Hot Topics in Operating Systems (HotOS) [Core: A], 2015.
    Published
  42. Santos, Nuno; Raj, Himanshu; Saroiu, Stefan; Wolman, Alec. "Using ARM trustzone to build a trusted language runtime for mobile applications". Paper presented in Proceedings of the 19th international conference on Architectural support for programming languages and operating systems (ASPLOS) [Core: A*], 2014.
    Published • 10.1145/2541940.2541949
  43. Santos, Nuno; Lopes, Nuno P.. "Leveraging Trusted Computing and Model Checking to Build Dependable Virtual Machines". Paper presented in 10th Workshop on Hot Topics in System Dependability (HotDep), 2014.
    Published
  44. Santos, Nuno; Rodrigues, Rodrigo; P. Gummadi, Krishna; Saroiu, Stefan. "Policy-Sealed Data: A New Abstraction for Building Trusted Cloud Services". Paper presented in 21st USENIX conference on Security Symposium (Usenix Security) [Core: A*], 2012.
    Published
  45. Santos, Nuno; Raj, Himanshu; Saroiu, Stefan; Wolman, Alec. "Trusted language runtime (TLR): : enabling trusted applications on smartphones". Paper presented in Proceedings of the 12th Workshop on Mobile Computing Systems and Applications (HotMobile), 2011.
    Published • 10.1145/2184489.2184495
  46. Marcon, Massimiliano; Santos, Nuno; Gummadi, Krishna P.; Laoutaris, Nikolaos; Rodriguez, Pablo; Vahdat, Amin. "NetEx: Efficient and Cost-effective Internet Bulk Content Delivery". Paper presented in Proceedings of the 6th ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS), 2010.
    Published • 10.1145/1872007.1872045
  47. Santos, Nuno; P. Gummadi, Krishna; Rodrigues, Rodrigo. "Towards Trusted Cloud Computing". Paper presented in 1st Workshop on Hot Topics on Cloud Computing (HotCloud), 2009.
    Published
  48. Santos, N.; Ferreira, P.. "Making Distributed Transactions Resilient to Intermittent Network Connections". Paper presented in International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM'06), 2006.
    Published • 10.1109/wowmom.2006.56
  49. Veiga, L.; Santos, N.; Lebre, R.; Ferreira, P.. "Loosely-coupled, mobile replication of objects with transactions". Paper presented in Proceedings Tenth International Conference on Parallel and Distributed Systems (ICPADS), 2004.
    Published • 10.1109/icpads.2004.1316154
  50. Santos, N.; Veiga, L.; Ferreira, P.. "Transaction policies for mobile networks". Paper presented in Proceedings of Fifth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY), 2004.
    Published • 10.1109/policy.2004.1309150
  51. Santos, Nuno; Dias, Pedro. "FROMAGE - Mobile Agents Platform". Paper presented in 2nd Workshop of Introduction to Autonomous Agents (WIAA), 2001.
    Published
Conference poster
  1. 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?". Paper presented in Proceedings of SIGSAC Conference on Computer and Communications Security (CCS) [Core: A*], 2022.
    10.1145/3548606.3563520
  2. Ferreira, Mafalda; Brito, Tiago; Santos, José Fragoso; Santos, Nuno. "Poster: A Systems Approach to GDPR Compliance-by-Design in Web Development Stacks". Paper presented in Proceedings of SIGSAC Conference on Computer and Communications Security (CCS) [Core: A*], 2022.
    10.1145/3548606.3563521
  3. Santos, Nuno. "Improving Customer Trust in Cloud Services". Paper presented in Eurosys, 2011.
  4. Santos, Nuno. "Anonymity in the Personalized Web". Paper presented in 5th USENIX Symposium on Networked Systems Design and Implementation (NSDI), 2008.
Journal article
  1. 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
  2. Brito, Tiago; Lopes, Pedro; Nuno Miguel Carvalho Santos; José Fragoso Santos. "Wasmati: An Efficient Static Vulnerability Scanner for WebAssembly". Computers & Security (2022):
  3. 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.
    Published • 10.1016/j.cose.2018.08.013
  4. Pinto, Sandro; Santos, Nuno. "Demystifying Arm TrustZone". ACM Computing Surveys [Scimago: Q1] 51 6 (2019): 1-36. http://dx.doi.org/10.1145/3291047.
    Published • 10.1145/3291047
  5. 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.
    Published • 10.1515/popets-2017-0037
  6. 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.
    Published • 10.1007/s12243-017-0587-2
  7. 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.
    Published • 10.1145/2506164.2506167
  8. 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.
    Published • 10.1007/s13174-010-0011-x
Thesis / Dissertation
  1. Santos, Nuno. "Improving trust in cloud, enterprise, and mobile computing platforms". PhD, Max-Plank Institute for Software Systems / Saarland University, 2013.
    10.22028/d291-25366
  2. Santos, Nuno. "Policy-Based Object-Oriented Transactional System for Mobile Networks". Master, Universidade de Lisboa Instituto Superior Técnico, 2006.

Intellectual property

Patent
  1. Himanshu Raj; Santos, Nuno; Paul England; Stefan Saroiu; Alastair Wolman. 2019. "Trusted language runtime on a mobile platform". United States.
    Granted/Issued
Activities

Supervision

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

Event organisation

Event name
Type of event (Role)
Institution / Organization
2024 - Current USENIX Security'24 [PC member] (2024)
Conference (Member of the Scientific Committee)
2023 - Current ACM Conference on Computer and Communications Security'23 (CCS) [PC Member] (2023)
Conference (Member of the Scientific Committee)
2022 - Current ACM Conference on Computer and Communications Security'22 (CCS) [PC Member] (2022)
Conference (Member of the Scientific Committee)
2023 - 2023 ASIACCS'23 [PC member] (2023)
Conference (Member of the Scientific Committee)
2022 - 2023 USENIX Security'23 [PC member] (2022)
Conference (Member of the Scientific Committee)
2021 - 2021 EuroSys Doctoral Workshop (EuroDW) [PC member] (2021 - 2021)
Workshop (Member of the Scientific Committee)
2021 - 2021 Digital Privacy and Security Conference [PC member] (2021 - 2021)
Conference (Member of the Scientific Committee)
2021 - 2021 IEEE/ACM International Conference on Cluster, Cloud and Grid Computing (CCGrid) [PC member] (2021 - 2021)
Conference (Member of the Scientific Committee)
2021 - 2021 ACM Conference on Computer and Communications Security'21 (CCS) [PC member] (2021 - 2021)
Conference (Member of the Scientific Committee)
2021 - 2021 Decentralising the Internet with IPFS and Filecoin Workshop (DI2F) (2021 - 2021)
Workshop (Co-organisor)
2020 - 2020 International Conference on Security and Cryptography (SECRYPT) [PC member] (2020 - 2020)
Conference (Member of the Scientific Committee)
2020 - 2020 ISOC.PT ANR Workshop [PC member] (2020)
Workshop (Member of the Scientific Committee)
2020 - 2020 Digital Privacy and Security Conference [PC member] (2020 - 2020)
Conference (Member of the Scientific Committee)
2020 - 2020 INFORUM Simpósio de Informática (INFORUM) [PC member] (2020 - 2020)
Conference (Member of the Scientific Committee)
2020 - 2020 Middleware Doctoral Symposium [PC member] (2020 - 2020)
Workshop (Member of the Scientific Committee)
2019 - 2019 International Conference on Security and Cryptography (SECRYPT) [PC member] (2019 - 2019)
Conference (Member of the Scientific Committee)
2019 - 2019 INFORUM Simpósio de Informática (INFORUM) [PC member] (2019 - 2019)
Conference (Member of the Scientific Committee)
2018 - 2018 CRYPTACUS Training School, ICT COST Action IC1403 [OC member] (2018 - 2018)
Workshop (Member of the Organising Committee)
2018 - 2018 International Conference on Security and Cryptography (SECRYPT) [PC member] (2018 - 2018)
Conference (Member of the Scientific Committee)
2018 - 2018 INFORUM Simpósio de Informática (INFORUM) [PC member] (2018 - 2018)
Conference (Member of the Scientific Committee)
2017 - 2017 International Conference on Security and Cryptography (SECRYPT) [PC member] (2017 - 2017)
Conference (Member of the Scientific Committee)
2017 - 2017 Segurança de Sistemas de Computadores e Comunicações, INFORUM Simpósio de Informática (INFORUM) [Track co-chair] (2017 - 2017)
Conference (Co-organisor)
2016 - 2016 International Conference on Security and Cryptography (SECRYPT) [PC member] (2016 - 2016)
Conference (Member of the Scientific Committee)
2016 - 2016 INFORUM Simpósio de Informática (INFORUM) [PC member] (2016 - 2016)
Conference (Member of the Scientific Committee)
2016 - 2016 Computação Móvel e Ubíqua, INFORUM Simpósio de Informática (INFORUM) [Track chair] (2016 - 2016)
Conference (Co-organisor)
2015 - 2015 INFORUM Simpósio de Informática (INFORUM) [PC member] (2015 - 2015)
Conference (Member of the Scientific Committee)
2014 - 2014 TRUDEVICE Training School. ICT COST Action IC1204 [OC member] (2014 - 2014)
Workshop (Member of the Organising Committee)
2014 - 2014 ACM Symposium on Information, Computer and Communications Security (ASIACCS) [PC member] (2014 - 2014)
Conference (Member of the Scientific Committee)
2014 - 2014 OSDI 2014 Poster Session [PC member] (2014 - 2014)
Conference (Member of the Scientific Committee)
2006 - 2006 Policy-based Systems track, IEEE International Conference on Systems and Networks Communications (ICSNC) [PC member] (2006 - 2006)
Conference (Member of the Scientific Committee)
2001 - 2001 Workshop of Introduction to Autonomous Agents (WIAA) [OC member] (2001 - 2001)
Workshop (Member of the Organising Committee)
2001 - 2001 VIIIª Semana Informática (SINFO), the annual Computer Science Week at IST/UTL [OC member] (2001 - 2001)
Workshop (Member of the Organising Committee)

Jury of academic degree

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

Committee member

Activity description
Role
Institution / Organization
2019 - Current Representative of the ASO Scientific Area, DEI, IST/Universidade de Lisboa, since 2019
Member

Conference scientific committee

Conference name Conference host
2020 - Current 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)

Consulting

Activity description Institution / Organization
2020 - 2020 Parecer sobre segurança de sistema de vigilância electrónica

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
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)

Journal scientific committee

Journal title (ISSN) Publisher
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)
Distinctions

Award

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