Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 70
Titolo Data di pubblicazione Autore(i) File
Robust Declassification by Incremental Typing 1-gen-2019 Busi, M.; Degano, P.; Galletta, L.
Using standard typing algorithms incrementally 1-gen-2019 Busi, M.; Degano, P.; Galletta, L.
Are all firewall systems equally powerful? 1-gen-2019 Ceragioli, L.; Degano, P.; Galletta, L.
Checking the Expressivity of Firewall Languages 1-gen-2019 Ceragioli, L.; Degano, P.; Galletta, L.
Private-Yet-Verifiable Contact Tracing 1-gen-2020 Canidio, Andrea; Costa, Gabriele; Galletta, Letterio
A True Concurrent Model of Smart Contracts Executions 1-gen-2020 Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio
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.
Security Metrics at Work on the Things in IoT Systems 1-gen-2020 Bodei, C.; Degano, P.; Ferrari, G. -L.; 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 type language for message passing component-based systems 1-gen-2020 Savanovic, Zorica; Vieira, Hugo; Galletta, Letterio
Analysing the Provenance of IoT Data 1-gen-2020 Bodei, Chiara; Galletta, Letterio
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
Mechanical incrementalization of typing algorithms 1-gen-2021 Busi, M.; Degano, P.; Galletta, L.
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.
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
Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty 1-gen-2021 Degano, P.; Galletta, L.; Gerali, S.
A theory of transaction parallelism in blockchains 1-gen-2021 Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio
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.
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