“Static analysis for discovering IoT vulnerabilities” published in STTT

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

Paper accepted at VMCAI

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.

FACTORS awarded at Start Cup Veneto!

FACTORS won the Start Cup Veneto competition in the ICT category! This means that (i) the project is taking off! (ii) we will compete in the “Premio Nazionale dell’Innovazione” at the end of November, and (iii) we will be in full operation starting in March 2021!

Back to physical group lunch!

Since the Fall semester is starting and we are coming back to having in-class lectures at University of Venice, starting from mid-September we are coming back to physical group lunch every Tuesday at 2:30pm. Feel free to join us in the ACADIA lab!

Paper accepted by ESWA

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.

Paper accepted at ESORICS

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!

FACTORS finalist at Start Cup Veneto!

The SSV is moving into start up affairs! We are extremely happy to announce that our business idea FACTORS (about the application of formal methods to robotic software) has been admitted at the final stage of Start Cup Veneto (more details here – unfortunately, only in Italian). The project is lead by Gianluca Caiazza and Ruffin White (UC San Diego), and in collaboration with prof. Agostino Cortesi and Pietro Ferrara.Starting

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

SARL paper accepted at VSTTE 2020

We are glad to announce that the paper “SARL: OO Framework Specification for Static Analysis” (co-authored by Pietro Ferrara Luca Negrini) has been accepted for publication at VSTTE 2020! This paper introduces a novel language aimed at specifying some components of object oriented frameworks (such as Java Spring and Hibernate, and .NET Windows Forms and ASP.NET) in order to improve the precision and soundness of static analysis applied to program