Stay up to date
New paper accepted at NCA 2021
Secure protocol buffers for Bluetooth Low-Energy communication with wearable devices
Continue reading →
Miguel C. Francisco, Samih Eisa, and Miguel L. Pardal
20th IEEE International Symposium on Network Computing and ApplicationsThesis presented: Miguel E. Coimbra
Congratulations to Miguel Coimbra for successfully defending his PhD thesis:
Novel approaches for large distributed graph storage and optimized querying
Advisors: Luís Veiga and Alexandre. P. Francisco
Continue reading →New paper accepted at SOSP 2021
Kauri: Scalable BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation
Continue reading →
Ray Neiheiser (INESC-ID/IST and UFSC/DAS), Miguel Matos, and Luís RodriguesNew paper accepted at Middleware 2021
FaaSTCC: Efficient Transactional Causal Consistency for Serverless Computing
Continue reading →
Taras Lykhenko, Rafael Soares, and Luís RodriguesThesis presented: Diogo Barradas
Congratulations to Diogo Barradas for successfully defending his PhD thesis:
Unobservable Multimedia-based Covert Channels for Internet Censorship Circumvention
Advisors: Luís Rodrigues and Nuno Santos
Continue reading →Thesis presented: Amin Mohtasham
Congratulations to Amin Mohtasham for successfully defending his PhD thesis:
Fair and Efficient Parallelism Tuning in Multi-programmed Environments
Advisor: João Barreto
Continue reading →Thesis presented: Pradeeban Kathiravelu
Congratulations to Pradeeban Kathiravelu for successfully defending his PhD thesis:
Software-Defined Systems for Network-Aware Service Composition and Workflow Placement
Advisors: Luís Veiga (IST) and Peter Van Roy (UCLouvain)
Continue reading →Thesis presented: David Matos
Congratulations to David Matos for successfully defending his PhD thesis:
Intrusion Recovery in Cloud Computing
Advisors: Miguel Correia and Miguel Pardal
Continue reading →Thesis presented: Pedro Costa
Congratulations to Pedro Costa for successfully defending his PhD thesis:
Continue reading →
Dependable MapReduce in a Cloud-of-Clouds
Advisors: Miguel Correia and Fernando RamosA chapter accepted for Springer’s book “Autonomous Control for a Reliable Internet of Services: Methods, Models, Approaches, Techniques, Algorithms and Tools”
Integrating SDN and NFV with QoS-aware service composition
Continue reading →
Cardellini, V., Grbac, T.G., Kassler, A., Marotta, A., Kathiravelu, P., Lo Presti, F., Nardelli, M. & Veiga, L.Two papers accepted at SAC 2018
Dynamic Adaptation of Byzantine Consensus Protocols
Carlos Carvalho, Daniel Porto, Luís Rodrigues, Manuel Bravo and Alysson BessaniGelly-Scheduling: Distributed Graph Processing for Service Placement in Community Networks
Continue reading →
Miguel E. Coimbra, Mennan Selimi, Alexandre P. Francisco, Felix Freitag, and Luís VeigaNew paper accepted at ICOIN 2018
Fireplug: Flexible and Robust N-version Geo-Replication of Graph Databases
Continue reading →
Ray Neiheiser, Daniel Presser, Luciana Rech, Manuel Bravo, Luís Rodrigues and Miguel CorreiaNew journal paper accepted at ACM Computing Surveys
A study on Garbage Collection Algorithms for Big Data Environments
Continue reading →
Rodrigo Bruno and Paulo FerreiraNew paper accepted at OPODIS 2017
Vulnerability-Tolerant Transport Layer Security
Continue reading →
André Joaquim, Miguel Pardal, Miguel CorreiaNew journal paper accepted at Grid Computing
freeCycles – Efficient Multi-Cloud Computing Platform
Continue reading →
Rodrigo Bruno, Fernando Costa, Paulo FerreiraTwo papers accepted at NCA 2017
Enhancing Throughput of Partially Replicated State Machines via Multi-Partition Operation Scheduling
Zhongmiao Li, Peter Van Roy and Paolo RomanoAugure: Proactive Reconfiguration of Cloud Applications using Heterogeneous Resources
Continue reading →
Richard Gil Martinez, Zhongmiao Li, Antónia Lopes, Luís RodriguesNew book
Segurança no Software (Software Security)
Continue reading →
2ª Edição Atualizada e Aumentada
Miguel Pupo Correia and Paulo Jorge Sousa, FCA, 2017New paper accepted at Cloud and Trusted Computing 2017
Locality-Aware GC Optimisations for Big Data Workloads
Continue reading →
Duarte Patrício, Rodrigo Bruno, José Simão, Paulo Ferreira e Luís VeigaTwo papers accepted at Middleware 2017
Rectify: Black-Box Intrusion Recovery in PaaS Clouds
David R. Matos, Miguel Pardal, Miguel CorreiaPOLM2: Automatic Profiling for Object Lifetime-Aware Memory Management for HotSpot Big Data Applications
Continue reading →
Rodrigo Bruno, Paulo FerreiraNew paper accepted at SSS 2017
Generalized Paxos made Byzantine (and Less Complex)
Continue reading →
Miguel Pires, Srivatsan Ravi and Rodrigo RodriguesNew paper accepted at ACM Journal of Transactions on Computer Systems
Seer: Probabilistic Scheduling for Hardware Transactional Memory
Continue reading →
Nuno Diegues, Paolo Romano, Stoyan GarbatovNew journal paper accepted at Software Testing, Verification and Reliability. Wiley, 2017
CoopREP: Cooperative Record and Replay of Concurrency Bugs
Continue reading →
N. Machado, P. Romano, L. RodriguesThesis presented: Naércio Magaia
Congratulations to Naércio Magaia for successfully defending his PhD thesis:
Efficient and Secure Routing in Wireless Ad Hoc Networks
Continue reading →Two chapters accepted for a Springer’s book “Cloud Computing Principles, Systems and Applications, 2nd edition”
A Taxonomy of Adaptive Resource Management Mechanisms in Virtual Machines: Recent Progress and Challenges
José Simão, Luís VeigaCloud-Supported Certification for Energy-Efficient Web Browsing and Services
Continue reading →
Gonçalo Avelar, José Simão, Luís VeigaTwo papers accepted at WiMob 2017
DroidPosture: A Trusted Posture Assessment Service for Mobile Devices
Sileshi Yalew, Gerald McGuire Jr, Seif Haridi, Miguel CorreiaTruApp: A TrustZone-based Authenticity Detection Service for Mobile Apps
Continue reading →
Sileshi Yalew, Pedro Mendonça, Gerald McGuire Jr, Seif Haridi, Miguel CorreiaNew paper accepted at MSWiM 2017
REPSYS: A Robust and Distributed Reputation System for Delay-Tolerant Networks
Continue reading →
Naércio Magaia, Paulo Pereira, Miguel CorreiaNew paper accepted at SASO 2017
Xor-Based Topology Management Beyond Kademlia
Continue reading →
Erick Lavoie, Laurie Hendren, and Miguel CorreiaNew workshop paper accepted at TRANSACT 2017
Towards White-Box Modeling of Hardware Transactional Memory Systems
Continue reading →
Daniel Castro, Diego Didona and Paolo RomanoNew paper accepted at TSD 2017
Automatic Detection of Parkinson Disease: An Experimental Analysis of Common Speech Production Tasks Used for Diagnosis
Continue reading →
A. Pompili, A. Abad, P. Romano, I. P. Martins, R. Cardoso, H. Santos, J. Carvalho, I. Guimarães, and J. J. FerreiraNew paper accepted at MASCOTS 2017
An Analytical Model of Hardware Transactional Memory
Continue reading →
Daniel Castro, Paolo Romano, Diego Didona, Willy ZwaenepoelNew paper accepted at DISC 2017
Extending Hardware Transactional Memory Capacity via Rollback-Only Transactions and Suspend/Resume
Continue reading →
Shady Issa, Pascal Felber, Alexander Matveev, and Paolo RomanoTwo papers accepted at SRDS 2017
Fine-Grained Consistency Upgrades for Online Services
F. Freitas, J. Leitão, N. Preguiça, R. RodriguesA Practical Framework for Privacy-Preserving NoSQL Databases
Continue reading →
R. Macedo, J. Paulo, R. Pontes, B. Portela, T. Oliveira, M. Matos and R. OliveiraNew paper accepted at IEEE Cloud Computing, Special Issue: Middleware for Multicloud
On the Design of Resilient Multicloud MapReduce
Continue reading →
P. Costa, F. Ramos, M. CorreiaNew paper accepted at EDCC 2017
On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study
Continue reading →
P. Nunes, I. Medeiros, J. Fonseca, N. Neves, M. Correi, M. VieiraBrief Announcement at PODC 2017
Optimal Address-Oblivious Epidemic Dissemination
Continue reading →
H. Mercier, L. Hayez, M. MatosNew short paper accepted at EDCC 2017
SafeThings: Data Security by Design in the IoT
Continue reading →
M. Barbosa, S. B. Mokhtar, P. Felber, F. Maia, M. Matos, R. Oliveira, E. Rivière, V. Schiavoni, S. VoulgarisNew paper accepted at the DMAH 2017 Workshop
On-Demand Service-Based Big Data Integration: Optimized for Research Collaboration
Continue reading →
P. Kathiravelu, Y. Chen, A. Sharma, H. Galhardas, P. Van Roy, L. VeigaBest Student Paper Award at CCGrid 2007
Congratulations to Pedro A. R. S. Costa, Fernando Ramos, Miguel Correia, their paper:
Chrysaor: Fine-Grained, Fault-Tolerant Cloud-of-Clouds MapReduce
won the Best Student Paper Award at CCGrid 2017.
Continue reading →New paper accepted at TrustCom 2017
T2Droid: A TrustZone-based Dynamic Analyser for Android Applications
Continue reading →
S. Demesie, G. McGuire, S. Haridi, M. CorreiaNew paper accepted at SECRYPT 2017
Forensic Analysis of Communication Records of Web-based Messaging Applications from Physical Memory
Continue reading →
D. Barradas, T. Brito, D. Duarte, N. Santos, L. RodriguesNew paper accepted at PETS 2017
DeltaShaper: Enabling Unobservable Censorship-resistant TCP Tunneling over Videoconferencing Streams
Continue reading →
D. Barradas, N. Santos, L. RodriguesNew paper accepted at ATC 2017
Unobtrusive Deferred Update Stabilization for Efficient Geo-Replication
Continue reading →
C. Gunawardhana, M. Bravo, L. RodriguesNew paper accepted at EuroVis 2017
Towards an Adaptive Framework for Real-Time Visualization of Streaming Big Data
Continue reading →
A. Khan, D. Gonçalves, D. C. LeãoAP2SI Prize of Merit for a Master thesis in Information Security
Congratulations to André Joaquim and Diogo Raposo
André Joaquim recent master student of the group (advised by Miguel Pardal and Miguel Correia)
won the AP2SI Prize of Merit for a Master thesis in Information Security (Prémio de Mérito para
Mestres na área da Segurança da Informação).Diogo Raposo also recent master student of the group (same advisors) received a Honorable
Continue reading →
Mention in the same context.New paper accepted at ISMM 2017
NG2C: Pretenuring N-Generational GC for HotSpot Big Data Applications
Continue reading →
R. Bruno, L. Oliveira, P. FerreiraNew paper accepted at MobiHoc 2017
TrUbi: A System for Dynamically Constraining Mobile Devices within Restrictive Usage Scenarios
Continue reading →
M. Costa, N. O. Duarte, N. Santos, P. FerreiraNew paper accepted at IWANN 2017
A Systematic Approach for the Application of Restricted Boltzmann Machines in Network Intrusion Detection
Continue reading →
A. Gouveia, M. CorreiaNew paper accepted at IFIP Networking 2017
PRIVO: A PRIvacy-preserVing Opportunistic routing protocol for Delay Tolerant Networks
Continue reading →
N. Magaia, C. Borrego, P. Pereira, M. CorreiaNew paper accepted at DSN 2017
Demonstrating a Tool for Injection Attack Prevention in MySQL
Continue reading →
I. Medeiros, M. Beatriz, N. Neves, M. CorreiaNew paper accepted at DAIS 2017, DISCOTEC
Similarity Aware Shuffling for the Distributed Execution of SQL Window Functions
Continue reading →
F. Coelho, M. Matos, J. Pereira, R. OliveiraNew paper accepted at EuroSys 2017
Saturn: a Distributed Metadata Service for Causal Consistency
Continue reading →
Manuel Bravo, Luís Rodrigues, Peter Van RoyNew paper accepted at PaPoC 2017
Transparent cross-system consistency.
Continue reading →
João Loff, Daniel Porto, Carlos Baquero, João Garcia, Nuno Preguiça, Rodrigo RodriguesNew paper accepted at MARS Workshop 2017
Making data center computations fast, but not so furious.
Continue reading →
Daniel Porto, João Loff, Luis Ceze, Rui Duarte, Rodrigo RodriguesTwo papers accepted at EuroDW 2017
HomePad: Guardian of a Smart Home Galaxy
Igor Zavalyshyn, Nuno Duarte, Nuno SantosProfiling for Asymmetric NUMA Systems
Continue reading →
David Gureya, João BarretoCAT defense: Rodrigo Fraga Barcelos Paulus Bruno
Rodrigo Fraga Barcelos Paulus Bruno CAT Defense
February 21st, 2017 at 15:00, Sala E1, Torre de Eletricidade, IST, AlamedaTitle: Nova VM: enhanced Java Virtual Machine for Big Data Applications
Continue reading →
Advisor: Professor Paulo Jorge Pires FerreiraCristian Cadar about Symbolic Execution for Evolving Software
February 24th, 2017 at 11 am in room 0.20 (INESC)
Cristian Cadar, Imperial College London
Symbolic Execution for Evolving SoftwareOne of the distinguishing characteristics of software systems is that they evolve: new patches are committed to software repositories and new versions are released to users on a continuous basis. Unfortunately, many of these changes bring unexpected bugs that break the stability of the system or affect its security. In this talk, I describe our work on devising novel symbolic execution techniques for increasing the confidence in evolving software: a technique for reasoning about the correctness of optimisations, in particular those that take advantage of SIMD and GPGPU capabilities; a technique for high-coverage patch testing, and a technique for revealing regression bugs and behavioural divergences across versions.
Continue reading →Thesis defense: João Matos
João Matos PhD Defense
February 24th, 2017 at 15:00, in Anfiteatro PA-3 (-1 floor, Mathematics Building)Ph.D. thesis “Privacy in Software Error Reporting”
Continue reading →CAT defense: David Matos
David Matos CAT Defense
February 7th, 2017 at 09:30 am, in Sala QA1.1, Torre Sul (Química), IST – AlamedaCAT defense: Amin Mohtasham
Amin Mohtasham CAT Defense
Continue reading →
January 26th, 2017 at 10:00 am, in Sala V1.06, Pavilhão de Civil, IST – AlamedaTwo papers accepted at CCGrid 2017
Chrysaor: Fine-Grained, Fault-Tolerant Cloud-of-Clouds MapReduce
Pedro A. R. S. Costa, Fernando Ramos and Miguel CorreiaPractical Service Placement Approach for Microservices Architecture
Continue reading →
Mennan Selimi, Llorenc Cerda, Marc Sanchez-Artigas, Felix Freitag, Luis VeigaPlease welcome Miguel Matos
Miguel Matos just joined the GSD group. Please welcome him!
Continue reading →
http://www.dpss.inesc-id.pt/blog/miguel-matos/INESC-ID 2016 Researcher Award
Congratulations to Paolo Romano, awarded in the category of Researcher.
Continue reading →Thesis presented: André Filipe Pessoa Negrão
Congratulations to André Filipe Pessoa Negrão for successfully defending his PhD thesis:
Interest Aware Consistency Management and Cloud Aware Resource Provisioning for Distributed Interactive Applications
Abstract
Distributed Interactive Applications (DIAs) enable geographically distributed users to interact in real time over the Internet through a shared application state. Due to their interactive nature, DIAs require the continuous dissemination and processing of potentially large amounts of data that must reach users timely and consistently. This faces application designers with two main challenges. First, the geographically distributed users are connected through networks with limited bandwidth. For that reason, it is not feasible to propagate every update to every user. Intelligent mechanisms are, thus, required to make sure that users receive the information that actually matters to them. Second, in large scale DIAs such as MMOGs, the number of concurrent users is highly dynamic, making it difficult to predict the exact number of resources necessary to efficiently provision the application. As a result, application operators tend to adopt pessimistic measures by deploying static infrastructures in which the number of resources is based on worst case predictions of load. The result is an over-provisioned computing environment in which some resources are idle for long periods of the time, leading to unnecessary operational expenses.In this thesis, we address these issues by proposing a framework built upon two core elements: i) interest aware consistency management and ii) cloud aware resource provisioning. Our framework employs a network efficient and flexible consistency model that propagates information to users according to their interest in the different objects of the shared application state. Updates considered relevant to the user’s current task are propagated promptly; less relevant updates are postponed for a configurable time interval. Postponed updates are, then, subject to optimization strategies to improve the efficiency of update propagation. Additionally, our framework provides a dynamic resource management infrastructure for DIAs. The infrastructure makes use of a hybrid resource pool comprising privately owned resources as well as public resources acquired from a public cloud. Servers are acquired from the resource pool only when necessary and removed when they are no longer required. Within this infrastructure, we employ hybrid and task based load distribution mechanisms to improve the cost-effectiveness of the system.
Continue reading →Thesis presented: Leila Sharifi
Congratulations to Leila Sharifi for successfully defending her PhD thesis:
Energy-aware Service Provisioning in P2P-assisted Cloud Ecosystems
Abstract
Energy has emerged as a first-class computing resource in modern systems. The trend has primarily led to the strong focus on reducing the energy consumption of data centers, coupled with the growing awareness of the adverse impact on the environment due to data centers. This has led to a strong focus on energy management for server class systems.In this work, we intend to address the energy-aware service provisioning in P2P-assisted cloud ecosystems, leveraging economics-inspired mechanisms. Toward this goal, we addressed a number of challenges. To frame an energy aware service provisioning mechanism in the P2P-assisted cloud, first, we need to compare the energy consumption of each individual service in P2P-cloud and data centers. However, in the procedure of decreasing the energy consumption of cloud services, we may be trapped with the performance violation. Therefore, we need to formulate a performance aware energy analysis metric, conceptualized across the service provisioning stack. We leverage this metric to derive energy analysis framework.
Then, we sketch a framework to analyze the energy effectiveness in P2P-cloud and data center platforms to choose the right service platform, according to the performance and energy characteristics. This framework maps energy from the hardware oblivious, top level to the particular hardware setting in the bottom layer of the stack.
Afterward, we introduce an economics-inspired mechanism to increase the energy effectiveness in the P2P-assisted cloud platform as well as moving toward a greener ICT for ICT for a greener ecosystem.
Thesis presented: Xavier Araújo Morgado Vilaça
Congratulations to Xavier Araújo Morgado Vilaça for successfully defending his PhD thesis:
Sustaining Cooperation in Dependable Systems: a Game Theorectical Approach
Abstract
A dependable distributed system is composed of different processes that execute a distributed protocol to provide some reliable distributed service. Typically, one assumes that all processes cooperate by executing the specified protocol, unless faults occur; if the processes do not cooperate, then the service that the system is intended to provide may be compromised. Unfortunately, the assumption that processes do not deviate from the protocol may not hold in open systems, where each process is under the control of a different entity. In fact, if the entities are selfish and they benefit from deviations, then they may change the protocol run by the processes. To avoid this problem, protocols must sustain cooperation, i.e., they must provide incentives that deny any benefits to the entities responsible for deviations.
One way of modelling selfish behaviour is to adopt the approach of Game Theory. In this approach, processes are seen as being under the control of rational agents that seek to maximize individual utility functions, interactions are modelled as games, and protocols correspond to strategies of the game that specify the actions taken at each point in time. The main goal is to devise equilibria protocols, i.e., protocols such that no agent increases its utility by causing a deviation. Equilibria protocols sustain cooperation, thus being extremely relevant to the development of dependable distributed systems.In this work, we apply Game Theory to identify and analyse protocols that sustain cooperation in three fundamental distributed problems: (i) the problem gossip dissemination, (ii) the problem of pairwise exchanges of messages over links of a dynamic network, and (i) the problem of consensus with crash failures. Our main results identify necessary and sufficient conditions for devising equilibria protocols that solve the aforementioned problems. These results unveil the necessary and sufficient requirements for the construction of dependable distributed systems robust to selfish behaviour.
Continue reading →New paper accepted at WWW 2017
Blotter: Low Latency Transactions for Geo-Replicated Storage
Continue reading →
Henrique Moniz, João Leitão, Ricardo Dias, Johannes Gehrke, Nuno Preguiça and Rodrigo RodriguesThesis defense: André Filipe Pessoa Negrão
André Filipe Pessoa Negrão PhD Defense
Continue reading →
20 de dezembro de 2016, pelas 10:30 horas, na Sala de Reuniões do Departamento de Engenharia informática (0.19), Pavilhão de informática II do ISTThesis defense: Xavier Vilaça
Xavier Vilaça PhD Defense
Continue reading →
December 14th, 2016 at 10:30 am, in Anfiteatro PA-3 (-1 floor, Mathematics Building)Two papers accepted at ICDCN 2017
FastRank: Practical Lightweight Tolerance to Rational Behaviour in Edge Assisted Streaming
Xavier Vilaça, Luís Rodrigues, João Silva, Hugo MirandaAccountability in Dynamic Networks
Continue reading →
Xavier Vilaça, Luís RodriguesNew paper accepted at SAC 2017
Automatic Generation of Policies to Support Elastic Scaling in Cloud Environments.
Continue reading →
Richard Martinez, Luís RodriguesNew poster accepted at IM 2017
Redundancy Can Save You, When You Control It Smart
Continue reading →
Pradeeban Kathiravelu, Luís VeigaNew paper accepted at Workshop on Smart Cities: People, Technology and Data
Increasing Bicycle Usage in Smart Cities
Continue reading →
Miguel Costa, Rodrigo Lourenço, João Barreto, Paulo Ferreira, João Bernardino, Bossuyt Evelien, Christiaens Jan, Deham Nick, Franchois Elke, Vleugels IlseSeven papers accepted at NCA 2016
Task Based Load Balancing for Cloud Aware Massively Multiplayer Online Games
André Negro, Luis Veiga, Paulo FerreiraDARSHANA: Detecting Route Hijacking For Communication Confidentiality
Karan Balu, Miguel Pardal and Miguel Correia.NoSQL Undo: Recovering NoSQL Databases by Undoing Operations
David Matos and Miguel CorreiaFeature Set Tuning for Machine Learning based Network Intrusion Detection
Arnaldo Gouveia and Miguel CorreiaMACHETE: Multi-path Communication for Cloud Security
Diogo Raposo, Miguel Pardal, Luís Rodrigues and Miguel CorreiaLeveraging an Homomorphic Encryption Library to Implement a Coordination Service
Eugénio Silva and Miguel Correia
(short paper)vtTLS: A Vulnerability-Tolerant Communication Protocol
Continue reading →
André Joaquim, Miguel L. Pardal and Miguel Correia
(short paper)New paper accepted at Middleware 2016
ALMA – GC-assisted JVM Live Migration for Java Server Application
Continue reading →
Rodrigo Bruno, Paulo FerreiraThe website has been redesigned!
Dear members,
We have drastically redesigned the Distributed Systems Group website!
It has a cleaner look and new organization, and it is with pleasure that we present it to you.We hope it will help you keep up with events and make it easier to use the group resources.
– GSD Team
Continue reading →