Sfoglia per Autore
A brief tour of formally secure compilation
2019-01-01 Busi, Matteo; Galletta, Letterio
Using standard typing algorithms incrementally
2019-01-01 Busi, M.; Degano, P.; Galletta, L.
Revealing the trajectories of KLAIM tuples, statically
2019-01-01 Bodei, C.; Degano, P.; Ferrari, G. -L.; Galletta, L.
Tracking data trajectories in IoT
2019-01-01 Bodei, C.; Galletta, L.
Analysing the Provenance of IoT Data
2020-01-01 Bodei, Chiara; Galletta, Letterio
MUAC: Access control language for mutual benefits
2020-01-01 Ceragioli, L.; Degano, P.; Galletta, L.
A type language for message passing component-based systems
2020-01-01 Savanovic, Zorica; Vieira, Hugo; Galletta, Letterio
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
Private-Yet-Verifiable Contact Tracing
2020-01-01 Canidio, Andrea; Costa, Gabriele; Galletta, Letterio
A True Concurrent Model of Smart Contracts Executions
2020-01-01 Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio
Securing Interruptible Enclaved Execution on Small Microprocessors
2021-01-01 Busi, Matteo; Noorman, Job; Van Bulck, Jo; Galletta, Letterio; Degano, Pierpaolo; Mühlberg, Jan Tobias; Piessens, Frank
Modelling and analysing IoT systems
2021-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio
Framework, Tools and Good Practices for Cybersecurity Curricula
2021-01-01 Hajny, J.; Ricci, S.; Piesarskas, E.; Levillain, O.; Galletta, L.; De Nicola, R.
Mechanical incrementalization of typing algorithms
2021-01-01 Busi, M.; Degano, P.; Galletta, L.
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.
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.
Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty
2021-01-01 Degano, P.; Galletta, L.; Gerali, S.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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. | |
Revealing the trajectories of KLAIM tuples, statically | 1-gen-2019 | Bodei, C.; Degano, P.; Ferrari, G. -L.; Galletta, L. | |
Tracking data trajectories in IoT | 1-gen-2019 | Bodei, C.; Galletta, L. | |
Analysing the Provenance of IoT Data | 1-gen-2020 | Bodei, Chiara; Galletta, Letterio | |
MUAC: Access control language for mutual benefits | 1-gen-2020 | Ceragioli, L.; Degano, P.; Galletta, L. | |
A type language for message passing component-based systems | 1-gen-2020 | Savanovic, Zorica; Vieira, Hugo; Galletta, Letterio | |
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 | |
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 | |
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 | |
Framework, Tools and Good Practices for Cybersecurity Curricula | 1-gen-2021 | Hajny, J.; Ricci, S.; Piesarskas, E.; Levillain, O.; Galletta, L.; De Nicola, R. | |
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 | |
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. | |
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. | |
Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty | 1-gen-2021 | Degano, P.; Galletta, L.; Gerali, S. |
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