GALLETTA, LETTERIO Statistiche
GALLETTA, LETTERIO
DIPARTIMENTO DI INFORMATICA
Robust Declassification by Incremental Typing
2019-01-01 Busi, Matteo; Degano, Pierpaolo; Galletta, Letterio
Firewall Management With FireWall Synthesizer
2018-01-01 Bodei, Chiara; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Tempesta, Mauro; Veronese, Lorenzo
Sustainable precision agriculture from a process algebraic perspective: a smart vineyard
2018-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
Tracing where IoT data are collected and aggregated
2017-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
Tracking sensitive and untrustworthy data in IoT
2017-01-01 Bodei, Chiara; Galletta, Letterio
A Step Towards Checking Security in IoT
2016-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
A Two-Component Language for Adaptation: Design, Semantics, and Program Analysis
2016-01-01 Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
Context-aware security: Linguistic mechanisms and static analysis
2016-01-01 Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Salvatori, Francesco
Event-driven adaptation in COP
2016-01-01 Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
Securing IoT communications: at what cost?
2016-01-01 Bodei, Chiara; Galletta, Letterio
The cost of securing IoT communications
2016-01-01 Bodei, Chiara; Galletta, Letterio
Where Do Your IoT Ingredients Come From?
2016-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
A Context-Oriented Extension of F#.
2015-01-01 Canciani, Andrea; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
A Two-Component Language for COP
2014-01-01 Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
A Two-Phase Static Analysis for Reliable Adaptation
2014-01-01 Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
An Abstract Interpretation Framework for Type and Effect Systems
2014-01-01 Galletta, Letterio
Here you can't: context-aware security.
2014-01-01 Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Salvatori, Francesco
Security in Pervasive Applications: A Survey
2013-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio; Mezzetti, Gianluca
A Reconstruction of a Types-and-Effects Analysis by Abstract Interpretation
2012-01-01 Galletta, Letterio
Types for Coordinating Secure Behavioural Variations
2012-01-01 Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio; Mezzetti, Gianluca
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Robust Declassification by Incremental Typing | 1-gen-2019 | Busi, Matteo; Degano, Pierpaolo; Galletta, Letterio | |
| Firewall Management With FireWall Synthesizer | 1-gen-2018 | Bodei, Chiara; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Tempesta, Mauro; Veronese, Lorenzo | |
| Sustainable precision agriculture from a process algebraic perspective: a smart vineyard | 1-gen-2018 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio | |
| Tracing where IoT data are collected and aggregated | 1-gen-2017 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio | |
| Tracking sensitive and untrustworthy data in IoT | 1-gen-2017 | Bodei, Chiara; Galletta, Letterio | |
| A Step Towards Checking Security in IoT | 1-gen-2016 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio | |
| A Two-Component Language for Adaptation: Design, Semantics, and Program Analysis | 1-gen-2016 | Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio | |
| Context-aware security: Linguistic mechanisms and static analysis | 1-gen-2016 | Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Salvatori, Francesco | |
| Event-driven adaptation in COP | 1-gen-2016 | Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio | |
| Securing IoT communications: at what cost? | 1-gen-2016 | Bodei, Chiara; Galletta, Letterio | |
| The cost of securing IoT communications | 1-gen-2016 | Bodei, Chiara; Galletta, Letterio | |
| Where Do Your IoT Ingredients Come From? | 1-gen-2016 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio | |
| A Context-Oriented Extension of F#. | 1-gen-2015 | Canciani, Andrea; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio | |
| A Two-Component Language for COP | 1-gen-2014 | Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio | |
| A Two-Phase Static Analysis for Reliable Adaptation | 1-gen-2014 | Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio | |
| An Abstract Interpretation Framework for Type and Effect Systems | 1-gen-2014 | Galletta, Letterio | |
| Here you can't: context-aware security. | 1-gen-2014 | Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Salvatori, Francesco | |
| Security in Pervasive Applications: A Survey | 1-gen-2013 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio; Mezzetti, Gianluca | |
| A Reconstruction of a Types-and-Effects Analysis by Abstract Interpretation | 1-gen-2012 | Galletta, Letterio | |
| Types for Coordinating Secure Behavioural Variations | 1-gen-2012 | Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio; Mezzetti, Gianluca |