Publications by Nuno Santos

 

[ Peer Reviewed | Technical Reports | Theses | Citations | Home ]

---

Peer Reviewed Publications

2021

• FlowLens: Enabling Efficient Flow Classification for ML-based Network Security Applications
  Diogo Barradas, Nuno Santos, Luís Rodrigues, Salvatore Signorello, Fernando Ramos, André Madeira
  Proceedings of Network and Distributed System Security Symposium 2021 (NDSS'21)
  

2020

• Poking a Hole in the Wall: Efficient Censorship-Resistant Internet Communications by Parasitizing on WebRTC [pdf][talk][teaser][poster][code]
  Diogo Barradas, Nuno Santos, Luís Rodrigues, Vítor Nunes
  Proceedings of ACM Conference on Computer and Communications Security 2020 (CCS'20)
  

• SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems [pdf]
  David Cerdeira, Nuno Santos, Pedro Fonseca, Sandro Pinto
  Proceedings of IEEE Symposium on Security and Privacy 2020 (S&P'20)
  

• Flowverine: Leveraging Dataflow Programming for Building Privacy-Sensitive Android Applications [pdf]
  Eduardo Gomes, Igor Zavalyshyn, Nuno Santos, João Silva, Axel Legay
  Proceedings of IEEE International Conference on Trust, Security and Privacy in Computing and Communications 2020 (TrustCom'20)
  

• My House, My Rules: A Private-by-Design Smart Home Platform
  Igor Zavalyshyn, Nuno Santos, Ramin Sadre, Axel Legay
  Proceedings of 17th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services 2020 (Mobiquitous'20)
  

• Censorship-resistant Web Annotations Based on Ethereum and IPFS [pdf][extended]
  João Santos, Nuno Santos, David Dias
  Proceedings of ACM/SIGAPP Symposium On Applied Computing (SAC'20)
  

• Towards a Scalable Censorship-Resistant Overlay Network based on WebRTC Covert Channels [pdf]
  Diogo Barradas, Nuno Santos
  Proceedings of International Workshop on Distributed Infrastructure for Common Good (DICG '20) @ Middleware'20
  

• On the unobservability of multimedia-based covert channels for Internet censorship circumvention [pdf]
  Diogo Barradas, Nuno Santos, Luís Rodrigues
  ISOC.PT ANRW 2020 (best research paper & Internet impact acknowledge mention)
  

2019

• Demystifying Arm TrustZone: A Comprehensive Survey [pdf]
  Sandro Pinto, Nuno Santos
  ACM Computing Surveys, Volume 51, Issue 6, January 2019
  

• Trusted language runtime on a mobile platform [pdf]
  Himanshu Raj, Nuno Santos, Paul England, Stefan Saroiu, Alastair Wolman
  US Patent 10,496,824, 2019
  

• Identificação de Canais Encobertos no Skype usando Esboços em SDNs [pdf]
  André Madeira, Diogo Barradas, Nuno Santos, Luís Rodrigues
  Proceedings of INFORUM, 2019 (best paper award)
  

2018

• Leveraging ARM TrustZone and Verifiable Computing to Provide Auditable Mobile Functions [pdf]
  Nuno O. Duarte, Sileshi Demesie Yalew, Nuno Santos, Miguel Correia
  Proceedings of MobiQuitous, 2018
  

• HomePad: A Privacy-aware Smart Hub for Home Environments [pdf]
  Igor Zavalyshyn, Nuno O. Duarte, Nuno Santos
  Proceedings of ACM/IEEE Symposium on Edge Computing (SEC), 2018
  

• Forensic Analysis of Communication Records of Web-based Messaging Applications from Physical Memory [pdf]
  Diogo Barradas, Tiago Brito, David Duarte, Nuno Santos, Luís Rodrigues
  Computers & Security, 2018
  

• Sistema de Gestão de Bases de Dados para Aplicações Móveis apoiado por TrustZone [pdf]
  Pedro Ribeiro, Nuno Santos, Nuno O. Duarte
  Proceedings of INFORUM, 2018
  

• DBStore: A TrustZone-backed Database Management System for Mobile Applications [pdf]
  Pedro Ribeiro, Nuno Santos, Nuno O. Duarte
  Proceedings of SECRYPT, 2018
  

• An Extended Case Study about Securing Smart Home Hubs through N-Version Programming [pdf]
  Igor Zavalyshyn, Nuno O. Duarte, Nuno Santos
  Proceedings of SECRYPT, 2018 (best student paper award)
  

• Effective Detection of Multimedia Protocol Tunneling using Machine Learning [pdf]
  Diogo Barradas, Nuno Santos, Luís Rodrigues
  Proceedings of USENIX Security, 2018
  

2017

• DeltaShaper: Enabling Unobservable Censorship-resistant TCP Tunneling over Videoconferencing Streams [pdf]
  Diogo Barradas, Nuno Santos, Luís Rodrigues
  Proceedings of PoPETS, 2017
  

• TrUbi: A System for Dynamically Constraining Mobile Devices within Restrictive Usage Scenarios [pdf]
  Miguel B. Costa, Nuno O. Duarte, Nuno Santos, Paulo Ferreira
  Proceedings of MobiHoc, 2017
  

• Forensic Analysis of Communication Records of Web-based Messaging Applications from Physical Memory [pdf]
  Diogo Barradas, Tiago Brito, David Duarte, Nuno Santos, Luís Rodrigues
  Proceedings of SECRYPT, 2017
  

• Cross-domain identity and discovery framework for web calling services [pdf]
  Jean-Michel Crom, Ibrahim Tariq Javed, Rebecca Copeland, Noel Crespi, Felix Beierle, Sebastian Göndör, Axel Küpper, Marc Emmelmann, Andreea Ancuta Corici, Kevin Corre, Ahmed Bouabdallah, Frank Oberle, Ingo Friese, Ricardo Jorge Fernandes Chaves, Nuno Santos
  Annals of Telecommunications, 2017
  

• reTHINK Core Framework, a New Way for Establishing Communication Channels Between Endpoints
  Paulo Chainho, Anastasius Gavras, Steffen Druesedow, Ricardo Lopes Pereira, Ricardo Jorge Fernandes Chaves, Nuno Santos, Bernardo Graça
  Proceedings of EuCNC, 2017
  

• Decentralized Communications: Trustworthy Interoperability in Peer-To-Peer Networks
  Paulo Chainho, Steffen Druesedow, Ricardo Lopes Pereira, Ricardo Jorge Fernandes Chaves, Nuno Santos, Kay Haensge, Anton Roman Portabales
  Proceedings of EuCNC, 2017
  

2016

• ARM TrustZone for Secure Image Processing on the Cloud [pdf]
  Tiago Brito, Nuno O. Duarte, Nuno Santos
  Proceedings of SRDS Workshops, 2016
  

• Síntese de Vídeo para Evasão de Censura na Internet [pdf]
  Diogo Barradas, Nuno Santos, Luís Rodrigues
  Proceedings of Inforum, 2016
  

• Efficient Location-aware Message Delivery for Encounter Networks [pdf]
  Igor Zavalyshyn, Nuno O. Duarte, Nuno Santos
  Proceedings of Inforum, 2016
  

• Storekeeper: A Security-Enhanced Cloud Storage Aggregation Service [pdf]
  Sancha Pereira, André Alves, Nuno Santos, Ricardo Chaves
  Proceedings of SRDS, 2016
  

• ShareIff: A Sticky Policy Middleware for Self-Destructing Messages in Android Applications [pdf]
  António Goulão, Nuno O. Duarte, Nuno Santos
  Proceedings of SRDS, 2016
  

• P-Cop: A Cloud Administration Proxy to Enforce Bipartite Maintenance of PaaS Services [pdf]
  Brugo Braga, Nuno Santos
  Proceedings of IEEE Cloud, 2016
  

• Global Identity and Reachability Framework for Interoperable P2P Communication Services [pdf]
  Ibrahim Tariq Javed, Rebecca Copeland, Noel Crespi, Felix Beierle, Sebastian Göndör, Axel Küpper, Ahmed Bouabdallah, Marc Emmelmann, Andreea Ancuta Corici, Jean-Michel Crom, Kevin Corre, Frank Oberle, Ingo Friese, Ricardo Jorge Fernandes Chaves, Nuno Santos
  Proceedings of ICIN, 2016
  

2015

• A Case for Enforcing App-Specific Constraints to Mobile Devices by Using Trust Leases [pdf] [slides]
  Nuno Santos, Nuno O. Duarte, Miguel B. Costa, Paulo Ferreira
  Proceedings of HotOS, 2015
  

• Termite: Emulation Testbed for Encounter Networks [pdf]
  Rodrigo Bruno, Nuno Santos, Paulo Ferreira
  Proceedings of MobiQuitous, 2015
  

2014

• Leveraging Trusted Computing and Model Checking to Build Dependable Virtual Machines [pdf] [slides]
  Nuno Santos, and Nuno P. Lopes
  Proceedings of HotDep, 2014
  

• Using ARM TrustZone to Build a Trusted Language Runtime for Mobile Applications [pdf]
  Nuno Santos, Himanshu Raj, Stefan Saroiu, and Alec Wolman
  Proceedings of ASPLOS, 2014
  

2013

• Verifying Cloud Services: Present and Future [pdf]
  Sara Bouchenak, Gregory Chockler, Hana Chockler, Gabriela Gheorghe, Nuno Santos, and Alexander Shraer
  Operating Systems Review, July, 2013
  

2012

• Enhancing the OS against Security Threats in System Administration [pdf]
  Nuno Santos, Rodrigo Rodrigues, and Bryan Ford
  Proceedings of Middleware, 2012
  

• Policy-Sealed Data: A New Abstraction for Building Trusted Cloud Services [pdf] [slides]
  Nuno Santos, Rodrigo Rodrigues, Krishna P. Gummadi, and Stefan Saroiu
  Proceedings of USENIX Security, 2012
  

2011

• Trusted Language Runtime (TLR): Enabling Trusted Applications on Smartphones [pdf]
  Nuno Santos, Himanshu Raj, Stefan Saroiu, and Alec Wolman
  Proceedings of HotMobile, 2011
  

• Improving Customer Trust in Cloud Services
  Nuno Santos, Rodrigo Rodrigues, Krishna P. Gummadi, and Stefan Saroiu
  Poster at Eurosys, 2011

2010

• Unifying Divergence Bounding and Locality Awareness in Replicated Systems with Vector-Field Consistency [pdf]
  Luis Veiga, Andre Negrao, Nuno Santos, and Paulo Ferreira
  Journal of Internet Services and Applications, Volume 1, Number 2, 2010
  

• NetEx: Efficient and Cost-effective Internet Bulk Content Delivery [pdf]
  Massimiliano Marcon, Nuno Santos, Krishna P. Gummadi, Nikolaos Laoutaris, Pablo Rodriguez, and Amin Vahdat
  Poster at ANCS, 2010

2009

• Towards Trusted Cloud Computing [pdf] [slides]
  Nuno Santos, Krishna P. Gummadi, and Rodrigo Rodrigues
  Proceedings of HotCloud, 2009
  

2008

• Anonymity in the Personalized Web [pdf]
  Nuno Santos, Alan Mislove, Marcel Dischinger, and Krishna P. Gummadi
  Poster at NSDI, 2008

2007

• Vector-Field Consistency for Ad-hoc Gaming [pdf]
  Nuno Santos, Luis Veiga, and Paulo Ferreira
  Proceedings of Middleware, 2007 (best paper award)
  

2006

• Making Transactions Resilient to Intermittent Network Connections [pdf]
  Nuno Santos, and Paulo Ferreira
  Proceedings of MDC, 2006
  

2004

• Loosely-Coupled, Mobile Replication of Objects with Transactions [pdf]
  Luis Veiga, Nuno Santos, Ricardo Lebre, and Paulo Ferreira
  Proceedings of QDS, 2004
  

• Transaction Policies for Mobile Networks [pdf]
  Nuno Santos, Luis Veiga, and Paulo Ferreira
  Proceedings of IEEE Policy, 2004
  

 

---

Technical Reports

• DClaims: A Censorship Resistant Web Annotations System using IPFS and Ethereum [pdf] (ZK Capital's nominated paper of the week)
  João Santos, Nuno Santos, David Dias
  arXiv, 1912.03388, 2019
  

• Excalibur: Building Trustworthy Cloud Services
  Nuno Santos, Rodrigo Rodrigues, Krishna P. Gummadi, and Stefan Saroiu
  TR. MPI-SWS-2011-004, MPI, November, 2011
  

• NetEx: Cost-effective Bulk Data Transfers for Cloud Computing
  Massimiliano Marcon, Nuno Santos, Krishna P. Gummadi, Nikolaos Laoutaris, Pablo Rodriguez, and Amin Vahdat
  TR. MPI-SWS-2011-005, MPI, November, 2011
  

• Generic Consistency Models Support in Mobihoc
  Nuno Santos
  INESC-ID Tec. Rep. 3/2007, January, 2007
  

• Making Distributed Transactions Resilient to Intermittent Network Connections
  Nuno Santos
  INESC-ID Tec. Rep. 1/2006, January, 2006
  

• Policy-Based Object-Oriented Transactional System for Mobile Network
  Nuno Santos, and Paulo Ferreira
  INESC-ID Tec. Rep. 31/2005, December, 2005
  

 

---

Theses

• Improving Trust in Cloud, Enterprise, and Mobile Computing Platforms [pdf]
  Nuno Santos
  PhD Thesis. Saarland University / MPI-SWS, Germany, November, 2013.
  

• Policy-Based Object-Oriented Transactional System for Mobile Networks
  Nuno Santos
  MSc Thesis. IST/UTL, Portugal, January, 2006.
  

 

---