Lorenzo Ceragioli

According to our database, Lorenzo Ceragioli authored at least 11 papers between 2019 and 2024.

Collaborative distances:

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

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

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