Letterio Galletta
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2018
- [c21]Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Mauro Tempesta, Lorenzo Veronese:
Firewall Management With FireWall Synthesizer. ITASEC 2018 - [c20]Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Mauro Tempesta:
Transcompiling Firewalls. POST 2018: 303-324 - [c19]Gabriele Costa, David A. Basin, Chiara Bodei, Pierpaolo Degano, Letterio Galletta:
From Natural Projection to Partial Model Checking and Back. TACAS (1) 2018: 344-361 - 2017
- [j5]Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta:
Tracing where IoT data are collected and aggregated. Logical Methods in Computer Science 13(3) (2017) - [c18]Chiara Bodei, Letterio Galletta:
Tracking Sensitive and Untrustworthy Data in IoT. ITASEC 2017: 38-52 - [c17]Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta:
Experimenting with a Context-Aware Language. PaCT 2017: 3-17 - [c16]Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Emilio Tuosto:
Tool Supported Analysis of IoT. ICE@DisCoTec 2017: 37-56 - 2016
- [j4]Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Francesco Salvatori:
Context-aware security: Linguistic mechanisms and static analysis. Journal of Computer Security 24(4): 427-477 (2016) - [j3]Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta:
A Two-Component Language for Adaptation: Design, Semantics and Program Analysis. IEEE Trans. Software Eng. 42(6): 505-529 (2016) - [c15]Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta:
Last Mile's Resources. Semantics, Logics, and Calculi 2016: 33-53 - [c14]Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta:
Where Do Your IoT Ingredients Come From? COORDINATION 2016: 35-50 - [c13]
- [c12]Matteo Busi, Pierpaolo Degano, Letterio Galletta:
A Semantics for Disciplined Concurrency in COP. ICTCS 2016: 177-189 - [c11]Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta:
Event-driven Adaptation in COP. PLACES 2016: 37-45 - [c10]Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta:
A Step Towards Checking Security in IoT. ICE 2016: 128-142 - [i1]Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta:
Tracing where IoT data are collected and aggregated. CoRR abs/1610.08419 (2016) - 2015
- [c9]Davide Basile, Letterio Galletta, Gianluca Mezzetti:
Safe Adaptation Through Implicit Effect Coercion. Programming Languages with Applications to Biology and Security 2015: 122-141 - [c8]Andrea Canciani, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta:
A Context-Oriented Extension of F#. FOCLASA 2015: 18-32 - 2014
- [j2]Letterio Galletta:
An Abstract Interpretation Framework for Type and Effect Systems. Fundam. Inform. 134(3-4): 355-393 (2014) - [c7]Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta:
A Two-Component Language for COP. COP@ECOOP 2014: 6:1-6:7 - [c6]Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Francesco Salvatori:
Linguistic Mechanisms for Context-Aware Security. ICTAC 2014: 61-79 - [c5]Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta:
A Two-Phase Static Analysis for Reliable Adaptation. SEFM 2014: 347-362 - 2013
- [j1]Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Gianluca Mezzetti, GianLuigi Ferrari:
Security in Pervasive Applications: A Survey. European Journal of Law and Technology 4(2) (2013) - 2012
- [c4]Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti:
Formalising Security in Ubiquitous and Cloud Scenarios. CISIM 2012: 1-29 - [c3]Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti:
Types for Coordinating Secure Behavioural Variations. COORDINATION 2012: 261-276 - [c2]Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti:
Typing Context-Dependent Behavioural Variation. PLACES 2012: 28-33 - 2011
- [c1]Letterio Galletta, Giorgio Levi:
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language. WWV 2011: 81-95
Coauthor Index
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2018-04-17 23:40 CEST by the dblp team