Two papers published at SAC SVT 2020

The SSV group co-authored two papers at the 35th ACM/SIGAPP Symposium On Applied Computing (SAC 2020) in the Software Verification and Testing (SVT) track. The first paper, co-authored by Vincenzo Arceri and Isabella Mastroeni (University of Verona), deals with the static analysis of JavaScript programs. The second one, co-authored by Pietro Ferrara, Yuliy Khlyebnikov, Agostino Cortesi, Amit Kr Mandal (SRM University, AP, India), and Fausto Spoto (University of Verona), introduces an extension of taint analysis to IoT systems.

Leave a Reply

Your email address will not be published. Required fields are marked *