Periodic Reporting for period 2 - PIACERE (Programming trustworthy Infrastructure As Code in a sEcuRE framework)

The virtualization revolution that has taken place in the last years along with the advent of the cloud computing continuum (combination of cloud and edge), has allowed for an increase in the use of software to build, control and configure entire virtual data centers and the...