The thesis work consists in the research and analysis of the cryptographic non-conformities present in some docker images. We will illustrate the automation process for the collection of statistical samples aimed at ...

In early 2021, the European Commission defined a system to manage the issuance and the verification of the Digital COVID Certificates (DCC) and to offer interoperability of said certificates throughout the distinct national ...

Lead Molecule Optimisation and the process of Drug Design are very difficult problems, demanding an huge investment in terms of resources and experimentation. The standard approach requires iterations of long synthesis and ...

Mission detection aims to identify the sets of queries that users submit to a Web search engine in order to satisfy common information needs. Moreover, it is generally easier to figure out the actual search topic a user ...

Reflectance Transformation Imaging (RTI) is a widely used method for obtaining detailed per-pixel reflectance data by photographing an object under varying lighting conditions. The gathered information can then be utilized ...

In this thesis we describe complex systems by means of dynamical models with the aim of studying the hierarchical self-organization of the systems. To achieve this goal we address the issue of identifying sets of variables, ...

Anomaly detection time series is a very large and complex field. In recent years, several techniques based on data science were designed in order to improve the efficiency of methods developed for this purpose. In this ...

In this thesis a security property for stochastic, cooperating processes expressed as terms of the Performance Evaluation Process Algebra (PEPA) is studied. It is expressed as the notion of Persistent Stochastic Non-Interference ...

The spread of mobile devices that are increasingly connected to the net has lead to a rise of the importance of security in mobile systems. This study can be included in the area of analysis and verification of software ...

In this work, we present a RCAT application and an operational analysis on a particular queueing network model. Starting from the model designed by D. Gates and M. Westcott in their paper "Replacement of Train Wheels: An ...