Publications
Filter Publications: 2020 - 2022
Books
Book Chapters: 7
2020
- , 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]
- , 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]
- , 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]
- , Detecting Botnets and Unknown Network Attacks in Big Traffic Data, chapter of Botnets: Architectures, Countermeasures, and Challenges, Jan. 2020 [bibTex]
- , From Byzantine Consensus to Blockchain Consensus, chapter of Essentials of Blockchain Technology, Jan. 2020, CRC Press [bibTex]
- , A Blockchain Use Case for Car Registration, chapter of Essentials of Blockchain Technology, Jan. 2020, CRC Press [bibTex]
- , 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
- , Distributed and Decentralized Orchestration of Containers on Edge Clouds, article in Journal of Grid Computing, to appear on 2021, Springer [bibTex]
- , 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]
- , Persistent Memory: A Survey of Programming Support and Implementations, article in ACM Computing Surveys vol. 54, Jul. 2021, ACM [bibTex] [PDF]
- , A Survey on Blockchain Interoperability: Past, Present, and Future Trends, article in ACM Computing Surveys, Jun. 2021, ACM [bibTex]
- , An analysis of the graph processing landscape, article in Journal of Big Data vol. 8 (55), Apr. 2021, Springer [DOI Article link] [bibTex]
- , Conflicts in Passive Building Performance: Retrofit and Regulation of Informal Neighbourhoods, article in Frontiers of Architectural Research, Feb. 2021, Elsevier BV [bibTex]
2020
- , 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]
- , edgeTrans - Edge Transport Mode Detection, article in Pervasive and Mobile Computing, to appear on 2020, Elsevier [DOI Article link] [bibTex]
- , 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]
- , TEEnder: SGX Enclave Migration using HSMs, article in Computers & Security, May. 2020, Elsevier B.V. [DOI Article link] [bibTex] [PDF]
- , Transparent Speculation in Geo-Replicated Transactional Data Stores, article in Jurnal of Parallel and Distributed Computing, May. 2020, Elsevier [bibTex]
International Conferences: 74
2021
- , 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]
- , Particle-In-Cell Simulation using Asynchronous Tasking, presented at 27th International European Conference on Parallel and Distributed Computing (Euro-Par 21), Aug. 2021 [bibTex]
- , Smart Distributed DataSets for Streaming, presented at 27th International European Conference on Parallel and Distributed Computing (Euro-Par 2021), Aug. 2021 [bibTex]
- , Self-Adaptation for Machine Learning Based Systems, presented at Workshop on Software Architecture and Machine Learning (SAML), Jul. 2021 [bibTex]
- , A Biomedical Imaging System Based on an Integrated Array of Magnetoresistive Sensors, Jun. 2021 [bibTex]
- , 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]
- , 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]
- , 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]
- , 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]
- , Promoting Reality Awareness in Virtual Reality through Proxemics, presented at IEEE Symposium on Virtual Reality and 3D User Interfaces 2021, Mar. 2021 [bibTex]
- , Reducing the Subscription Latency in Reliable Causal Publish-Subscribe Systems, presented at The 36th ACM/SIGAPP Symposium On Applied Computing (SAC), Mar. 2021 [bibTex]
- , 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]
- , SPHT: Scalable Persistent Hardware Transactions, presented at 19th USENIX Conference on File and Storage Technologies (FAST), Feb. 2021 [bibTex] [PDF] [Video]
2020
- , C2BID: Cluster Change-Based Intrusion Detection, presented at IEEE Trustcom 2020, Dec. 2020 [bibTex]
- , 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]
- , 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]
- , 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]
- , Causality Tracking Tradeoffs for Distributed Storage, presented at IEEE International Symposium on Network Computing and Applications (NCA), Nov. 2020 [bibTex]
- , 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]
- , CryingJackpot: Network Flows and Performance Counters against Cryptojacking, presented at 19th IEEE International Symposium on Network Computing and Applications (NCA), Nov. 2020 [bibTex]
- , Cryptojacking Detection with CPU Usage Metrics, presented at 19th IEEE International Symposium on Network Computing and Applications (NCA), Nov. 2020 [bibTex]
- , Exploiting Symbolic Execution to Accelerate Deterministic Databases, presented at International Conference on Distributed Computing Systems, Nov. 2020 [bibTex]
- , 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]
- , MERLIN: Multi-Language Web Vulnerability Detection, presented at 19th IEEE International Symposium on Network Computing and Applications (NCA), Nov. 2020 [bibTex]
- , MIRES: Recovering Mobile Applications based on Backend-as-a-Service from Cyber Attacks, presented at MobiQuitous 2020, Nov. 2020 [bibTex]
- , 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]
- , 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]
- , 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]
- , 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]
- , 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]
- , 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]
- , 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]
- , Towards Quantum-Enhanced Machine Learning for Network Intrusion Detection, presented at 19th IEEE International Symposium on Network Computing and Applications (NCA), Nov. 2020 [bibTex]
- , 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]
- , 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]
- , Finding the Right Cloud Configuration for Analytics Clusters, presented at ACM Symposium on Cloud Computing, Oct. 2020 [DOI Article link] [bibTex]
- , 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]
- , STOP: a location spoofing resistant vehicle inspection system, presented at 19th International Conference on Ad Hoc Networks and Wireless (AdHoc-Now), Oct. 2020 [bibTex]
- , 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]
- , 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]
- , Blockchain Ecosystem for Verifiable Qualifications, presented at 2nd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS), Sep. 2020 [bibTex]
- , FaultSee: Reproducible Fault Injection in Distributed Systems, presented at European Dependable Computing Conference , Sep. 2020 [bibTex]
- , 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]
- , 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]
- , 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]
- , MultiTLS: Secure communication channel with cipher suite diversity, presented at IFIP TC-11 SEC 2020 International Information Security and Privacy Conference, Sep. 2020 [bibTex]
- , 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]
- , 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]
- , 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]
- , 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]
- , 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]
- , 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]
- , 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]
- , 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]
- , 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]
- , 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]
- , 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]
- , 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]
- , 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]
- , 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]
- , 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]
- , 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]
- , NetSheriff: sheltering software-defined networks from rogue switches, presented at Proceedings of the 8th International Conference in Networked Systems (NETYS), Jun. 2020 [bibTex]
- , 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]
- , Towards Secure, Decentralized, and Automatic Audits with Blockchain, presented at European Conference on Information Systems (ECIS), Jun. 2020 [bibTex]
- , Bandwidth-Aware Page Placement in NUMA, presented at 34th IEEE International Parallel & Distributed Processing Symposium (IPDPS), May. 2020 [DOI Article link] [bibTex]
- , SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems, presented at IEEE Symposium on Security and Privacy, May. 2020 [bibTex]
- , Kollaps: decentralized and dynamic topology emulation, presented at EuroSys, Apr. 2020 [bibTex] [PDF]
- , 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]
- , A Complexity Metric for Microservices Architecture Migration, presented at 2020 IEEE International Conference on Software Architecture (ICSA), Mar. 2020 [DOI Article link] [bibTex]
- , Censorship-resistant Web Annotations Based on Ethereum and IPFS, presented at Proceedings of ACM/SIGAPP Symposium On Applied Computing (SAC), Mar. 2020 [bibTex]
- , 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]
- , 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]
- , On dynamic succinct graph representations, presented at Data Compression Conference (DCC), Jan. 2020 [bibTex]
National Journal Articles: 1
2020
Dissertations
PhD Theses: 2
2020
- advised by Paolo Romano and Seif Haridi, Augmenting Transactional Memory with the Future Abstraction, PhD Thesis at Instituto Superior Tecnico & KTH, Oct. 2020 [bibTex]
- 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
- advised by Miguel Matos, ATOCS - Automatic Configuration of Secure Databases, MSc Thesis, work in progresson 2021 [bibTex]
- advised by Nuno Santos, Building GDPR-Compliant Applications with RuleKeeper, MSc Thesis, Feb. 2021 [bibTex]
- advised by José Santos and Nuno Santos, Discovering Vulnerabilities in WebAssembly with Code Property Graphs, MSc Thesis, Feb. 2021 [bibTex]
- advised by Rodrigo Rodrigues, Building more decentralized blockchains using secure virtual coordinates, MSc Thesis, Jan. 2021 [bibTex]
- advised by Luis Rodrigues, Cathode: A Consistency-Aware Data Placement Algorithm for the Edge, MSc Thesis, Jan. 2021 [bibTex]
- advised by Luis Rodrigues, Dynamic Reconfiguration of the Data Aggregation Topology at the Edge, MSc Thesis, Jan. 2021 [bibTex]
- 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]
- advised by Luís Veiga and José Simão, RATEE - Resource Auction Trading at Edge Environments, MSc Thesis, Jan. 2021 [bibTex]
- advised by Miguel Pardal and Miguel Correia, Recoverable Token Recovering from Intrusions against Digital Assets in Ethereum, MSc Thesis, Jan. 2021 [bibTex]
2020
- advised by Miguel Matos and Ricardo Chaves, Blockchain-based secret management in multi-cloud storage platforms, MSc Thesis, work in progresson 2020 [bibTex]
- 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]
- advised by Miguel Matos and Rodrigo Rodrigues, Scalable consistency service, MSc Thesis, work in progresson 2020 [bibTex]
- advised by Luis Rodrigues and Nuno Preguiça, Causality Tracking Trade-offs for Distributed Storage, MSc Thesis at Universidade de Lisboa, Nov. 2020 [bibTex]
- advised by Luis Rodrigues, ENGAGE: Session Guaranties for the Edge, MSc Thesis, Nov. 2020 [bibTex]
- 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]
- advised by Nuno Santos, Locksmith: Secure Android Keystore Based on Virtualized Trusted Environments, MSc Thesis, Nov. 2020 [bibTex]
- advised by Nuno Santos, WArdian: Securing WebAssembly applications on unstrusted mobile operating systems, MSc Thesis, Nov. 2020 [bibTex]
- advised by João Coelho Garcia, Variable Consistency RPC Layer, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Oct. 2020 [bibTex]
- 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
- , editor, Virtual Static Security Analyzer for Web Applications, Jul. 2021 [bibTex]
- , editor, Persistent Memory in data-intensive applications, Jun. 2021 [bibTex]
- , editor, Anti-DDoS for the IoT, Jan. 2021 [bibTex]
- , editor, Traceless Execution Support for Privacy Enhancing Technologies, Jan. 2021 [bibTex]
2020
- , editor, Programmable Virtual Networks, Oct. 2020 [bibTex]
- , editors, Estágio de Verão "QuizzesTutor - Discussão de Perguntas", Jul. 2020 [bibTex]
- , editors, Estágio de Verão "QuizzesTutor - Torneio de Perguntas", Jul. 2020 [bibTex]
- , editors, Estágio de Verão "QuizzesTutor - Torneio de Perguntas", Jul. 2020 [bibTex]
- , editors, Estágio de Verão "QuizzesTutor - Torneio de Perguntas", Jul. 2020 [bibTex]
- , editors, Estagio de Verão: "Quizzes Tutor: Development Of Functionalities For External Users", Jul. 2020 [bibTex]
- , editors, Estagio de Verão: "Quizzes Tutor: Development Of Functionalities For External Users", Jul. 2020 [bibTex]
Special Issues of Journals (editor): 1
2020
- , 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
- , Traceless Execution Support for Privacy Enhancing Technologies, INESC-ID Tec. Rep. 2/2021, Jan. 2021 [bibTex]