IRIS

CERAGIOLI, LORENZO

CERAGIOLI, LORENZO  

I.M.T. (Istituzioni, Mercati, Tecnologie) Alti Studi  

Mostra records
Risultati 1 - 20 di 20 (tempo di esecuzione: 0.023 secondi).
Titolo Data di pubblicazione Autore(i) File
A Coalgebraic Model of Quantum Bisimulation 1-gen-2024 Ceragioli, Lorenzo; Di Lavore, Elena; Lomurno, Giuseppe; Tedeschi, Gabriele
A Logic for Policy Based Resource Exchanges in Multiagent Systems 1-gen-2024 Ceragioli, Lorenzo; Degano, Pierpaolo; Galletta, Letterio; Viganò, Luca
Are all firewall systems equally powerful? 1-gen-2019 Ceragioli, L.; Degano, P.; Galletta, L.
Can my Firewall System Enforce this Policy? 1-gen-2022 Ceragioli, Lorenzo; Degano, Pierpaolo; Galletta, Letterio
Checking Information Flow in Cloud-based IoT Access Control Policies In corso di stampa Ceragioli, Lorenzo; Galletta, Letterio; Lunati, Edoardo
Checking the Expressivity of Firewall Languages 1-gen-2019 Ceragioli, L.; Degano, P.; Galletta, L.
Differential Verification of Information Flow in SEAndroid Policies In corso di stampa Ceragioli, Lorenzo; Galletta, Letterio; Lunati, Edoardo
Effect Semantics for Quantum Process Calculi 1-gen-2024 Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele
From firewalls to functions and back 1-gen-2019 Ceragioli, Lorenzo; Galletta, Letterio; Tempesta, Mauro
FWS: Analyzing, maintaining and transcompiling firewalls 1-gen-2021 Bodei, C.; Ceragioli, L.; Degano, P.; Focardi, R.; Galletta, L.; Luccio, F.; Tempesta, M.; Veronese, L.
IFCIL: An Information Flow Configuration Language for SELinux 1-gen-2022 Ceragioli, L.; Galletta, L.; Degano, P.; Basin, D.
MUAC: Access control language for mutual benefits 1-gen-2020 Ceragioli, L.; Degano, P.; Galletta, L.
Policies for Fair Exchanges of Resources In corso di stampa Ceragioli, Lorenzo; Degano, Pierpaolo; Galletta, Letterio; Viganò, Luca
Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers 1-gen-2025 Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele
Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers 1-gen-2024 Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele
Reconciling Quantum Theory and Process Equivalence via Physically Admissible Schedulers 1-gen-2025 Ceragioli, Lorenzo; Lomurno, Giuseppe; Tedeschi, Gabriele
SELinux CIL Semantics: An executable semantics for SELinux CIL configuration language 1-gen-2024 Ceragioli, Lorenzo
SELinux IFCIL: A SELinux configuration language that extends CIL with information flow requirements: semantics and verifier 1-gen-2024 Ceragioli, Lorenzo
Specifying and Verifying Information Flow Control in SELinux Configurations 1-gen-2024 Ceragioli, L.; Galletta, L.; Degano, P.; Basin, D.
Testing Quantum Processes 1-gen-2025 Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele