Stochastic Petri nets (SPN) are a Markovian formalism for qualitative and quantitative analysis of discrete event dynamic systems. Among other uses, they have been used extensively in performance evaluation of telecommunication ...

La tesi presentata nasce dalla volontà di analizzare il funzionamento del portale Couchsurfing, un sito web in cui è possibile trovare ospitalità gratuita in tutto il mondo, di evidenziarne gli elementi costitutivi, ...

The area of the northern Adriatic Sea has a high productivity rate regarding the fishing activities and it is recognised as one of the most exploited areas of the Mediterranean Sea. In order to make fishing activities ...

Software obfuscation is the act of changing the inner workings of a program to make it more expensive in terms of time and effort to reverse engineer, while maintaining the same semantics. This practice has lately been ...

In recent years we have faced a multitude of security flaws posing a serious threat to the whole society, ranging from individuals to national critical infrastructures. For this reason, it is of crucial importance to ...

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 ...

In the past two decades the use of cryptography in computer systems has constantly increased. Ranging from personal devices to critical infrastructures, cryptography is pervasive and variegated. It is crucial to perform ...

Nowadays, aiming to design complex and safer systems has become a necessity. For this reason, TEEs (Trusted Execution Environments) have been introduced. TEEs have become increasingly popular in modern CPUs as they provide ...

RTI is a computational photographic method that captures a subject’s surface shape and color and enables the interactive re-lighting of the subject from any direction. In the standard approach, the RTI images are created ...