IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 82
Titolo Data di pubblicazione Autore(i) File
Checking the Expressivity of Firewall Languages 1-gen-2019 Ceragioli, L.; Degano, P.; Galletta, L.
From firewalls to functions and back 1-gen-2019 Ceragioli, Lorenzo; Galletta, Letterio; Tempesta, Mauro
Measuring security in IoT communications 1-gen-2019 Bodei, Chiara; Chessa, Stefano; Galletta, Letterio
Are all firewall systems equally powerful? 1-gen-2019 Ceragioli, L.; Degano, P.; Galletta, L.
Private-Yet-Verifiable Contact Tracing 1-gen-2020 Canidio, Andrea; Costa, Gabriele; Galletta, Letterio
Security Metrics at Work on the Things in IoT Systems 1-gen-2020 Bodei, C.; Degano, P.; Ferrari, G. -L.; Galletta, L.
MUAC: Access control language for mutual benefits 1-gen-2020 Ceragioli, L.; Degano, P.; Galletta, L.
Analysing the Provenance of IoT Data 1-gen-2020 Bodei, Chiara; Galletta, Letterio
Control-flow flattening preserves the constant-time policy 1-gen-2020 Busi, M.; Degano, P.; Galletta, L.
A type language for message passing component-based systems 1-gen-2020 Savanovic, Zorica; Vieira, Hugo; Galletta, Letterio
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
Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty 1-gen-2021 Degano, P.; Galletta, L.; Gerali, S.
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
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.
Mechanical incrementalization of typing algorithms 1-gen-2021 Busi, M.; Degano, P.; Galletta, L.
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
VeriOSS: Using the Blockchain to Foster Bug Bounty Programs 1-gen-2021 Canidio, Andrea; Costa, Gabriele; Galletta, Letterio
Modelling and analysing IoT systems 1-gen-2021 Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio
A theory of transaction parallelism in blockchains 1-gen-2021 Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio
Mostrati risultati da 41 a 60 di 82
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