Sfoglia per Autore
IT-Covid19-IT: la risposta della comunità informatica italiana alla pandemia
2021-01-01 Bonnici, Vincenzo; Cicceri, Giovanni; Distefano, Salvatore; Galletta, Letterio; Polignano, Marco; Scaffidi, Carlo
FWS: Analyzing, maintaining and transcompiling firewalls
2021-01-01 Bodei, C.; Ceragioli, L.; Degano, P.; Focardi, R.; Galletta, L.; Luccio, F.; Tempesta, M.; Veronese, L.
Resilience of Hybrid Casper under varying values of parameters
2022-01-01 Galletta, Letterio; Laneve, Cosimo; Mercanti, Ivan; Veschetti, Adele
IFCIL: An Information Flow Configuration Language for SELinux
2022-01-01 Ceragioli, L.; Galletta, L.; Degano, P.; Basin, D.
Covid19/IT the digital side of Covid19: A picture from Italy with clustering and taxonomy
2022-01-01 Bonnici, Vincenzo; Cicceri, Giovanni; Distefano, Salvatore; Galletta, Letterio; Polignano, Marco; Scaffidi, Carlo
Towards effective preservation of robust safety properties
2022-01-01 Busi, Matteo; Degano, Pierpaolo; Galletta, Letterio
Can my Firewall System Enforce this Policy?
2022-01-01 Ceragioli, Lorenzo; Degano, Pierpaolo; Galletta, Letterio
Formally verifying security protocols built on watermarking and jamming
2023-01-01 Costa, Gabriele; Degano, Pierpaolo; Galletta, Letterio; Soderi, Simone
A type language for distributed reactive components governed by communication protocols
2023-01-01 Savanovic, Zorica; Galletta, Letterio
Risk Estimation in IoT Systems
2023-01-01 Bodei, Chiara; Ferrari, Gian-Luigi; Galletta, Letterio; Degano, Pierpaolo
A Logic for Policy Based Resource Exchanges in Multiagent Systems
2024-01-01 Ceragioli, Lorenzo; Degano, Pierpaolo; Galletta, Letterio; Viganò, Luca
A Comparison of Hosting Techniques for Online Cybersecurity Competitions
2024-01-01 Maggioni, N.; Galletta, L.
Securing SATCOM user segment: A study on cybersecurity challenges in view of IRIS2
2024-01-01 Casaril, F.; Galletta, L.
Systems Security Modeling and Analysis at IMT Lucca
2024-01-01 Costa, Gabriele; DE FRANCISCI, Silvia; Galletta, Letterio; Perini Brogi, Cosimo; Petrocchi, Marinella; Pinelli, Fabio; Pizziol, Roberto; Pratelli, Manuel; Renieri, Margherita; Soderi, Simone; Tribastone, Mirco; Valiani, Serenella
A Netting Protocol for Liquidity-saving Automated Market Makers
2024-01-01 Renieri, M.; Galletta, L.; Lafuente, A. L.; Chiang, J. H. -Y.
Specifying and Verifying Information Flow Control in SELinux Configurations
2024-01-01 Ceragioli, L.; Galletta, L.; Degano, P.; Basin, D.
Explainable Ponzi Schemes Detection on Ethereum
2024-01-01 Galletta, Letterio; Pinelli, Fabio
A Policy Framework for Regulating External Calls in Smart Contracts
2025-01-01 Renieri, Margherita; Galletta, Letterio
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| IT-Covid19-IT: la risposta della comunità informatica italiana alla pandemia | 1-gen-2021 | Bonnici, Vincenzo; Cicceri, Giovanni; Distefano, Salvatore; Galletta, Letterio; Polignano, Marco; Scaffidi, Carlo | |
| 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. | |
| Resilience of Hybrid Casper under varying values of parameters | 1-gen-2022 | Galletta, Letterio; Laneve, Cosimo; Mercanti, Ivan; Veschetti, Adele | |
| IFCIL: An Information Flow Configuration Language for SELinux | 1-gen-2022 | Ceragioli, L.; Galletta, L.; Degano, P.; Basin, D. | |
| Covid19/IT the digital side of Covid19: A picture from Italy with clustering and taxonomy | 1-gen-2022 | Bonnici, Vincenzo; Cicceri, Giovanni; Distefano, Salvatore; Galletta, Letterio; Polignano, Marco; Scaffidi, Carlo | |
| Towards effective preservation of robust safety properties | 1-gen-2022 | Busi, Matteo; Degano, Pierpaolo; Galletta, Letterio | |
| Can my Firewall System Enforce this Policy? | 1-gen-2022 | Ceragioli, Lorenzo; Degano, Pierpaolo; Galletta, Letterio | |
| Formally verifying security protocols built on watermarking and jamming | 1-gen-2023 | Costa, Gabriele; Degano, Pierpaolo; Galletta, Letterio; Soderi, Simone | |
| A type language for distributed reactive components governed by communication protocols | 1-gen-2023 | Savanovic, Zorica; Galletta, Letterio | |
| Risk Estimation in IoT Systems | 1-gen-2023 | Bodei, Chiara; Ferrari, Gian-Luigi; Galletta, Letterio; Degano, Pierpaolo | |
| A Logic for Policy Based Resource Exchanges in Multiagent Systems | 1-gen-2024 | Ceragioli, Lorenzo; Degano, Pierpaolo; Galletta, Letterio; Viganò, Luca | |
| A Comparison of Hosting Techniques for Online Cybersecurity Competitions | 1-gen-2024 | Maggioni, N.; Galletta, L. | |
| Securing SATCOM user segment: A study on cybersecurity challenges in view of IRIS2 | 1-gen-2024 | Casaril, F.; Galletta, L. | |
| Systems Security Modeling and Analysis at IMT Lucca | 1-gen-2024 | Costa, Gabriele; DE FRANCISCI, Silvia; Galletta, Letterio; Perini Brogi, Cosimo; Petrocchi, Marinella; Pinelli, Fabio; Pizziol, Roberto; Pratelli, Manuel; Renieri, Margherita; Soderi, Simone; Tribastone, Mirco; Valiani, Serenella | |
| A Netting Protocol for Liquidity-saving Automated Market Makers | 1-gen-2024 | Renieri, M.; Galletta, L.; Lafuente, A. L.; Chiang, J. H. -Y. | |
| Specifying and Verifying Information Flow Control in SELinux Configurations | 1-gen-2024 | Ceragioli, L.; Galletta, L.; Degano, P.; Basin, D. | |
| Explainable Ponzi Schemes Detection on Ethereum | 1-gen-2024 | Galletta, Letterio; Pinelli, Fabio | |
| A Policy Framework for Regulating External Calls in Smart Contracts | 1-gen-2025 | Renieri, Margherita; Galletta, Letterio |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile