Publications

Books

Book Chapters: 7

2020

- Arnaldo Luis de Gouveia and Miguel Correia, XGBoost(ing) Network Intrusion Detection, chapter of Advances in Security, Privacy and Trust for Internet-of-Things (IoT) and Cyber-Physical Systems (CPS), Jan. 2020, CRC Press [bibTex]
- Arnaldo Luis de Gouveia and Miguel Correia, Deep Learning for Network Intrusion Detection: An Empirical Assessment, chapter of Advances in Security, Privacy and Trust for Internet-of-Things (IoT) and Cyber-Physical Systems (CPS), Jan. 2020, CRC Press [bibTex]
- Gil Mouta and Miguel Pardal and João Bota and Miguel Correia, SPATIO: end-uSer Protection Against ioT IntrusiOns, chapter of Advances in Security, Privacy and Trust for Internet-of-Things (IoT) and Cyber-Physical Systems (CPS), Jan. 2020, CRC Press [bibTex]
- Luís Sacramento and Ibéria Vitória de Sousa Medeiros and João Bota and Miguel Correia, Detecting Botnets and Unknown Network Attacks in Big Traffic Data, chapter of Botnets: Architectures, Countermeasures, and Challenges, Jan. 2020 [bibTex]
- Miguel Correia, From Byzantine Consensus to Blockchain Consensus, chapter of Essentials of Blockchain Technology, Jan. 2020, CRC Press [bibTex]
- Tiago Rosado and André Ferreira Ferrão Couto e Vasconcelos and Miguel Correia, A Blockchain Use Case for Car Registration, chapter of Essentials of Blockchain Technology, Jan. 2020, CRC Press [bibTex]
- Luís Filipe Dias and Miguel Correia, Big Data Analytics for Intrusion Detection: An Overview, chapter of Handbook of Research on Machine and Deep Learning Applications for Cyber Security, Jan. 2020, IGI Global [bibTex]

Articles

International Journal Articles: 11

2021

- André Pires and José Simão and Luís Veiga, Distributed and Decentralized Orchestration of Containers on Edge Clouds, article in Journal of Grid Computing, to appear on 2021, Springer [bibTex]
- José Eduardo Brissos Raposo and António Rito Silva and Manuel Portela, ELdoD Visual - A Visual Reader for Fernando Pessoa’s Book of Disquiet: An In-Out-In Metaphor, article in Digital Humanities Quarterly vol. 15 (3), Oct. 2021, The Alliance of Digital Humanities Organizations and The Association for Computers and the Humanities [DOI Article link] [bibTex]
- Alexandro Baldassin and João Barreto and Daniel Castro and Paolo Romano, Persistent Memory: A Survey of Programming Support and Implementations, article in ACM Computing Surveys vol. 54, Jul. 2021, ACM [bibTex] [PDF]
- Rafael André Pestana Belchior and André Ferreira Ferrão Couto e Vasconcelos and Sérgio Guerreiro and Miguel Correia, A Survey on Blockchain Interoperability: Past, Present, and Future Trends, article in ACM Computing Surveys, Jun. 2021, ACM [bibTex]
- Miguel E. Coimbra and A. P. Francisco and Luís Veiga, An analysis of the graph processing landscape, article in Journal of Big Data vol. 8 (55), Apr. 2021, Springer [DOI Article link] [bibTex]
- Gonçalo Roque Araújo and Inês Isabel Chinita Pereira and António Menezes Leitão and Manuel Guedes, Conflicts in Passive Building Performance: Retrofit and Regulation of Informal Neighbourhoods, article in Frontiers of Architectural Research, Feb. 2021, Elsevier BV [bibTex]

2020

- Sérgio Guerreiro and Diogo Silva and Tiago Rosado and André Ferreira Ferrão Couto e Vasconcelos and Miguel Correia and Pedro Manuel Moreira Vaz Antunes de Sousa, Decentralized Business Process Control using Blockchain - An experience report from two applications: Food Supply Chain and Car Registration, article in Enterprise Modelling and Information Systems Architectures vol. 15, to appear on 2020 [bibTex]
- Paulo Ferreira and Constantin Zavgorodnii and Luís Veiga, edgeTrans - Edge Transport Mode Detection, article in Pervasive and Mobile Computing, to appear on 2020, Elsevier [DOI Article link] [bibTex]
- Ray Neiheiser and Luciana Rech and Angel Manuel Bravo Gestoso and Luis Rodrigues and Miguel Correia, Fireplug: Efficient and Robust Geo-Replication of Graph Databases, article in IEEE Transactions on Parallel and Distributed Systems vol. 31 (8), Aug. 2020, IEEE [bibTex]
- João Miguel Leão Guerreiro and Rui Moura and João Nuno de Oliveira e Silva, TEEnder: SGX Enclave Migration using HSMs, article in Computers & Security, May. 2020, Elsevier B.V. [DOI Article link] [bibTex] [PDF]
- Zhongmiao Li and Paolo Romano and Peter Van Roy, Transparent Speculation in Geo-Replicated Transactional Data Stores, article in Jurnal of Parallel and Distributed Computing, May. 2020, Elsevier [bibTex]

