Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Publications

Publications by HASLab

2020

Does domain name encryption increase users' privacy?

Authors
Trevisan, M; Soro, F; Mellia, M; Drago, I; Morla, R;

Publication
ACM SIGCOMM Computer Communication Review

Abstract

2020

Flow-based detection and proxy-based evasion of encrypted malware C2 traffic

Authors
Novo, C; Morla, R;

Publication
CoRR

Abstract

2020

Simulation of Nonradiative Energy Transfer in Photosynthetic Systems Using a Quantum Computer

Authors
Guimaraes, JD; Tavares, C; Barbosa, LS; Vasilevskiy, MI;

Publication
Complexity

Abstract
Photosynthesis is an important and complex physical process in nature, whose comprehensive understanding would have many relevant industrial applications, for instance, in the field of energy production. In this paper, we propose a quantum algorithm for the simulation of the excitonic transport of energy, occurring in the first stage of the process of photosynthesis. The algorithm takes in account the quantum and environmental effects (pure dephasing), influencing the quantum transport. We performed quantum simulations of such phenomena, for a proof of concept scenario, in an actual quantum computer, IBM Q, of 5 qubits. We validate the results with the Haken-Ströbl model and discuss the influence of environmental parameters on the efficiency of the energy transport.

2020

Testing for Race Conditions in Distributed Systems via SMT Solving

Authors
Pereira, JC; Machado, N; Pinto, JS;

Publication
Tests and Proofs - Lecture Notes in Computer Science

Abstract

2020

State-machine replication for planet-scale systems

Authors
Enes, V; Baquero, C; Rezende, TF; Gotsman, A; Perrin, M; Sutra, P;

Publication
EuroSys '20: Fifteenth EuroSys Conference 2020, Heraklion, Greece, April 27-30, 2020

Abstract

2020

SPELLing out energy leaks: Aiding developers locate energy inefficient code

Authors
Pereira, R; Carcao, T; Couto, M; Cunha, J; Fernandes, JP; Saraiva, J;

Publication
Journal of Systems and Software

Abstract
Although hardware is generally seen as the main culprit for a computer's energy usage, software too has a tremendous impact on the energy spent. Unfortunately, there is still not enough support for software developers so they can make their code more energy-aware. This paper proposes a technique to detect energy inefficient fragments in the source code of a software system. Test cases are executed to obtain energy consumption measurements, and a statistical method, based on spectrum-based fault localization, is introduced to relate energy consumption to the source code. The result of our technique is an energy ranking of source code fragments pointing developers to possible energy leaks in their code. This technique was implemented in the SPELL toolkit. Finally, in order to evaluate our technique, we conducted an empirical study where we asked participants to optimize the energy efficiency of a software system using our tool, while also having two other groups using no tool assistance and a profiler, respectively. We showed statistical evidence that developers using our technique were able to improve the energy efficiency by 43% on average, and even out performing a profiler for energy optimization. © 2019 Elsevier Inc.

  • 1
  • 123