Security aspects about Internet of Things networks and devices
Ivan Vaccari

Code Embedding Techniques for the Analysis of Source Code
Martina Saletta

Towards Secure Compilation Chains
Matteo Busi

Learning Semantic Properties of Programs
Niccolò Marastoni

A New Approach to Decompilation
Andrea Gussoni, Giovanni Agosta