Get started
Author

Lorenzo Ceragioli

Observed names: CERAGIOLI, LORENZO, Ceragioli, Lorenzo, L. Ceragioli
ORCID: 0000-0002-1288-9623
Observed ORCID: 0000-0002-1288-9623
OpenAlex ID: A5082476880
Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers
2024 · Lorenzo Ceragioli, Fabio Gadducci, et al. · Proceedings of the ACM on Programming Languages · 14
PDF
Can my firewall system enforce this policy?
2022 · Lorenzo Ceragioli, Pierpaolo Degano, et al. · Computers & Security · 11
Are All Firewall Systems Equally Powerful?
2019 · Lorenzo Ceragioli, Pierpaolo Degano, et al. · 8
FWS: Analyzing, maintaining and transcompiling firewalls
2021 · Chiara Bodei, Lorenzo Ceragioli, et al. · Journal of Computer Security · 6
Effect Semantics for Quantum Process Calculi
2024 · Ceragioli, Lorenzo, Gadducci, Fabio, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 5
PDF
Testing Quantum Processes
2024 · Lorenzo Ceragioli, Fabio Gadducci, et al. · Lecture notes in computer science · 4
Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers
2024 · Lorenzo Ceragioli, Fabio Gadducci, et al. · Lecture notes in computer science · 3
PDF
IFCIL: An Information Flow Configuration Language for SELinux
2022 · Lorenzo Ceragioli, Letterio Galletta, et al. · IEEE Computer Security Foundations Workshop (CSFW) · 3
PDF
From Firewalls to Functions and Back.
2019 · Lorenzo Ceragioli, Letterio Galletta, et al. · 3
Checking the Expressivity of Firewall Languages
2019 · Lorenzo Ceragioli, Pierpaolo Degano, et al. · Lecture notes in computer science · 3
Mordente
2026 · Ceragioli, Lorenzo, GALLETTA, LETTERIO, et al. · Zenodo (CERN European Organization for Nuclear Research) · 2
A Coalgebraic Model of Quantum Bisimulation
2025 · Lorenzo Ceragioli, Elena Di Lavore, et al. · Electronic Proceedings in Theoretical Computer Science · 2
PDF
Specifying and Verifying Information Flow Control in SELinux Configurations
2024 · Lorenzo Ceragioli, Letterio Galletta, et al. · ACM Transactions on Privacy and Security · 2
Checking Information Flow in Cloud-based IoT Access Control Policies (Extended Version)
2026 · Ceragioli, Lorenzo, Galletta, Letterio, et al. · arXiv (Cornell University) · 1
PDF
IoT:Poker
2026 · Ceragioli, Lorenzo, GALLETTA, LETTERIO, et al. · Zenodo (CERN European Organization for Nuclear Research) · 1
Verification of Quantum Protocols Adopting Physically Admissible Schedulers
2026 · Lorenzo Ceragioli, Fabio Gadducci, et al. · ACM Transactions on Quantum Computing · 1
Reconciling Quantum Theory and Process Equivalence via Physically Admissible Schedulers
2025 · Lorenzo Ceragioli, Giuseppe Lomurno, et al. · Lecture notes in computer science · 1
A Logic for Policy Based Resource Exchanges in Multiagent Systems
2024 · Lorenzo Ceragioli, Pierpaolo Degano, et al. · Frontiers in artificial intelligence and applications · 1
TACAS 2027 Tool Paper Artifact: Verifying Quantum Protocols with QUARC
2026 · Ceragioli, Lorenzo, Gadducci, Fabio, et al. · Zenodo (CERN European Organization for Nuclear Research)
Testing the quantum anonymous transmission protocol
2026 · L. Ceragioli, F. Gadducci, et al. · Journal of Logical and Algebraic Methods in Programming
PDF
Checking Information Flow in Cloud-based IoT Access Control Policies
2026 · Ceragioli, Lorenzo, GALLETTA, LETTERIO, et al. · reposiTUm (TU Wien)
PDF
Policies for Fair Exchanges of Resources
2026 · Lorenzo Ceragioli, Pierpaolo Degano, et al. · Logical Methods in Computer Science
PDF
Differential Verification of Information Flow in SEAndroid Policies
2026 · Lorenzo Ceragioli, Letterio Galletta, et al. · Lecture notes in computer science
PDF
Automatic Fair Exchanges
2022 · Ceragioli, Lorenzo, Galletta, Letterio, et al. · arXiv (Cornell University)
PDF
MuAC: Access Control Language for Mutual Benefits.
2020 · Lorenzo Ceragioli, Pierpaolo Degano, et al. · CINECA IRIS Institutial research information system (University of Pisa)
Works count: 27
Citation count: 71
H-index: 5
I10-index: 2
Year
Topic
Type