MANDAL, AMIT KR
MANDAL, AMIT KR
Dipartimento di Scienze Ambientali, Informatica e Statistica
A lightweight mutual and transitive authentication mechanism for IoT network
2023-01-01 Krishnasrija, R.; Mandal, A. K.; Cortesi, A.
Cross-Program Taint Analysis for IoT Systems
2020-01-01 Mandal, AMIT KR; Ferrara, Pietro; Khlyebnikov, Yuliy; Cortesi, Agostino; Spoto, Fausto
Cross-Programming Language Taint Analysis for the IoT Ecosystem
2019-01-01 Ferrara, Pietro; Mandal, AMIT KR; Cortesi, Agostino; Spoto, Fausto
Static analysis for discovering IoT vulnerabilities
2021-01-01 Ferrara, P.; Mandal, A. K.; Cortesi, A.; Spoto, F.
Static analysis of android apps interaction with automotive CAN
2018-01-01 Panarotto, Federica; Cortesi, Agostino; Ferrara, Pietro; Mandal, Amit Kr; Spoto, Fausto
Static analysis of Android Auto infotainment and on‐board diagnostics II apps
2019-01-01 Mandal, Amit Kr; Panarotto, Federica; Cortesi, Agostino; Ferrara, Pietro; Spoto, Fausto
Vulnerability analysis of android auto infotainment apps
2018-01-01 Mandal, AMIT KR; Cortesi, Agostino; Ferrara, Pietro; Panarotto, Federica; Spoto, Fausto