Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 70
Titolo Data di pubblicazione Autore(i) File
Where Do Your IoT Ingredients Come From? 1-gen-2016 Bodei, Chiara; 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
Last Mile’s Resources 1-gen-2016 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
Tracking sensitive and untrustworthy data in IoT 1-gen-2017 Bodei, Chiara; Galletta, Letterio
Tracing where IoT data are collected and aggregated 1-gen-2017 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
Tool Supported Analysis of IoT 1-gen-2017 Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Tuosto, Emilio
Experimenting with a Context-Aware Language 1-gen-2017 Bodei, Chiara; 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
Language-Independent Synthesis of Firewall Policies 1-gen-2018 Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Focardi, Riccardo; Tempesta, Mauro; Veronese, Lorenzo
Programming in a context-aware language 1-gen-2018 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
From Natural Projection to Partial Model Checking and Back 1-gen-2018 Costa, G; Basin, D; Bodei, C; Degano, P; Galletta, L
Transcompiling firewalls 1-gen-2018 Bodei, Chiara; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Tempesta, Mauro
A brief tour of formally secure compilation 1-gen-2019 Busi, Matteo; Galletta, Letterio
Software security: The language approach 1-gen-2019 Costa, G.; Degano, P.; Galletta, L.
Tracking data trajectories in IoT 1-gen-2019 Bodei, C.; Galletta, L.
From firewalls to functions and back 1-gen-2019 Ceragioli, Lorenzo; Galletta, Letterio; Tempesta, Mauro
Robust Declassification by Incremental Typing 1-gen-2019 Busi, M.; Degano, P.; Galletta, L.
A Minimal Core Calculus for Solidity Contracts 1-gen-2019 Bartoletti, M.; Galletta, L.; Murgia, M.
Measuring security in IoT communications 1-gen-2019 Bodei, Chiara; Chessa, Stefano; Galletta, Letterio
Mostrati risultati da 21 a 40 di 70
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