Cross-program taint analysis for IoT systems. - Amit Kr Mandal 001; Pietro Ferrara 001; Yuliy Khlyebnikov; Agostino Cortesi; Fausto Spoto (SAC, 2020)