IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 61 a 70 di 70
Titolo Data di pubblicazione Autore(i) File
Securing Interruptible Enclaved Execution on Small Microprocessors 1-gen-2021 Busi, Matteo; Noorman, Job; Van Bulck, Jo; Galletta, Letterio; Degano, Pierpaolo; Mühlberg, Jan Tobias; Piessens, Frank
Modelling and analysing IoT systems 1-gen-2021 Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio
IFCIL: An Information Flow Configuration Language for SELinux 1-gen-2022 Ceragioli, L.; Galletta, L.; Degano, P.; Basin, D.
Covid19/IT the digital side of Covid19: A picture from Italy with clustering and taxonomy 1-gen-2022 Bonnici, Vincenzo; Cicceri, Giovanni; Distefano, Salvatore; Galletta, Letterio; Polignano, Marco; Scaffidi, Carlo
Resilience of Hybrid Casper under varying values of parameters 1-gen-2022 Galletta, Letterio; Laneve, Cosimo; Mercanti, Ivan; Veschetti, Adele
Can my Firewall System Enforce this Policy? 1-gen-2022 Ceragioli, Lorenzo; Degano, Pierpaolo; Galletta, Letterio
Towards effective preservation of robust safety properties 1-gen-2022 Busi, Matteo; Degano, Pierpaolo; Galletta, Letterio
A type language for distributed reactive components governed by communication protocols 1-gen-2023 Savanovic, Zorica; Galletta, Letterio
Formally verifying security protocols built on watermarking and jamming 1-gen-2023 Costa, Gabriele; Degano, Pierpaolo; Galletta, Letterio; Soderi, Simone
Risk Estimation in IoT Systems 1-gen-2023 Bodei, Chiara; Ferrari, Gian-Luigi; Galletta, Letterio; Degano, Pierpaolo
Mostrati risultati da 61 a 70 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