International Conferences: 74

2021

- Ray Willy Neiheiser and Miguel Matos and Luis Rodrigues, Kauri: Scalable BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation, presented at The 28th ACM Symposium on Operating Systems Principles (SOSP), Oct. 2021 [DOI Article link] [bibTex]
- Nicolas Lee Guidotti and Pedro Maria de Lancastre e Távora Ceyrat and João Barreto and J. Monteiro and Rodrigo Rodrigues and Ricardo Fonseca and X. Martorell and A. Peña, Particle-In-Cell Simulation using Asynchronous Tasking, presented at 27th International European Conference on Parallel and Distributed Computing (Euro-Par 21), Aug. 2021 [bibTex]
- Tiago Mourão Lopes and Miguel E. Coimbra and Luís Veiga, Smart Distributed DataSets for Streaming, presented at 27th International European Conference on Parallel and Distributed Computing (Euro-Par 2021), Aug. 2021 [bibTex]
- Paolo Romano and David Garlan and Gabriel Moreno and Eunsuk Kang and Mark Klein, Self-Adaptation for Machine Learning Based Systems, presented at Workshop on Software Architecture and Machine Learning (SAML), Jul. 2021 [bibTex]
- Taimur Rabuske and Mário Diogo Patricio da Silva and Diogo Brito and João Gonçalo Neto Silva and HANNA IVA BUSSE and Ana V. Silva and Diana Leitão and Mafalda Ferreira and Sofia Alexandra Cruz Abrunhosa and Pedro Ribeiro and Susana Cardoso, A Biomedical Imaging System Based on an Integrated Array of Magnetoresistive Sensors, Jun. 2021 [bibTex]
- João Gonçalo da Silva Antunes and David Dias and Luís Veiga, Pulsarcast: Scalable, Reliable Pub-Sub over P2P Nets, presented at DI2F: DECENTRALISING THE INTERNET WITH IPFS AND FILECOIN (Workshop co-located with IFIP Networking 2021 Conference), Jun. 2021 [bibTex]
- Paolo Romano, Transactions in the Era of Non Volatile Memory and Heterogeneous Memory Architectures, presented at Workshop on Performance and Energy-efficiency in Concurrent Systems, May. 2021 [bibTex]
- Jingna Zeng and Shady Alaaeldin Issa and Paolo Romano and Luis Rodrigues and Seif Haridi, Investigating the Semantics of Futures in Transactional Memory Systems, presented at The 26st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), Mar. 2021 [bibTex]
- Nuno Manuel Bagulho Gonçalves and Diogo Faustino and António Rito Silva and Manuel Portela, Monolith Modularization Towards Microservices: Refactoring and Performance Trade-offs, presented at Proceedings of the 18th International Conference on Software Architecture (ICSA 2021), Mar. 2021 [DOI Article link] [bibTex]
- Daniel Pires de Sá Medeiros and Rafael Kuffner dos Anjos and Nadia Pantidi and Kun Huang and António Mauricio Lança Tavares de Sousa and Craig Anslow and Joaquim Armando Pires Jorge, Promoting Reality Awareness in Virtual Reality through Proxemics, presented at IEEE Symposium on Virtual Reality and 3D User Interfaces 2021, Mar. 2021 [bibTex]
- Filipa Salema Roseta Pedrosa and Luis Rodrigues, Reducing the Subscription Latency in Reliable Causal Publish-Subscribe Systems, presented at The 36th ACM/SIGAPP Symposium On Applied Computing (SAC), Mar. 2021 [bibTex]
- Diogo Miguel Barrinha Barradas and Nuno Santos and Luis Rodrigues and Salvatore Signorello and Fernando Ramos and André Filipe Antunes Madeira, FlowLens: Enabling Efficient Flow Classification for ML-based Network Security Applications, presented at Proceedings of Network and Distributed System Security Symposium (NDSS), Feb. 2021 [bibTex]
- Daniel Castro and Alexandro Baldassin and João Barreto and Paolo Romano, SPHT: Scalable Persistent Hardware Transactions, presented at 19th USENIX Conference on File and Storage Technologies (FAST), Feb. 2021 [bibTex] [PDF] [Video]

