People
About me
I am an Assistant Professor (RTD-A) of Computer Science within the SySMA research unit of IMT Lucca. Previously, I was postdoctoral researcher at the Department of Computer Science of University of Pisa. I received my Ph.D. in Computer Science from the University of Pisa.
Research Activities
My research interests include modeling and verification of quantum systems and formal methods for computer security, in particular applied to Access Control.
Lately I have been working on:
Bisimulations for quantum processes;
Analysis of SELinux policies;
Logical modeling of multiagent systems.
Selected Publications
L. Ceragioli, F. Gadducci, G. Lomurno, G. Tedeschi: Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers. Proc. ACM Program. Lang. 8 (POPL), 2024
L. Ceragioli, L. Galletta, P. Degano, D. Basin: IFCIL: An Information Flow Configuration Language for SELinux. IEEE CSF (2022)
L. Ceragioli, P. Degano, L. Galletta: Can my firewall system enforce this policy? Comput. Secur. 117: 102683 (2022)
See my DBLP page for a full list of publications.