Lorenzo Ceragioli

According to our database, Lorenzo Ceragioli authored at least 21 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Verification of Quantum Protocols Adopting Physically Admissible Schedulers.

Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi

CoRR, April, 2026

Differential Verification of Information Flow in SEAndroid Policies.

Lorenzo Ceragioli, Letterio Galletta, Edoardo Lunati

Proceedings of the Formal Methods - 27th International Symposium, 2026

2024

Specifying and Verifying Information Flow Control in SELinux Configurations.

Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, David A. Basin

ACM Trans. Priv. Secur., November, 2024

A Coalgebraic Model of Quantum Bisimulation.

Lorenzo Ceragioli, Elena Di Lavore, Giuseppe Lomurno, Gabriele Tedeschi

Proceedings of the Proceedings Seventh International Conference on Applied Category Theory 2024, September, 2024

Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers.

Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi

Proc. ACM Program. Lang., January, 2024

Policies for Fair Exchanges of Resources.

Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta, Luca Viganò

CoRR, 2024

Testing Quantum Processes.

Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024

A Logic for Policy Based Resource Exchanges in Multiagent Systems.

Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta, Luca Viganò

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

Effect Semantics for Quantum Process Calculi.

Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi

Proceedings of the 35th International Conference on Concurrency Theory, 2024

Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers.

Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi

Proceedings of the Programming Languages and Systems - 22nd Asian Symposium, 2024

Reconciling Quantum Theory and Process Equivalence via Physically Admissible Schedulers.

Lorenzo Ceragioli, Giuseppe Lomurno, Gabriele Tedeschi

Proceedings of the Recent Trends in Algebraic Development Techniques, 2024

2022

Access Control Policies Across Abstraction Layers.

Lorenzo Ceragioli

PhD thesis, 2022

Automatic Fair Exchanges.

Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, Luca Viganò

CoRR, 2022

IFCIL: An Information Flow Configuration Language for SELinux (Extended Version).

Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, David A. Basin

CoRR, 2022

Can my firewall system enforce this policy?

Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta

Comput. Secur., 2022

IFCIL: An Information Flow Configuration Language for SELinux.

Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, David A. Basin

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

2021

FWS: Analyzing, maintaining and transcompiling firewalls.

Chiara Bodei, Lorenzo Ceragioli, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Flaminia L. Luccio, Mauro Tempesta, Lorenzo Veronese

J. Comput. Secur., 2021

2020

MuAC: Access Control Language for Mutual Benefits.

Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta

Proceedings of the Fourth Italian Conference on Cyber Security, 2020

2019

From Firewalls to Functions and Back.

Lorenzo Ceragioli, Letterio Galletta, Mauro Tempesta

Proceedings of the Third Italian Conference on Cyber Security, 2019

Are All Firewall Systems Equally Powerful?

Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta

Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and Analysis for Security, 2019

Checking the Expressivity of Firewall Languages.

Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019