- New paper on GoLiSA applied to the static analysis of blockchain application published at SOAP 2022!The paper “Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report” has been presented and published at SOAP
- New paper on static analysis of machine learning model accepted by the Journal of Computer Security!Our recent work on “Certifying Machine Learning Models Against Evasion Attacks by Program Analysis” has been accepted for publication by
- New paper published in Journal “Expert Systems with Applications”The paper “Empirical analysis of the impact of queries on watermarked relational databases” by Martina Olliaro, Maikel Lázaro Pérez Gort
- New paper published in Sensors JournalJust published in the Sensors Journal the paper “A Wearable System for Jump Detection in Inline Figure Skating” by Antonio
- Chapter published in “Security in IoT”The article “Robustness Analysis of PLC Programs With Respect to Sensor Interaction in IoT”, by Manali Chakraborty, Agostino Cortesi, Pietro
- New paper published in “Information and Computation”Just published in the Information and Computation Journal the paper “Completeness of String Analysis for Dynamic Languages” by Vincenzo Arceri,
- New paper published in Elsevier’s “Ad Hoc Networks”We are pleased to announce that the paper “Geographic Location based Secure, Dynamic and Opportunistic RPL for Distributed Networks” by
- Paper appearing in the 14th International Symposium on Foundations & Practice of SecurityThe paper “A Quantile-based Watermarking Approach for Distortion Minimization” by Maikel Lázaro Pérez Gort, Martina Olliaro, and Agostino Cortesi, has
- New paper published in Springer’s “SN Computer Science”The article “A Patient-Centric Nurse Scheduling Algorithm” by Paramita Sarkar, Rituparna Chaki and Agostino Cortesi appeared today in the Springer
- PhD Fellowship on robotic verification approvedOur proposal for a 3-year PhD fellowship on “Requirement specification and verification for robotic software” has been officially approved and