2020

- Tiago Fernandes and Luis Filipe Xavier Cavaco Mendoça Dias and Miguel Correia, C2BID: Cluster Change-Based Intrusion Detection, presented at IEEE Trustcom 2020, Dec. 2020 [bibTex]
- Eduardo Gomes and Igor Zavalyshyn and Nuno Santos and João Nuno de Oliveira e Silva and Axel Legay, Flowverine: Leveraging Dataflow Programming for Building Privacy-Sensitive Android Applications, presented at Proceedings of IEEE International Conference on Trust, Security and Privacy in Computing and Communications 2020 (TrustCom), Dec. 2020 [bibTex]
- Igor Zavalyshyn and Nuno Santos and Ramin Sadre and Axel Legay, My House, My Rules: A Private-by-Design Smart Home Platform, presented at Proceedings of 17th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (Mobiquitous), Dec. 2020 [bibTex]
- Diogo Miguel Barrinha Barradas and Nuno Santos, Towards a Scalable Censorship-Resistant Overlay Network based on WebRTC Covert Channels, presented at Proceedings of International Workshop on Distributed Infrastructure for Common Good (DICG) @ Middleware'20, Dec. 2020 [bibTex]
- Hugo Rafael Silva Guerreiro and Luis Rodrigues and Nuno Preguiça and Nívia Quental, Causality Tracking Tradeoffs for Distributed Storage, presented at IEEE International Symposium on Network Computing and Applications (NCA), Nov. 2020 [bibTex]
- Gonçalo Medeiros Serapicos Montalvão Marques and António Rito Silva and Manuel Portela, Classification in the LdoD Archive: A Crowdsourcing and Gamification Approach, presented at The 22nd International Conference on Asia-Pacific Digital Libraries (ICADL 2020), Nov. 2020 [bibTex]
- Gilbeto Gomes and Luis Filipe Xavier Cavaco de Mendonça Dias and Miguel Correia, CryingJackpot: Network Flows and Performance Counters against Cryptojacking, presented at 19th IEEE International Symposium on Network Computing and Applications (NCA), Nov. 2020 [bibTex]
- Fábio Miguel de Jesus Gomes and Miguel Correia, Cryptojacking Detection with CPU Usage Metrics, presented at 19th IEEE International Symposium on Network Computing and Applications (NCA), Nov. 2020 [bibTex]
- Miguel Matos and Paolo Romano and Shady Alaaeldin Issa and Miguel Viegas and Pedro Luís Galvão Raminhas and Nuno Machado, Exploiting Symbolic Execution to Accelerate Deterministic Databases, presented at International Conference on Distributed Computing Systems, Nov. 2020 [bibTex]
- Luis Filipe Xavier Cavaco de Mendonça Dias and Simão Valente and Miguel Correia, Go With the Flow: Clustering Dynamically-Defined NetFlow Features for Network Intrusion Detection with DynIDS, presented at 19th IEEE International Symposium on Network Computing and Applications (NCA), Nov. 2020 [bibTex]
- Alexandra Sofia Gaio Chaveiro Figueiredo and Tatjana Lide and David Rogério Póvoa de Matos and Miguel Correia, MERLIN: Multi-Language Web Vulnerability Detection, presented at 19th IEEE International Symposium on Network Computing and Applications (NCA), Nov. 2020 [bibTex]
- Diogo Lopes Vaz and David Rogério Póvoa de Matos and Miguel Pardal and Miguel Correia, MIRES: Recovering Mobile Applications based on Backend-as-a-Service from Cyber Attacks, presented at MobiQuitous 2020, Nov. 2020 [bibTex]
- Inês Isabel Chinita Pereira and António Menezes Leitão, More is More: The No Free Lunch Theorem in Architecture, presented at Imaginable Futures: Design Thinking, and the Scientific Method: Proceedings of the 54th International Conference of the Architectural Science Association (ANZAScA), Nov. 2020 [bibTex] [PDF]
- Sérgio Esteves and João Nuno de Oliveira e Silva and Luís Veiga, Palpatine: Mining Frequent Sequences for Data Prefetching in NoSQL Distributed Key-Value Stores, presented at IEEE 19th International Symposium on Network Computing and Applications (NCA 2020) - Best Student Paper Award, Nov. 2020 [bibTex]
- José Bernardo Guimarães Rocha and Luís Filipe Costa and Rui Prada and António Rito Silva and Daniel Jorge Viegas Gonçalves and Pedro Miguel Póvoa Correia, Quizzes (as a tool for self-regulated learning) in Software Engineering Education, presented at 32nd IEEE International Conference on Software Engineering Education & Training (CSEE&T 2020), Nov. 2020 [bibTex]
- Filipe Miguel Fernandes Martins and David Rogério Póvoa de Matos and Miguel Pardal and Miguel Correia, Recoverable Token: Recovering from Intrusions against Digital Assets in Ethereum, presented at 19th IEEE International Symposium on Network Computing and Applications (NCA), Nov. 2020 [bibTex]
- Filipe Miguel Fernandes Martins and David Rogério Póvoa de Matos, Recoverable Token: Recovering from Intrusions against Digital Assets in Ethereum, presented at 19th IEEE International Symposium on Network Computing and Applications (NCA), Nov. 2020 [bibTex]
- Filipe Miguel Fernandes Martins and David Rogério Póvoa de Matos and Miguel Pardal and Miguel Correia, Recoverable Token: Recovering from Intrusions against Digital Assets in the Ethereum Blockchain, presented at 19th IEEE International Symposium on Network Computing and Applications (NCA), Nov. 2020 [bibTex]
- Renata Alves Castelo Branco and Inês Alexandra do Côrro Caetano and Inês Isabel Chinita Pereira and António Menezes Leitão, The Collaborative Algorithmic Design Notebook, presented at Imaginable Futures: Design Thinking, and the Scientific Method - proceedings of the 54th International Conference of the Architectural Science Association (ANZAScA) 2020 , Nov. 2020 [bibTex]
- Arnaldo Luis de Gouveia and Miguel Correia, Towards Quantum-Enhanced Machine Learning for Network Intrusion Detection, presented at 19th IEEE International Symposium on Network Computing and Applications (NCA), Nov. 2020 [bibTex]
- António Rito Silva, A Formal Verification of the Integration of Activity and Goal-Based Workflows, presented at FoPAS 2020: Frontiers of Process Aware Systems, 2020 IEEE 24th International Enterprise Distributed Object Computing Workshop (EDOCW), Oct. 2020 [DOI Article link] [bibTex]
- Gabriel Antunes Maia and Rui Claro and Miguel Pardal, CROSS City: Wi-Fi Location Proofs for Smart Tourism, presented at 19th International Conference on Ad Hoc Networks and Wireless (AdHoc-Now), Oct. 2020 [bibTex]
- Muhammad Bilal and Marco Canini and Rodrigo Rodrigues, Finding the Right Cloud Configuration for Analytics Clusters, presented at ACM Symposium on Cloud Computing, Oct. 2020 [DOI Article link] [bibTex]
- Catarina são Miguel de Castro Brás and Renata Alves Castelo Branco and António Menezes Leitão, Parametric model manipulation: Lowering the Barriers of Algorithmic Design in Remote Collaboration, presented at Annual Conference of the {Association for Computer Aided Design in Architecture (ACADIA), Oct. 2020 [bibTex]
- Henrique Figueiredo dos Santos and Rui Claro and Leonardo S. Rocha and Miguel Pardal, STOP: a location spoofing resistant vehicle inspection system, presented at 19th International Conference on Ad Hoc Networks and Wireless (AdHoc-Now), Oct. 2020 [bibTex]
- Luis Santos and Inês Alexandra do Côrro Caetano and Inês Isabel Chinita Pereira and António Menezes Leitão, A Generative System for the Design of High-Performing Shading Devices: Exploring the Daylight Potential of Weaving Patterns, presented at Planning Post Carbon Cit ies: Proceedings of PLEA 2020, Sep. 2020 [bibTex]
- Gonçalo Roque Araújo and Susan Roaf and Manuel Correia Guedes and António Menezes Leitão and João Pinelo, Back to the Future: Reverse-designing a shelter for extreme weather in Antarctica, presented at Planning Post Carbon Cities: Proceedings of 35th Passive and Low Energy Architecture (PLEA) Conference, Sep. 2020 [bibTex] [PDF]
- Diogo Serranito and André Ferreira Ferrão Couto e Vasconcelos and Sérgio Guerreiro and Miguel Correia, Blockchain Ecosystem for Verifiable Qualifications, presented at 2nd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS), Sep. 2020 [bibTex]
- Miguel Matos and Miguel Pardal and Miguel Antão Pereira Amaral and Hugues Mercier, FaultSee: Reproducible Fault Injection in Distributed Systems, presented at European Dependable Computing Conference , Sep. 2020 [bibTex]
- Helena Luísa Freitas Martinho and Inês Isabel Chinita Pereira and Sofia Teixeira de Vasconcelos Feist and António Menezes Leitão, Integrated Algorithmic Design in Practice: A Renovation Case Study, presented at Anthropologic – Architecture and Fabrication in the Cognitive Age: Proceedings of the 37th Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conferencee, Sep. 2020 [bibTex] [PDF]
- Gonçalo Roque Araújo and Manuel Correia Guedes and António Menezes Leitão, Integrating Algorithmic Processes in Informal Urban And Architectural Planning: A Case Study Of A Maputo's Neighborhood, presented at Planning Post Carbon Cities: Proceedings of 35th Passive and Low Energy Architecture (PLEA) Conference, Sep. 2020 [bibTex] [PDF]
- João Francisco Almeida and António Rito Silva, Monolith Migration Complexity Tuning Through the Application of Microservices Patterns, presented at 14th European Conference on Software Architecture (ECSA20), Sep. 2020 [DOI Article link] [bibTex]
- Ricardo Moura and David Rogério Póvoa de Matos and Miguel Pardal and Miguel Correia, MultiTLS: Secure communication channel with cipher suite diversity, presented at IFIP TC-11 SEC 2020 International Information Security and Privacy Conference, Sep. 2020 [bibTex]
- Diogo Miguel Barrinha Barradas and Nuno Santos and Luis Rodrigues and Vitor Manuel Sobrinho Nunes, Poking a Hole in the Wall: Efficient Censorship-Resistant Internet Communications by Parasitizing on WebRTC, presented at ACM Conference on Computer and Communications Security, Sep. 2020 [bibTex]
- Inês Isabel Chinita Pereira and António Menezes Leitão, The Cost of Daylight: A Parallelized Approach to Multi-Objective Optimization, presented at Planning Post Carbon Cities: Proceedings of the 35th Passive and Low Energy Architecture (PLEA) Conference, Sep. 2020 [bibTex] [PDF]
- Nuno Afonso and Angel Manuel Bravo Gestoso and Luis Rodrigues, Combining High Throughput and Low Migration Latency for Consistent Data Storage on the Edge, presented at The 29th International Conference on Computer Communications and Networks (ICCCN), Aug. 2020 [bibTex]
- Inês Alexandra do Côrro Caetano and Sara Garcia and Inês Isabel Chinita Pereira and António Menezes Leitão, Creativity inspired by analysis: An algorithmic design system for designing structurally feasible façades, presented at RE: Anthropocene, Proceedings ofthe 25th International Conference ofthe Association for Computer-Aided Architectural Design Research in Asia (CAADRIA) 2020, Aug. 2020 [bibTex]
- Muhammad Bilal and Marco Serafini and Marco Canini and Rodrigo Rodrigues, Do the Best Cloud Configurations Grow on Trees? An Experimental Evaluation of Black Box Algorithms for Optimizing Cloud Workloads, presented at 46th International Conference on Very Large Data Bases (VLDB 2020), Aug. 2020 [bibTex] [PDF]
- Inês Isabel Chinita Pereira and Catarina Garcia Belém and António Menezes Leitão, Escaping Evolution: A Study on Multi-Objective Optimization, presented at RE: Anthropocene - Design in the Age of Humans: Proceedings of the 25th International Conference of the Association for Computer-Aided Architectural Design Research in Asia (CAADRIA), Aug. 2020 [bibTex] [PDF]
- Helena Luísa Freitas Martinho and Gonçalo Roque Araújo and António Menezes Leitão, From Macro to Micro: An integrated algorithmic approach towards sustainable cities, presented at RE: Anthropocene - Design in the Age of Humans: Proceedings of the 25th International Conference of the Association for Computer-Aided Architectural Design Research in Asia (CAADRIA), Aug. 2020 [bibTex] [PDF]
- Alexandro Baldassin and Rafael Murari and João P. L. de Carvalho and Guido Araujo and Daniel Castro and João Barreto and Paolo Romano, NV-PhTM: An Efficient Phase-Based Transactional System for Non-volatile Memory, presented at 27th International European Conference on Parallel and Distributed Computing (Euro-Par), Aug. 2020 [DOI Article link] [bibTex]
- Tiago M Dias and Pedro Miguel Fernandes Sampaio and Pedro Miguel Florindo Miguens Matutino, A Portable Lab for the Practical Study of Modern Computer Engineering, presented at XIV Congreso TAEE - Tecnología, Aprendizaje y Enseñanza de la Electrónica, Jul. 2020 [bibTex]
- Jingna Zeng and Shady Alaaeldin Issa and Seif Haridi and Luis Rodrigues and Paolo Romano, Brief Announcement: Investigating the Semantics of Futures in Transactional Memory Systems, presented at 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), Jul. 2020 [bibTex]
- Daniel Presser and Frank Siqueira and Luis Rodrigues and Paolo Romano, EdgeScaler: Effective Elastic Scaling for Graph Stream Processing Systems, presented at Proceedings of the 14th ACM International Conference on Distributed and Event-Based Systems (DEBS), Jul. 2020 [bibTex]
- Maria da Loura Casimiro and Diego Didona and Paolo Romano and Luis Rodrigues and Willy Zwaenepoel and David Garlan, Lynceus: Cost-efficient Tuning and Provisioning of Data Analytic Jobs, presented at Proceedings of the 40th IEEE International Conference on Distributed Computing Systems (ICDCS), Jul. 2020 [bibTex]
- Tiago M Dias and Pedro Miguel Fernandes Sampaio and Diogo Cardoso and Claúdio Prates and Ricardo Jesus and Tiago Costa, Open-Source Power Outlet System for IoT-based Smart Homes, presented at 2020 International Conference on Smart Energy Systems and Technologies (SEST), Jul. 2020 [bibTex]
- Sérgio Guerreiro and Putz and Miguel Correia and André Ferreira Ferrão Couto e Vasconcelos, SSIBAC: Self-Sovereign Identity Based Access Control, 3rd International Workshop on Blockchain Systems and Applications, presented at 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, Jul. 2020 [bibTex]
- Pedro Miguel Florindo Miguens Matutino and Tiago M Dias and Pedro Miguel Fernandes Sampaio, Teaching Hardware/Software Co-Design Using a Project-Based Learning Strategy, presented at XIV Congreso TAEE - Tecnología, Aprendizaje y Enseñanza de la Electrónica, Jul. 2020 [bibTex]
- Paulo Silva and David Vavřička and João Barreto and Miguel Matos, Impact of Geo-distribution and Mining Pools on Blockchains: A Study of Ethereum, presented at IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Jun. 2020 [DOI Article link] [bibTex]
- Paolo Laffranchini and Luis Rodrigues and Etienne Riviere and Ramin Sadre and João Miranda, NetSheriff: sheltering software-defined networks from rogue switches, presented at Proceedings of the 8th International Conference in Networked Systems (NETYS), Jun. 2020 [bibTex]
- Cláudio Correia and Luis Rodrigues and Miguel Correia, Omega: a Secure Event Ordering Service for the Edge, presented at Proceedings of 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Jun. 2020 [bibTex]
- Rafael Belchior and André Ferreira Ferrão Couto e Vasconcelos and Miguel Correia, Towards Secure, Decentralized, and Automatic Audits with Blockchain, presented at European Conference on Information Systems (ECIS), Jun. 2020 [bibTex]
- David Gureya and João Neto and Reza Karimi and João Barreto and Pramod Bhatotia and Vivien Quema and Rodrigo Rodrigues and Paolo Romano and Vladimir Vlassov, Bandwidth-Aware Page Placement in NUMA, presented at 34th IEEE International Parallel & Distributed Processing Symposium (IPDPS), May. 2020 [DOI Article link] [bibTex]
- David Cerdeira and Nuno Santos and Pedro Fonseca and Sandro Pinto, SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems, presented at IEEE Symposium on Security and Privacy, May. 2020 [bibTex]
- Miguel Matos and Shady Alaaeldin Issa and Paulo Gouveia and João Neves and Carlos Segarra and Luca Liechti and Valerio Schiavoni, Kollaps: decentralized and dynamic topology emulation, presented at EuroSys, Apr. 2020 [bibTex] [PDF]
- Pradeeban Kathiravelu and Peter Van Roy and Luís Veiga and Elhadj Benkhelifa, Latency-Sensitive Web Service Workflows: A Case for a Software-Defined Internet, presented at IEEE International Conference on Software Defined Systems (SDS 2020), Apr. 2020 [DOI Article link] [bibTex]
- Nuno Alexandre Vieira Santos and António Rito Silva, A Complexity Metric for Microservices Architecture Migration, presented at 2020 IEEE International Conference on Software Architecture (ICSA), Mar. 2020 [DOI Article link] [bibTex]
- João Santos and Nuno Santos and David Dias, Censorship-resistant Web Annotations Based on Ethereum and IPFS, presented at Proceedings of ACM/SIGAPP Symposium On Applied Computing (SAC), Mar. 2020 [bibTex]
- Renata Alves Castelo Branco and António Menezes Leitão and Catarina são Miguel de Castro Brás, Program Comprehension for Live Algorithmic Design in Virtual Reality, presented at Companion Proceedings of the 4th International Conference on the Art, Science, and Engineering of Programming ( Companion), Mar. 2020 [DOI Article link] [bibTex] [PDF]
- Ricardo Miranda and Miguel Pardal and António Manuel Raminhos Cordeiro Grilo, SenSmart: Sensor Data Market for the Internet of Things, presented at ACM/SIGAPP 35th Symposium On Applied Computing (SAC'2020), Mar. 2020 [DOI Article link] [bibTex]
- Miguel E. Coimbra and A. P. Francisco and Luís M. S. Russo and Guillermo de Bernardo and Susana Ladra and Gonzalo Navarro, On dynamic succinct graph representations, presented at Data Compression Conference (DCC), Jan. 2020 [bibTex]

National Journal Articles: 1

2020

- Tolentino Martins and Miguel Pardal and José Borges, Gestão de Vulnerabilidade e Risco no Suporte à Decisão, article in Proelium, Jan. 2020 [bibTex]

Dissertations

PhD Theses: 2

2020

- Jingna Zeng advised by Paolo Romano and Seif Haridi, Augmenting Transactional Memory with the Future Abstraction, PhD Thesis at Instituto Superior Tecnico & KTH, Oct. 2020 [bibTex]
- Zhongmiao Li advised by Paolo Romano and Peter Van Roy, Speculation in Partially-Replicated Transactional Data Stores, PhD Thesis at Instituto Superior Tecnico & Catholic University of Louvain, May. 2020 [bibTex]

MSc Theses: 19

2021

- David Jorge Louro Ferreira advised by Miguel Matos, ATOCS  - Automatic Configuration of Secure Databases, MSc Thesis, work in progresson 2021 [bibTex]
- Mafalda Baptista Ferreira advised by Nuno Santos, Building GDPR-Compliant Applications with RuleKeeper, MSc Thesis, Feb. 2021 [bibTex]
- Pedro Daniel Rogeiro Lopes advised by José Santos and Nuno Santos, Discovering Vulnerabilities in WebAssembly with Code Property Graphs, MSc Thesis, Feb. 2021 [bibTex]
- Marco Filipe Guerreira da Silva advised by Rodrigo Rodrigues, Building more decentralized blockchains using secure virtual coordinates, MSc Thesis, Jan. 2021 [bibTex]
- Leonardo Marques Epifânio advised by Luis Rodrigues, Cathode: A Consistency-Aware Data Placement Algorithm for the Edge, MSc Thesis, Jan. 2021 [bibTex]
- Tiago Miguel Calhanas Gonçalves advised by Luis Rodrigues, Dynamic Reconfiguration of the Data Aggregation Topology at the Edge, MSc Thesis, Jan. 2021 [bibTex]
- Miguel Gil da Silva Simão advised by Miguel Pardal and Carlos Nuno da Cruz Ribeiro, PriVeil Circle: using Secure Multiparty Computation for sharing threat information, MSc Thesis, Jan. 2021 [bibTex]
- Diogo Paulo Dias advised by Luís Veiga and José Simão, RATEE - Resource Auction Trading at Edge Environments, MSc Thesis, Jan. 2021 [bibTex]
- Filipe Miguel Fernandes Martins advised by Miguel Pardal and Miguel Correia, Recoverable Token Recovering from Intrusions against Digital Assets in Ethereum, MSc Thesis, Jan. 2021 [bibTex]

2020

- Marco António Vaz Coelho advised by Miguel Matos and Ricardo Chaves, Blockchain-based secret management in multi-cloud storage platforms, MSc Thesis, work in progresson 2020 [bibTex]
- Diogo Lopes Vaz advised by Miguel Correia and Miguel Pardal, MIRES: Recovering Mobile Applications based on Backend-as-a-Service from Cyber Attacks, MSc Thesis, Dec. 2020 [bibTex]
- João Tiago Alves Gonçalves advised by Miguel Matos and Rodrigo Rodrigues, Scalable consistency service, MSc Thesis, work in progresson 2020 [bibTex]
- Hugo Rafael Silva Guerreiro advised by Luis Rodrigues and Nuno Preguiça, Causality Tracking Trade-offs for Distributed Storage, MSc Thesis at Universidade de Lisboa, Nov. 2020 [bibTex]
- Miguel Leitão Belém advised by Luis Rodrigues, ENGAGE: Session Guaranties for the Edge, MSc Thesis, Nov. 2020 [bibTex]
- Tiago Alexandre Serafim Monteiro advised by João Coelho Garcia, Fault Tolerance Support in an R P2P cycle-sharing system, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2020 [bibTex]
- Luis Miguel da Silveira Freitas Fernandes Tonicha advised by Nuno Santos, Locksmith: Secure Android Keystore Based on Virtualized Trusted Environments, MSc Thesis, Nov. 2020 [bibTex]
- José Francisco Canana advised by Nuno Santos, WArdian: Securing WebAssembly applications on unstrusted mobile operating systems, MSc Thesis, Nov. 2020 [bibTex]
- José Henrique Sobral Santos advised by João Coelho Garcia, Variable Consistency RPC Layer, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Oct. 2020 [bibTex]
- João Gonçalo da Silva Antunes advised by Luís Veiga, Pulsarcast - Scalable and reliable pub-sub over P2P networks, MSc Thesis at Instituto Superior Técnico, ULisboa, Jun. 2020 [bibTex]

as Editors

Other Publications: 11

2021

- Mihail Brinza, editor, Virtual Static Security Analyzer for Web Applications, Jul. 2021 [bibTex]
- Kuzmin Ilia Gennadievich, editor, Persistent Memory in data-intensive applications, Jun. 2021 [bibTex]
- Pedro André Ferreira Teixeira, editor, Anti-DDoS for the IoT, Jan. 2021 [bibTex]
- Daniela Gorjão Lopes, editor, Traceless Execution Support for Privacy Enhancing Technologies, Jan. 2021 [bibTex]

2020

- Salvatore Signorello, editor, Programmable Virtual Networks, Oct. 2020 [bibTex]
- Hugo Rafael Fecha Martins and António Rito Silva, editors, Estágio de Verão "QuizzesTutor - Discussão de Perguntas", Jul. 2020 [bibTex]
- Daniel Luis Lopes Serafim and António Rito Silva, editors, Estágio de Verão "QuizzesTutor - Torneio de Perguntas", Jul. 2020 [bibTex]
- Tiago Alexandre Teixeira Fonseca and António Rito Silva, editors, Estágio de Verão "QuizzesTutor - Torneio de Perguntas", Jul. 2020 [bibTex]
- Manuel Silva Goulão and António Rito Silva, editors, Estágio de Verão "QuizzesTutor - Torneio de Perguntas", Jul. 2020 [bibTex]
- João José Tacanho Marques and António Rito Silva, editors, Estagio de Verão: "Quizzes Tutor: Development Of Functionalities For External Users", Jul. 2020 [bibTex]
- Pedro Manuel Lopes Pereira and António Rito Silva, editors, Estagio de Verão: "Quizzes Tutor: Development Of Functionalities For External Users", Jul. 2020 [bibTex]

Special Issues of Journals (editor): 1

2020

- Renata Alves Castelo Branco and Catarina são Miguel de Castro Brás and António Menezes Leitão, editors, Inside the Matrix: Immersive Live Coding for Architectural Design, International Journal of Architectural Computing, Sep. 2020, SAGE Publications [DOI Editorial link] [bibTex]

Reports

Technical Reports: 2

2021

- Daniel Castro and Paolo Romano and João Barreto and Alexandro Baldassin, Scalable Persistent Hardware Transactions, INESC-ID Tec. Rep. 1/2021, Jan. 2021 [bibTex] [PDF]
- Daniela Gorjão Lopes, Traceless Execution Support for Privacy Enhancing Technologies, INESC-ID Tec. Rep. 2/2021, Jan. 2021 [bibTex]