Lorenzo Ceragioli

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 12

Top Topics

Information Flows

Top Venues

Proc. ACM Program. Lang.

Publications

Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi
Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers. Proc. ACM Program. Lang. 8 (POPL) (2024)
Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi
Effect Semantics for Quantum Process Calculi. CONCUR (2024)
Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi
Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-Deterministic Observers. CoRR (2023)
Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, David A. Basin
IFCIL: An Information Flow Configuration Language for SELinux. CSF (2022)
Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, David A. Basin
IFCIL: An Information Flow Configuration Language for SELinux (Extended Version). CoRR (2022)
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta
Can my firewall system enforce this policy? Comput. Secur. 117 (2022)
Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, Luca Viganò
Automatic Fair Exchanges. CoRR (2022)
Chiara Bodei, Lorenzo Ceragioli, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Flaminia L. Luccio, Mauro Tempesta, Lorenzo Veronese
FWS: Analyzing, maintaining and transcompiling firewalls. J. Comput. Secur. 29 (1) (2021)
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta
MuAC: Access Control Language for Mutual Benefits. ITASEC (2020)
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta
Checking the Expressivity of Firewall Languages. The Art of Modelling Computational Systems (2019)
Lorenzo Ceragioli, Letterio Galletta, Mauro Tempesta
From Firewalls to Functions and Back. ITASEC (2019)
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta
Are All Firewall Systems Equally Powerful? PLAS@CCS (2019)