Letterio Galletta
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
13
Active years
2012–2026
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | Differential Verification of Information Flow in SEAndroid Policies. | Lorenzo Ceragioli, Letterio Galletta, Edoardo Lunati |
| 2025 | SEFM | Detecting Memory Errors in Rust Programs Including Unsafe Foreign Code. | Andrea Franceschi, Letterio Galletta, Pierpaolo Degano |
| 2024 | ECAI | A Logic for Policy Based Resource Exchanges in Multiagent Systems. | Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta, Luca Vigan |
| 2024 | ISoLA | Systems Security Modeling and Analysis at IMT Lucca. | Gabriele Costa, Silvia de Francisci, Letterio Galletta, Cosimo Perini Brogi, Marinella Petrocchi, Fabio Pinelli, Roberto Pizziol, Manuel Pratelli, Margherita Renieri, Simone Soderi, Mirco Tribastone, Serenella Valiani |
| 2024 | SAC | Explainable Ponzi Schemes Detection on Ethereum. | Letterio Galletta, Fabio Pinelli |
| 2024 | SEFM | A Policy Framework for Regulating External Calls in Smart Contracts. | Margherita Renieri, Letterio Galletta |
| 2022 | SAC | Towards effective preservation of robust safety properties. | Matteo Busi, Pierpaolo Degano, Letterio Galletta |
| 2020 | Coordination | A True Concurrent Model of Smart Contracts Executions. | Massimo Bartoletti, Letterio Galletta, Maurizio Murgia |
| 2019 | CCS | Are All Firewall Systems Equally Powerful? | Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta |
| 2019 | ESORICS | A Minimal Core Calculus for Solidity Contracts. | Massimo Bartoletti, Letterio Galletta, Maurizio Murgia |
| 2019 | ICISSP | Tracking Data Trajectories in IoT. | Chiara Bodei, Letterio Galletta |
| 2019 | ICISSP | Analysing the Provenance of IoT Data. | Chiara Bodei, Letterio Galletta |
| 2018 | TACAS | From Natural Projection to Partial Model Checking and Back. | Gabriele Costa, David A. Basin, Chiara Bodei, Pierpaolo Degano, Letterio Galletta |
| 2017 | PACT | Experimenting with a Context-Aware Language. | Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta |
| 2016 | Coordination | Where Do Your IoT Ingredients Come From? | Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta |
| 2014 | ECOOP | A Two-Component Language for COP. | Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta |
| 2014 | ICTAC | Linguistic Mechanisms for Context-Aware Security. | Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Francesco Salvatori |
| 2014 | SEFM | A Two-Phase Static Analysis for Reliable Adaptation. | Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta |
| 2012 | Coordination | Types for Coordinating Secure Behavioural Variations. | Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti |