GALLETTA, LETTERIO
GALLETTA, LETTERIO
I.M.T. (Istituzioni, Mercati, Tecnologie) Alti Studi
A brief tour of formally secure compilation
2019-01-01 Busi, Matteo; Galletta, Letterio
A context-oriented extension of F#
2015-01-01 Canciani, A.; Degano, P.; Ferrari, G. L.; Galletta, L.
A Minimal Core Calculus for Solidity Contracts
2019-01-01 Bartoletti, M.; Galletta, L.; Murgia, M.
A Policy Framework for Regulating External Calls in Smart Contracts
2025-01-01 Renieri, Margherita; Galletta, Letterio
A Reconstruction of a Types-and-Effects Analysis by Abstract Interpretation
2012-01-01 Galletta, L
A semantics for disciplined concurrency in COP
2016-01-01 Busi, Matteo; Degano, Pierpaolo; Galletta, Letterio
A Step Towards Checking Security in IoT
2016-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio
A theory of transaction parallelism in blockchains
2021-01-01 Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio
A True Concurrent Model of Smart Contracts Executions
2020-01-01 Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio
A Two-Component Language for Adaptation: Design, Semantics, and Program Analysis
2016-01-01 Degano, P.; Ferrari, G. L.; Galletta, L.
A Two-Component Language for COP
2014-01-01 Degano, P.; Ferrari, G. L.; Galletta, L.
A Two-Phase Static Analysis for Reliable Adaptation
2014-01-01 Degano, P.; Ferrari, G. L.; Galletta, L.
A type language for distributed reactive components governed by communication protocols
2023-01-01 Savanovic, Zorica; Galletta, Letterio
A type language for message passing component-based systems
2020-01-01 Savanovic, Zorica; Vieira, Hugo; Galletta, Letterio
An Abstract Interpretation Framework for Type and Effect Systems
2014-01-01 Galletta, Letterio
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language
2011-01-01 Galletta, L.; Levi, G.
Analysing the Provenance of IoT Data
2020-01-01 Bodei, Chiara; Galletta, Letterio
Are all firewall systems equally powerful?
2019-01-01 Ceragioli, L.; Degano, P.; Galletta, L.
Can my Firewall System Enforce this Policy?
2022-01-01 Ceragioli, Lorenzo; Degano, Pierpaolo; Galletta, Letterio
Checking the Expressivity of Firewall Languages
2019-01-01 Ceragioli, L.; Degano, P.; Galletta, L.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A brief tour of formally secure compilation | 1-gen-2019 | Busi, Matteo; Galletta, Letterio | |
A context-oriented extension of F# | 1-gen-2015 | Canciani, A.; Degano, P.; Ferrari, G. L.; Galletta, L. | |
A Minimal Core Calculus for Solidity Contracts | 1-gen-2019 | Bartoletti, M.; Galletta, L.; Murgia, M. | |
A Policy Framework for Regulating External Calls in Smart Contracts | 1-gen-2025 | Renieri, Margherita; Galletta, Letterio | |
A Reconstruction of a Types-and-Effects Analysis by Abstract Interpretation | 1-gen-2012 | Galletta, L | |
A semantics for disciplined concurrency in COP | 1-gen-2016 | Busi, Matteo; Degano, Pierpaolo; Galletta, Letterio | |
A Step Towards Checking Security in IoT | 1-gen-2016 | 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 | |
A True Concurrent Model of Smart Contracts Executions | 1-gen-2020 | Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio | |
A Two-Component Language for Adaptation: Design, Semantics, and Program Analysis | 1-gen-2016 | Degano, P.; Ferrari, G. L.; Galletta, L. | |
A Two-Component Language for COP | 1-gen-2014 | Degano, P.; Ferrari, G. L.; Galletta, L. | |
A Two-Phase Static Analysis for Reliable Adaptation | 1-gen-2014 | Degano, P.; Ferrari, G. L.; Galletta, L. | |
A type language for distributed reactive components governed by communication protocols | 1-gen-2023 | Savanovic, Zorica; Galletta, Letterio | |
A type language for message passing component-based systems | 1-gen-2020 | Savanovic, Zorica; Vieira, Hugo; Galletta, Letterio | |
An Abstract Interpretation Framework for Type and Effect Systems | 1-gen-2014 | Galletta, Letterio | |
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language | 1-gen-2011 | Galletta, L.; Levi, G. | |
Analysing the Provenance of IoT Data | 1-gen-2020 | Bodei, Chiara; Galletta, Letterio | |
Are all firewall systems equally powerful? | 1-gen-2019 | Ceragioli, L.; Degano, P.; Galletta, L. | |
Can my Firewall System Enforce this Policy? | 1-gen-2022 | Ceragioli, Lorenzo; Degano, Pierpaolo; Galletta, Letterio | |
Checking the Expressivity of Firewall Languages | 1-gen-2019 | Ceragioli, L.; Degano, P.; Galletta, L. |