GALLETTA, LETTERIO Statistiche

GALLETTA, LETTERIO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 23 (tempo di esecuzione: 0.046 secondi).
Titolo Data di pubblicazione Autore(i) File
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
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language 1-gen-2011 Galletta, Letterio; Levi, Giorgio
Context-aware security: Linguistic mechanisms and static analysis 1-gen-2016 Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Salvatori, Francesco
A Context-Oriented Extension of F#. 1-gen-2015 Canciani, Andrea; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
The cost of securing IoT communications 1-gen-2016 Bodei, Chiara; Galletta, Letterio
Event-driven adaptation in COP 1-gen-2016 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
Here you can't: context-aware security. 1-gen-2014 Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Salvatori, Francesco
A Reconstruction of a Types-and-Effects Analysis by Abstract Interpretation 1-gen-2012 Galletta, Letterio
Robust Declassification by Incremental Typing 1-gen-2019 Busi, Matteo; Degano, Pierpaolo; Galletta, Letterio
Securing IoT communications: at what cost? 1-gen-2016 Bodei, Chiara; Galletta, Letterio
Security in Pervasive Applications: A Survey 1-gen-2013 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio; Mezzetti, Gianluca
A Step Towards Checking Security in IoT 1-gen-2016 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
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 Two-Component Language for Adaptation: Design, Semantics, and Program Analysis 1-gen-2016 Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
Types for Coordinating Secure Behavioural Variations 1-gen-2012 Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio; Mezzetti, Gianluca