The paper “Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report” has been presented and published at SOAP 2022! Click here for the full version of the paper.
New paper on GoLiSA applied to the static analysis of blockchain application published at SOAP 2022!
June 18, 2022
New paper on static analysis of machine learning model accepted by the Journal of Computer Security!
May 20, 2022
Our recent work on “Certifying Machine Learning Models Against Evasion Attacks by Program Analysis” has been accepted for publication by the Journal of Computer Security. Here a preprint of the pape
New paper published in Journal “Expert Systems with Applications”
May 14, 2022
The paper “Empirical analysis of the impact of queries on watermarked relational databases” by Martina Olliaro, Maikel Lázaro Pérez Gort and Agostino Cortesi has just been published in the Expert Systems with Applications Journal. It is available here: https://www.sciencedirect.com/science/article/pii/S095741742200820X
New paper published in Sensors Journal
February 20, 2022
Just published in the Sensors Journal the paper “A Wearable System for Jump Detection in Inline Figure Skating” by Antonio Panfili, Alvise Spanò and Agostino Cortesi. Available here: https://www.mdpi.com/1424-8220/22/4/1650
Chapter published in “Security in IoT”
February 9, 2022
The article “Robustness Analysis of PLC Programs With Respect to Sensor Interaction in IoT”, by Manali Chakraborty, Agostino Cortesi, Pietro Ferrara and Sara Ferro, has just been published as a chapter of the book “Security in IoT”, published by Taylor&Francis. Available here: https://www.taylorfrancis.com/chapters/edit/10.1201/9781003149507-2/robustness-analysis-plc-programs-respect-sensor-interaction-iot-manali-chakraborty-agostino-cortesi-pietro-ferrara-sara-ferro
New paper published in “Information and Computation”
December 1, 2021
Just published in the Information and Computation Journal the paper “Completeness of String Analysis for Dynamic Languages” by Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, and Isabella Mastroeni. Available here: https://doi.org/10.1016/j.ic.2021.104791
New paper published in Elsevier’s “Ad Hoc Networks”
December 1, 2021
We are pleased to announce that the paper “Geographic Location based Secure, Dynamic and Opportunistic RPL for Distributed Networks” by Manali Chackraborty, Alvise Spanò and Agostino Cortesi has been published in the Elsevier journal “Had Hoc Networks”, in vol. 123. https://www.sciencedirect.com/science/article/pii/S1570870521001931
Paper appearing in the 14th International Symposium on Foundations & Practice of Security
November 8, 2021
The paper “A Quantile-based Watermarking Approach for Distortion Minimization” by Maikel Lázaro Pérez Gort, Martina Olliaro, and Agostino Cortesi, has been accepted for publication by the 14th International Symposium on Foundations & Practice of Security.
New paper published in Springer’s “SN Computer Science”
October 23, 2021
The article “A Patient-Centric Nurse Scheduling Algorithm” by Paramita Sarkar, Rituparna Chaki and Agostino Cortesi appeared today in the Springer journal SN Computer Science, vol. 3(1). https://link.springer.com/article/10.1007/s42979-021-00820-4
PhD Fellowship on robotic verification approved
October 11, 2021
Our proposal for a 3-year PhD fellowship on “Requirement specification and verification for robotic software” has been officially approved and financed. The student will spend a 6 months training period in Secura Factors.