Lorenzo Ceragioli

22 papers A 2B 2Journal 10Unranked 7
YearRankTypeTitle / Venue / Authors
2024 — conf
A Coalgebraic Model of Quantum Bisimulation.
ACT
Lorenzo Ceragioli, Elena Di Lavore, Giuseppe Lomurno, Gabriele Tedeschi
2024 A conf
A Logic for Policy Based Resource Exchanges in Multiagent Systems.
ECAI
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta, Luca Viganò
2024 J jnl
A Logic for Policy Based Resource Exchanges in Multiagent Systems.
CoRR
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta, Luca Viganò
2024 B conf
Effect Semantics for Quantum Process Calculi.
CONCUR
Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi
2024 J jnl
Policies for Fair Exchanges of Resources.
CoRR
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta, Luca Viganò
2024 B conf
Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers.
APLAS
Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi
2024 J jnl
Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers.
CoRR
Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi
2024 J jnl
Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers.
Proc. ACM Program. Lang.
Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi
2024 — conf
Reconciling Quantum Theory and Process Equivalence via Physically Admissible Schedulers.
WADT
Lorenzo Ceragioli, Giuseppe Lomurno, Gabriele Tedeschi
2024 J jnl
Specifying and Verifying Information Flow Control in SELinux Configurations.
ACM Trans. Priv. Secur.
Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, David A. Basin
2024 — conf
Testing Quantum Processes.
ISoLA (1)
Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi
2023 J jnl
Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-Deterministic Observers.
CoRR
Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi
2022 — —
Access Control Policies Across Abstraction Layers.
Lorenzo Ceragioli
2022 J jnl
Automatic Fair Exchanges.
CoRR
Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, Luca Viganò
2022 J jnl
Can my firewall system enforce this policy?
Comput. Secur.
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta
2022 J jnl
IFCIL: An Information Flow Configuration Language for SELinux (Extended Version).
CoRR
Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, David A. Basin
2022 A conf
IFCIL: An Information Flow Configuration Language for SELinux.
CSF
Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, David A. Basin
2021 J jnl
FWS: Analyzing, maintaining and transcompiling firewalls.
J. Comput. Secur.
Chiara Bodei, Lorenzo Ceragioli, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Flaminia L. Luccio, Mauro Tempesta, Lorenzo Veronese
2020 — conf
MuAC: Access Control Language for Mutual Benefits.
ITASEC
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta
2019 — conf
Are All Firewall Systems Equally Powerful?
PLAS@CCS
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta
2019 — conf
Checking the Expressivity of Firewall Languages.
The Art of Modelling Computational Systems
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta
2019 — conf
From Firewalls to Functions and Back.
ITASEC
Lorenzo Ceragioli, Letterio Galletta, Mauro Tempesta