Periodic Reporting for period 1 - LV-Pri20 (Logic-based Verification of Privacy-Preservation in Europe's 2020 ICT)

On the one hand, in the IoT, the computational constrains on devices often restrain security measures, making the communication more vulnerable to interception or manipulation. On the other, with the advent of cloud/edge-computing, today's communications are no longer based on...