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.
| Time | What |
| 9:00-10:00 | Arrival and registration |
| 10:00-12:00 | Group 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 |
| 12:00-13:00 | Lunch |
| 13:00-15:00 | Personal 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:30 | Coffee Break |
| 15:30-17:30 | Planning for 2022-23 a.y. (lead: prof. Pietro Ferrara) Teaching activities (prof. Pietro Ferrara) Scientific publications (prof. Agostino Cortesi) Research founding (prof. Paolo Falcarin) |