Checking the Expressivity of Firewall Languages. - Lorenzo Ceragioli; Pierpaolo Degano; Letterio Galletta (The Art of Modelling Computational Systems, 2019)

Are All Firewall Systems Equally Powerful? - Lorenzo Ceragioli; Pierpaolo Degano; Letterio Galletta (PLAS@CCS, 2019)

From Firewalls to Functions and Back. - Lorenzo Ceragioli; Letterio Galletta; Mauro Tempesta (ITASEC, 2019)

MuAC: Access Control Language for Mutual Benefits. - Lorenzo Ceragioli; Pierpaolo Degano; Letterio Galletta (ITASEC, 2020)

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)

IFCIL: An Information Flow Configuration Language for SELinux. - Lorenzo Ceragioli; Letterio Galletta; Pierpaolo Degano; David A. Basin (CSF, 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 (Extended Version). - Lorenzo Ceragioli; Letterio Galletta; Pierpaolo Degano; David A. Basin (CoRR, 2022)

Automatic Fair Exchanges. - Lorenzo Ceragioli; Letterio Galletta; Pierpaolo Degano; Luca Viganò 001 (CoRR, 2022)

Access Control Policies Across Abstraction Layers. - Lorenzo Ceragioli (2022)

Reconciling Quantum Theory and Process Equivalence via Physically Admissible Schedulers. - Lorenzo Ceragioli; Giuseppe Lomurno; Gabriele Tedeschi (WADT, 2024)

Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers. - Lorenzo Ceragioli; Fabio Gadducci; Giuseppe Lomurno; Gabriele Tedeschi (APLAS, 2024)

Effect Semantics for Quantum Process Calculi. - Lorenzo Ceragioli; Fabio Gadducci; Giuseppe Lomurno; Gabriele Tedeschi (CONCUR, 2024)

A Logic for Policy Based Resource Exchanges in Multiagent Systems. - Lorenzo Ceragioli; Pierpaolo Degano; Letterio Galletta; Luca Viganò 001 (ECAI, 2024)

Testing Quantum Processes. - Lorenzo Ceragioli; Fabio Gadducci; Giuseppe Lomurno; Gabriele Tedeschi (ISoLA (1), 2024)

Policies for Fair Exchanges of Resources. - Lorenzo Ceragioli; Pierpaolo Degano; Letterio Galletta; Luca Viganò 001 (CoRR, 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., 2024)

Specifying and Verifying Information Flow Control in SELinux Configurations. - Lorenzo Ceragioli; Letterio Galletta; Pierpaolo Degano; David A. Basin (ACM Trans. Priv. Secur., 2024)