ask others

Letterio Galletta

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c22]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/eurosp/BodeiDGFTV18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/eurosp/BodeiDGFTV18
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Riccardo Focardi, Mauro Tempesta, Lorenzo Veronese:
Language-Independent Synthesis of Firewall Policies. EuroS&P 2018: 92-106
[c21]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/itasec/BodeiDFGTV18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/itasec/BodeiDFGTV18
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Mauro Tempesta, Lorenzo Veronese:
Firewall Management With FireWall Synthesizer. ITASEC 2018
[c20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/post/BodeiDFGT18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/post/BodeiDFGT18
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Mauro Tempesta:
Transcompiling Firewalls. POST 2018: 303-324
[c19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/CostaBBDG18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/CostaBBDG18
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
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1808-00225
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1808-00225
Matteo Busi, Pierpaolo Degano, Letterio Galletta:
Using Standard Typing Algorithms Incrementally. CoRR abs/1808.00225 (2018)
2017
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/lmcs/BodeiDFG17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/lmcs/BodeiDFG17
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]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/itasec/BodeiG17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/itasec/BodeiG17
Chiara Bodei, Letterio Galletta:
Tracking Sensitive and Untrustworthy Data in IoT. ITASEC 2017: 38-52
[c17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/pact/BodeiDFG17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pact/BodeiDFG17
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta:
Experimenting with a Context-Aware Language. PaCT 2017: 3-17
[c16]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1711-11210
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1711-11210
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Emilio Tuosto:
Tool Supported Analysis of IoT. ICE@DisCoTec 2017: 37-56
2016
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcs/BodeiDGS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jcs/BodeiDGS16
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]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - journals/tse/DeganoFG16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tse/DeganoFG16
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/BodeiDFG16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/BodeiDFG16
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta:
Last Mile's Resources. Semantics, Logics, and Calculi 2016: 33-53
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/coordination/BodeiDFG16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/coordination/BodeiDFG16
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta:
Where Do Your IoT Ingredients Come From? COORDINATION 2016: 35-50
[c13]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/ictcs/BodeiG16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ictcs/BodeiG16
Chiara Bodei, Letterio Galletta:
The Cost of Securing IoT Communications. ICTCS 2016: 163-176
[c12]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/ictcs/BusiDG16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ictcs/BusiDG16
Matteo Busi, Pierpaolo Degano, Letterio Galletta:
A Semantics for Disciplined Concurrency in COP. ICTCS 2016: 177-189
[c11]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/DeganoFG16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/DeganoFG16
Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta:
Event-driven Adaptation in COP. PLACES 2016: 37-45
[c10]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/BodeiDFG16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/BodeiDFG16
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta:
A Step Towards Checking Security in IoT. ICE 2016: 128-142
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/BodeiDFG16a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/BodeiDFG16a
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta:
Tracing where IoT data are collected and aggregated. CoRR abs/1610.08419 (2016)
2015
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/BasileGM15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/BasileGM15
Davide Basile, Letterio Galletta, Gianluca Mezzetti:
Safe Adaptation Through Implicit Effect Coercion. Programming Languages with Applications to Biology and Security 2015: 122-141
[c8]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/CancianiDFG15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/CancianiDFG15
Andrea Canciani, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta:
A Context-Oriented Extension of F#. FOCLASA 2015: 18-32
2014
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/Galletta14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/Galletta14
Letterio Galletta:
An Abstract Interpretation Framework for Type and Effect Systems. Fundam. Inform. 134(3-4): 355-393 (2014)
[c7]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/ecoop/DeganoFG14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/DeganoFG14
Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta:
A Two-Component Language for COP. COP@ECOOP 2014: 6:1-6:7
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ictac/BodeiDGS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ictac/BodeiDGS14
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Francesco Salvatori:
Linguistic Mechanisms for Context-Aware Security. ICTAC 2014: 61-79
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/DeganoFG14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/DeganoFG14
Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta:
A Two-Phase Static Analysis for Reliable Adaptation. SEFM 2014: 347-362
2013
[j1]
- view
  - electronic edition @ ejlt.org
- export record
  dblp key:
  - journals/jilt/BodeiDGMF13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jilt/BodeiDGMF13
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cisim/BodeiDFGM12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cisim/BodeiDFGM12
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti:
Formalising Security in Ubiquitous and Cloud Scenarios. CISIM 2012: 1-29
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/coordination/DeganoFGM12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/coordination/DeganoFGM12
Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti:
Types for Coordinating Secure Behavioural Variations. COORDINATION 2012: 261-276
[c2]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1302-6332
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1302-6332
Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti:
Typing Context-Dependent Behavioural Variation. PLACES 2012: 28-33
2011
[c1]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1108-2359
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1108-2359
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

see FAQ

maintained by

at