GALLETTA, LETTERIO
GALLETTA, LETTERIO
I.M.T. (Istituzioni, Mercati, Tecnologie) Alti Studi
28th International Conference on Principles of Distributed Systems
2025 Bonomi, S.; Rivière, E.; Galletta, L.; Schiavoni, V.
A brief tour of formally secure compilation
2019 Busi, Matteo; Galletta, Letterio
A Comparison of Hosting Techniques for Online Cybersecurity Competitions
2024 Maggioni, N.; Galletta, L.
A context-oriented extension of F#
2015 Canciani, A.; Degano, P.; Ferrari, G. L.; Galletta, L.
A Logic for Policy Based Resource Exchanges in Multiagent Systems
2024 Ceragioli, Lorenzo; Degano, Pierpaolo; Galletta, Letterio; Viganò, Luca
A Minimal Core Calculus for Solidity Contracts
2019 Bartoletti, M.; Galletta, L.; Murgia, M.
A Netting Protocol for Liquidity-saving Automated Market Makers
2024 Renieri, M.; Galletta, L.; Lafuente, A. L.; Chiang, J. H. -Y.
A Policy Framework for Regulating External Calls in Smart Contracts
2025 Renieri, Margherita; Galletta, Letterio
A Reconstruction of a Types-and-Effects Analysis by Abstract Interpretation
2012 Galletta, L
A semantics for disciplined concurrency in COP
2016 Busi, Matteo; Degano, Pierpaolo; Galletta, Letterio
A Step Towards Checking Security in IoT
2016 Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio
A theory of transaction parallelism in blockchains
2021 Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio
A True Concurrent Model of Smart Contracts Executions
2020 Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio
A Two-Component Language for Adaptation: Design, Semantics, and Program Analysis
2016 Degano, P.; Ferrari, G. L.; Galletta, L.
A Two-Component Language for COP
2014 Degano, P.; Ferrari, G. L.; Galletta, L.
A Two-Phase Static Analysis for Reliable Adaptation
2014 Degano, P.; Ferrari, G. L.; Galletta, L.
A type language for distributed reactive components governed by communication protocols
2023 Savanovic, Zorica; Galletta, Letterio
A type language for message passing component-based systems
2020 Savanovic, Zorica; Vieira, Hugo; Galletta, Letterio
An Abstract Interpretation Framework for Type and Effect Systems
2014 Galletta, Letterio
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language
2011 Galletta, L.; Levi, G.