Sfoglia per Autore
From firewalls to functions and back
2019-01-01 Ceragioli, Lorenzo; Galletta, Letterio; Tempesta, Mauro
Software security: The language approach
2019-01-01 Costa, G.; Degano, P.; Galletta, L.
A Minimal Core Calculus for Solidity Contracts
2019-01-01 Bartoletti, M.; Galletta, L.; Murgia, M.
Measuring security in IoT communications
2019-01-01 Bodei, Chiara; Chessa, Stefano; Galletta, Letterio
Private-Yet-Verifiable Contact Tracing
2020-01-01 Canidio, Andrea; Costa, Gabriele; Galletta, Letterio
A type language for message passing component-based systems
2020-01-01 Savanovic, Zorica; Vieira, Hugo; Galletta, Letterio
MUAC: Access control language for mutual benefits
2020-01-01 Ceragioli, L.; Degano, P.; Galletta, L.
Security Metrics at Work on the Things in IoT Systems
2020-01-01 Bodei, C.; Degano, P.; Ferrari, G. -L.; Galletta, L.
Control-flow flattening preserves the constant-time policy
2020-01-01 Busi, M.; Degano, P.; Galletta, L.
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors
2020-01-01 Busi, Matteo; Noorman, Job; Van Bulck, Jo; Galletta, Letterio; Degano, Pierpaolo; Tobias Mühlberg, Jan; Piessens, Frank
Analysing the Provenance of IoT Data
2020-01-01 Bodei, Chiara; Galletta, Letterio
A True Concurrent Model of Smart Contracts Executions
2020-01-01 Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio
IT-Covid19-IT: la risposta della comunità informatica italiana alla pandemia
2021-01-01 Bonnici, Vincenzo; Cicceri, Giovanni; Distefano, Salvatore; Galletta, Letterio; Polignano, Marco; Scaffidi, Carlo
FWS: Analyzing, maintaining and transcompiling firewalls
2021-01-01 Bodei, C.; Ceragioli, L.; Degano, P.; Focardi, R.; Galletta, L.; Luccio, F.; Tempesta, M.; Veronese, L.
Mechanical incrementalization of typing algorithms
2021-01-01 Busi, M.; Degano, P.; Galletta, L.
Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty
2021-01-01 Degano, P.; Galletta, L.; Gerali, S.
VeriOSS: Using the Blockchain to Foster Bug Bounty Programs
2021-01-01 Canidio, Andrea; Costa, Gabriele; Galletta, Letterio
A theory of transaction parallelism in blockchains
2021-01-01 Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays
2021-01-01 Bistarelli, S.; De Nicola, R.; Galletta, L.; Laneve, C.; Mercanti, I.; Veschetti, A.
Modelling and analysing IoT systems
2021-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
From firewalls to functions and back | 1-gen-2019 | Ceragioli, Lorenzo; Galletta, Letterio; Tempesta, Mauro | |
Software security: The language approach | 1-gen-2019 | Costa, G.; 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 | |
Private-Yet-Verifiable Contact Tracing | 1-gen-2020 | Canidio, Andrea; Costa, Gabriele; Galletta, Letterio | |
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. | |
Security Metrics at Work on the Things in IoT Systems | 1-gen-2020 | Bodei, C.; Degano, P.; Ferrari, G. -L.; 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 | |
Analysing the Provenance of IoT Data | 1-gen-2020 | Bodei, Chiara; Galletta, Letterio | |
A True Concurrent Model of Smart Contracts Executions | 1-gen-2020 | Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio | |
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 | |
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. | |
Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty | 1-gen-2021 | Degano, P.; Galletta, L.; Gerali, S. | |
VeriOSS: Using the Blockchain to Foster Bug Bounty Programs | 1-gen-2021 | Canidio, Andrea; Costa, Gabriele; Galletta, Letterio | |
A theory of transaction parallelism in blockchains | 1-gen-2021 | Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio | |
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. | |
Modelling and analysing IoT systems | 1-gen-2021 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio |
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