Email: lore.crg@libero.it
Profile
Teaching
Teaching activity
Teaching responsibility for modules/courses
- Software validation and verification (cod. 660AA) per Laurea Magistrale in Informatica
Student consultation hours
Location: Dipartimento di informatica
Time: Mercoledì 16-17
Research
Publications
- Testing Quantum Processes (Ceragioli, L.; Gadducci, F.; Lomurno, G.; Tedeschi, G. - 2024 - 4.1 Contributo in Atti di convegno)
- Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers (Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele - 2024 - 4.1 Contributo in Atti di convegno)
- Effect Semantics for Quantum Process Calculi (Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele - 2024 - 4.1 Contributo in Atti di convegno)
- FWS: Analyzing, maintaining and transcompiling firewalls (Bodei, Chiara; Ceragioli, Lorenzo; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Luccio, Flaminia; Tempesta, Mauro; Veronese, Lorenzo - 2021 - 1.1 Articolo in rivista)
- MuAC: Access Control Language for Mutual Benefits (Ceragioli, L.; Degano, P.; Galletta, L. - 2020 - 4.1 Contributo in Atti di convegno)
- Checking the Expressivity of Firewall Languages (Ceragioli, Lorenzo; Degano, P.; Galletta, L. - 2019 - 2.1 Contributo in volume (Capitolo o Saggio))
- Are All Firewall Systems Equally Powerful? (Ceragioli, L.; Degano, P.; Galletta, L. - 2019 - 2.1 Contributo in volume (Capitolo o Saggio))