Software and System Verification semestral workshop

June 29th, Casera dei Fiori, via Roma 82B, Tambre

On June 29th 2022, the first semestral workshop of our group will take place. In the awesome landscape of Tambre’ we will discuss the last achievements of our research groups, as well as the planning for the next 6 months. The workshop is by invitation only. The current tentative list of participants comprises prof. Agostino Cortesi, prof. Paolo Falcarin, prof. Pietro Ferrara, prof. Vincenzo Arceri, Alvise Spano’, Gianluca Caiazza, Martina Olliaro, Maikel Lazaro Perez Gort, Ruffin White, Luca Negrini, Luca Olivieri, and Raunak Bag.

9:00-10:00Arrival and registration
10:00-12:00Group achievements
“Static analysis of IoT software”, prof. Agostino Cortesi
“Secure software developments and DevOps”, prof. Paolo Falcarin
“Static analysis of Python notebooks”, prof. Pietro Ferrara
“Static analysis of Go contracts”, prof. Vincenzo Arceri
13:00-15:00Personal achievements
“Visualization of molecules”, Alvise Spano’
“LiSA”, Luca Negrini
“Analysis of Cosmos smart contracts”, Luca Olivieri
“Static analysis of string values”, Martina Olliaro
“Software watermarking”, Maikel Lazaro Perez Gort
“Application security dashboard”, Gianluca Caiazza
“SROS 2”, Ruffin White
“Conflicts in security non-functional requirements”, Raunak Bag
15:00-15:30Coffee Break
15:30-17:30Planning for 2022-23 a.y. (lead: prof. Pietro Ferrara)
Teaching activities (prof. Pietro Ferrara)
Scientific publications (prof. Agostino Cortesi)
Research founding (prof. Paolo Falcarin)