Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 70
Titolo Data di pubblicazione Autore(i) File
Measuring security in IoT communications 1-gen-2019 Bodei, Chiara; Chessa, Stefano; Galletta, Letterio
Revealing the trajectories of KLAIM tuples, statically 1-gen-2019 Bodei, C.; Degano, P.; Ferrari, G. -L.; Galletta, L.
A brief tour of formally secure compilation 1-gen-2019 Busi, Matteo; Galletta, Letterio
Using standard typing algorithms incrementally 1-gen-2019 Busi, M.; Degano, P.; Galletta, L.
Analysing the Provenance of IoT Data 1-gen-2020 Bodei, Chiara; Galletta, Letterio
Security Metrics at Work on the Things in IoT Systems 1-gen-2020 Bodei, C.; Degano, P.; Ferrari, G. -L.; Galletta, L.
A type language for message passing component-based systems 1-gen-2020 Savanovic, Zorica; Vieira, Hugo; Galletta, Letterio
MUAC: Access control language for mutual benefits 1-gen-2020 Ceragioli, L.; Degano, P.; Galletta, L.
Control-flow flattening preserves the constant-time policy 1-gen-2020 Busi, M.; Degano, P.; Galletta, L.
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors 1-gen-2020 Busi, Matteo; Noorman, Job; Van Bulck, Jo; Galletta, Letterio; Degano, Pierpaolo; Tobias Mühlberg, Jan; Piessens, Frank
A True Concurrent Model of Smart Contracts Executions 1-gen-2020 Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio
Private-Yet-Verifiable Contact Tracing 1-gen-2020 Canidio, Andrea; Costa, Gabriele; Galletta, Letterio
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
Framework, Tools and Good Practices for Cybersecurity Curricula 1-gen-2021 Hajny, J.; Ricci, S.; Piesarskas, E.; Levillain, O.; Galletta, L.; De Nicola, R.
Modelling and analysing IoT systems 1-gen-2021 Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio
FWS: Analyzing, maintaining and transcompiling firewalls 1-gen-2021 Bodei, C.; Ceragioli, L.; Degano, P.; Focardi, R.; Galletta, L.; Luccio, F.; Tempesta, M.; Veronese, L.
Mechanical incrementalization of typing algorithms 1-gen-2021 Busi, M.; Degano, P.; Galletta, L.
VeriOSS: Using the Blockchain to Foster Bug Bounty Programs 1-gen-2021 Canidio, Andrea; Costa, Gabriele; Galletta, Letterio
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays 1-gen-2021 Bistarelli, S.; De Nicola, R.; Galletta, L.; Laneve, C.; Mercanti, I.; Veschetti, A.
IT-Covid19-IT: la risposta della comunità informatica italiana alla pandemia 1-gen-2021 Bonnici, Vincenzo; Cicceri, Giovanni; Distefano, Salvatore; Galletta, Letterio; Polignano, Marco; Scaffidi, Carlo
Mostrati risultati da 41 a 60 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