CERAGIOLI, LORENZO Statistiche
CERAGIOLI, LORENZO
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.012 secondi).
Effect Semantics for Quantum Process Calculi
2024-01-01 Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele
Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers
2024-01-01 Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele
FWS: Analyzing, maintaining and transcompiling firewalls
2021-01-01 Bodei, Chiara; Ceragioli, Lorenzo; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Luccio, Flaminia; Tempesta, Mauro; Veronese, Lorenzo
MuAC: Access Control Language for Mutual Benefits
2020-01-01 Ceragioli, L.; Degano, P.; Galletta, L.
Are All Firewall Systems Equally Powerful?
2019-01-01 Ceragioli, L.; Degano, P.; Galletta, L.
Checking the Expressivity of Firewall Languages
2019-01-01 Ceragioli, Lorenzo; Degano, P.; Galletta, L.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Effect Semantics for Quantum Process Calculi | 1-gen-2024 | Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele | |
| Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers | 1-gen-2024 | Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele | |
| FWS: Analyzing, maintaining and transcompiling firewalls | 1-gen-2021 | Bodei, Chiara; Ceragioli, Lorenzo; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Luccio, Flaminia; Tempesta, Mauro; Veronese, Lorenzo | |
| MuAC: Access Control Language for Mutual Benefits | 1-gen-2020 | Ceragioli, L.; Degano, P.; Galletta, L. | |
| Are All Firewall Systems Equally Powerful? | 1-gen-2019 | Ceragioli, L.; Degano, P.; Galletta, L. | |
| Checking the Expressivity of Firewall Languages | 1-gen-2019 | Ceragioli, Lorenzo; Degano, P.; Galletta, L. |