HASLab - Indexed Articles in Journals

Permanent URI for this collection

Browse

Recent Submissions

Now showing 1 - 5 of 149
  • Item
    Detailed Black-Box Monitoring of Distributed Systems
    ( 2021) Ricardo Pereira Vilaça ; 5602
    Modern containerized distributed systems, such as big data storage and processing stacks or micro-service based applications, are inherently hard to monitor and optimize, as resource usage does not directly match hardware resources due to multiple virtualization layers. For instance, inter-application traffic is an important factor in as it directly indicates how components interact, it has not been possible to accurately monitor it in an application independent way and without severe overhead, thus putting it out of reach of cloud platforms. In this paper we present an efficient black-box monitoring approach for gathering detailed structural information of collaborating processes in a distributed system that can be queried for various purposes, as it includes both information about processes, containers, and hosts, as well as resource usage and amount of data exchanged. The key to achieving high detail and low overhead without custom application instrumentation is to use a kernel-aided event driven strategy. We validate a prototype implementation by applying it to multi-platform microservice deployments, evaluate its performance with micro-benchmarks, and demonstrate its usefulness for container placement in a distributed data storage and processing stack (i.e., Cassandra and Spark).
  • Item
    The CoronaSurveys System for COVID-19 Incidence Data Collection and Processing
    ( 2021) Agundez,AG ; Sanchez,I ; Roberts,JC ; Ojo,O ; Stavrakis,E ; Nicolaou,N ; Hernández Roig,HA ; Goessens,M ; Ortega,A ; Girault,B ; Georgiou,C ; Carlos Baquero ; Casari,P ; Anta,AF ; García,AG ; Frey,D ; 5596
  • Item
    Balancing the formal and the informal in user-centred design
    ( 2021) José Creissac Campos ; Harrison,MD ; Masci,P ; 5599
  • Item
    Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations
    ( 2013) Manuel Barbosa ; José Bacelar Almeida ; Barthe,G ; Dupressoir,F ; 5604 ; 5598
  • Item
    Boolean Searchable Symmetric Encryption with Filters on Trusted Hardware
    ( 2020) Portela,B ; Leitao,J ; Domingos,HJ ; Borges,G ; Tiago Filipe Oliveira ; Ferreira,B ; 6207