1 January 2021

The journal article “Static analysis for discovering IoT vulnerabilities”, by Ferrara, P., Mandal, A.K., Cortesi, A., Spoto, F., has just been published in “International Journal on Software Tools for Technology Transfer”! Available here.