GALLETTA, LETTERIO

GALLETTA, LETTERIO  

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

Mostra records
Risultati 1 - 20 di 67 (tempo di esecuzione: 0.016 secondi).
Titolo Data di pubblicazione Autore(i) File
A context-oriented extension of F# 1-gen-2015 Canciani, A.; Degano, P.; Ferrari, G. L.; Galletta, L.
A Reconstruction of a Types-and-Effects Analysis by Abstract Interpretation 1-gen-2012 Galletta, L
A Step Towards Checking Security in IoT 1-gen-2016 Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio
A Two-Component Language for COP 1-gen-2014 Degano, P.; Ferrari, G. L.; Galletta, L.
A Two-Phase Static Analysis for Reliable Adaptation 1-gen-2014 Degano, P.; Ferrari, G. L.; Galletta, L.
An Abstract Interpretation Framework for Type and Effect Systems 1-gen-2014 Galletta, Letterio
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language 1-gen-2011 Galletta, L.; Levi, G.
Analysing the Provenance of IoT Data 1-gen-2020 Bodei, Chiara; Galletta, Letterio
Are all firewall systems equally powerful? 1-gen-2019 Ceragioli, L.; Degano, P.; Galletta, L.
A brief tour of formally secure compilation 1-gen-2019 Busi, Matteo; Galletta, Letterio
Can my Firewall System Enforce this Policy? 1-gen-2022 Ceragioli, Lorenzo; Degano, Pierpaolo; Galletta, Letterio
Checking the Expressivity of Firewall Languages 1-gen-2019 Ceragioli, L.; Degano, P.; Galletta, L.
Context-aware security: Linguistic mechanisms and static analysis 1-gen-2016 Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Salvatori, Francesco
Control-flow flattening preserves the constant-time policy 1-gen-2020 Busi, M.; Degano, P.; Galletta, L.
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
Event-driven adaptation in COP 1-gen-2016 Degano, P.; Ferrari, G. L.; Galletta, L.
Experimenting with a Context-Aware Language 1-gen-2017 Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio
Firewall Management With FireWall Synthesizer 1-gen-2018 Bodei, Chiara; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Tempesta, Mauro; Veronese, Lorenzo
Formalising Security in Ubiquitous and Cloud Scenarios 1-gen-2012 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio; Mezzetti, Gianluca
Framework, Tools and Good Practices for Cybersecurity Curricula 1-gen-2021 Hajny, J.; Ricci, S.; Piesarskas, E.; Levillain, O.; Galletta, L.; De Nicola, R.