Sfoglia per Autore GALLETTA, LETTERIO
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language
2011-01-01 Galletta, L.; Levi, G.
Typing Context-Dependent Behavioural Variation
2012-01-01 Degano, P; Ferrari, G; Galletta, L; Mezzetti, G
A Reconstruction of a Types-and-Effects Analysis by Abstract Interpretation
2012-01-01 Galletta, L
Types for Coordinating Secure Behavioural Variations
2012-01-01 Degano, P; Ferrari, G; Galletta, L; Mezzetti, G
Formalising Security in Ubiquitous and Cloud Scenarios
2012-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio; Mezzetti, Gianluca
Security in Pervasive Applications: A Survey
2013-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio; Mezzett, Gianluca
Typing context-dependent behavioural variations
2013-01-01 Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio; Mezzetti, Gianluca
Here you can't: context-aware security
2014-01-01 Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Salvatori, Francesco
A Two-Component Language for COP
2014-01-01 Degano, P.; Ferrari, G. L.; Galletta, L.
Linguistic Mechanisms for Context-Aware Security
2014-01-01 Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Francesco, Salvatori
An Abstract Interpretation Framework for Type and Effect Systems
2014-01-01 Galletta, Letterio
A Two-Phase Static Analysis for Reliable Adaptation
2014-01-01 Degano, P.; Ferrari, G. L.; Galletta, L.
Safe adaptation through implicit effect coercion
2015-01-01 Basile, Davide; Galletta, Letterio; Mezzetti, Gianluca
A context-oriented extension of F#
2015-01-01 Canciani, A.; Degano, P.; Ferrari, G. L.; Galletta, L.
Securing IoT communications: at what cost?
2016-01-01 Bodei, Chiara; Galletta, Letterio
A semantics for disciplined concurrency in COP
2016-01-01 Busi, Matteo; Degano, Pierpaolo; Galletta, Letterio
A Step Towards Checking Security in IoT
2016-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio
Where Do Your IoT Ingredients Come From?
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, P.; Ferrari, G. L.; Galletta, L.
Last Mile’s Resources
2016-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language | 1-gen-2011 | Galletta, L.; Levi, G. | |
Typing Context-Dependent Behavioural Variation | 1-gen-2012 | Degano, P; Ferrari, G; Galletta, L; Mezzetti, G | |
A Reconstruction of a Types-and-Effects Analysis by Abstract Interpretation | 1-gen-2012 | Galletta, L | |
Types for Coordinating Secure Behavioural Variations | 1-gen-2012 | Degano, P; Ferrari, G; Galletta, L; Mezzetti, G | |
Formalising Security in Ubiquitous and Cloud Scenarios | 1-gen-2012 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio; Mezzetti, Gianluca | |
Security in Pervasive Applications: A Survey | 1-gen-2013 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio; Mezzett, Gianluca | |
Typing context-dependent behavioural variations | 1-gen-2013 | Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio; Mezzetti, Gianluca | |
Here you can't: context-aware security | 1-gen-2014 | Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Salvatori, Francesco | |
A Two-Component Language for COP | 1-gen-2014 | Degano, P.; Ferrari, G. L.; Galletta, L. | |
Linguistic Mechanisms for Context-Aware Security | 1-gen-2014 | Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Francesco, Salvatori | |
An Abstract Interpretation Framework for Type and Effect Systems | 1-gen-2014 | Galletta, Letterio | |
A Two-Phase Static Analysis for Reliable Adaptation | 1-gen-2014 | Degano, P.; Ferrari, G. L.; Galletta, L. | |
Safe adaptation through implicit effect coercion | 1-gen-2015 | Basile, Davide; Galletta, Letterio; Mezzetti, Gianluca | |
A context-oriented extension of F# | 1-gen-2015 | Canciani, A.; Degano, P.; Ferrari, G. L.; Galletta, L. | |
Securing IoT communications: at what cost? | 1-gen-2016 | Bodei, Chiara; Galletta, Letterio | |
A semantics for disciplined concurrency in COP | 1-gen-2016 | Busi, Matteo; Degano, Pierpaolo; Galletta, Letterio | |
A Step Towards Checking Security in IoT | 1-gen-2016 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio | |
Where Do Your IoT Ingredients Come From? | 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, P.; Ferrari, G. L.; Galletta, L. | |
Last Mile’s Resources | 1-gen-2016 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; 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