Tomorrow we will present LiSA (https://github.com/UniVE-SSV/lisa), our novel library for static analysis, and in particular its application to simple analyses at SOAP! The paper “Static analysis for Dummies: Experiencing LiSA” by Pietro Ferrara, Luca Negrini, Vincenzo Arceri, and Agostino Cortesi has been published (https://dl.acm.org/doi/10.1145/3460946.3464316), and Vincenzo will present it tomorrow at 4.45pm GMT+2:00 in the 10th ACM SIGPLAN International Workshop on the State of the Art in Program Analysis (you

The article “Requirement-oriented risk management for incremental software development” by Mandira Roy, Novarun Deb, Agostino Cortesi, Rituparna Chaki and Nabendu Chaki just appeared in Springer’s “Innovations in Systems and Software Engineering”, volume 17, pages187–204 (2021). The paper is available here: https://link.springer.com/article/10.1007/s11334-021-00406-6

We are glad to share the news that the article “NFR-aware prioritization of software requirements” by Mandira Roy, Novarun Deb, Agostino Cortesi, Rituparna Chaki, and Nabendu Chaki just appeared in Wiley’s “Systems Engineering” journal. Please enjoy reading: https://onlinelibrary.wiley.com/doi/full/10.1002/sys.21572

Just published in the International Journal on Expert Systems with Applications the paper “Semantic-driven Watermarking of Relational Textual Databases” by Maikel Lázaro Pérez Gort, Martina Olliaro, Agostino Cortesi, and Claudia Feregrino Uribe. Available here: https://doi.org/10.1016/j.eswa.2020.114013

We are glad to announce that our paper on “Skyline computation over multiple points and dimensions” has just been published in  the Springer-Nature journal “Innovation in Systems and Software Engineering”. You can download the paper here (https://link.springer.com/epdf/10.1007/s11334-020-00376-1?sharing_token=wAaaIvoIj97li[…]F7hBp-aIl5ocv3DN-kK59QyOdfyDepawMBdtFXdTEU0dHpkUDMzWLI20Q%3D).

Just published in International Journal on Software Tools for Technology Transfer: Pietro Ferrara, Amit Kr Mandal, Agostino Cortesi, Fausto Spoto: “Static analysis for discovering IoT vulnerabilities”.In this paper we discuss how IoT vulnerabilities can actually be exploited, and in which cases static analysis can help in preventing them. We present an extension of an industrial analyzer (Julia) that already covers five out of the top seven vulnerabilities of OWASP Top

We are glad to announce that our paper on Tarsis, a novel domain for string analysis, has been accepted at VMCAI 2021! You can download a preprint version of the paper here.

The paper “Semantic-driven Watermarking of Relational Textual Databases” by Maikel Lázaro Pérez Gort, Martina Olliaro, Agostino Cortesi and Claudia Feregrino Uribe has been accepted for publication by the Expert Systems with Applications Journal! More information here.

We are extremely happy to announce that a paper on the application of static analysis to the certification of decision trees has been accepted at ESORICS 2020! This paper is the first result of a new collaboration between Pietro Ferrara, Stefano Calzavara and Claudio Lucchese (University of Venice). Stay tuned for further developments!

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