Letterio Galletta

95 papers A 4B 5C 6Misc 2Journal 41Unranked 35
YearRankTypeTitle / Venue / Authors
2026 J jnl
Assessing the attack surface of space organizations: A data-driven analysis.
Comput. Secur.
Francesco Casaril, Letterio Galletta
2026 J jnl
ParserHunter: Identify parsing functions in binary code.
J. Syst. Softw.
Marco Scapin, Fabio Pinelli, Letterio Galletta
2026 — conf
When Obfuscations Preserve Constant-Time.
Languages, Compilers, Analysis
Matteo Busi, Pierpaolo Degano, Letterio Galletta
2025 B ed.
28th International Conference on Principles of Distributed Systems, OPODIS 2024, Lucca, Italy, December 11-13, 2024
OPODIS
Silvia Bonomi, Letterio Galletta, Etienne Rivière, Valerio Schiavoni
2025 J jnl
A Unified Framework and Comparative Study of Decentralized Finance Derivatives Protocols.
CoRR
Luca Pennella, Pietro Saggese, Fabio Pinelli, Letterio Galletta
2025 B conf
Detecting Memory Errors in Rust Programs Including Unsafe Foreign Code.
SEFM
Andrea Franceschi, Letterio Galletta, Pierpaolo Degano
2025 J jnl
Developing security metrics for space systems: A study considering the NIST Cybersecurity Framework 2.0 and the NIS2.
Int. J. Crit. Infrastructure Prot.
Francesco Casaril, Letterio Galletta
2025 J jnl
Space cybersecurity governance: assessing policies and frameworks in view of the future European space legislation.
J. Cybersecur.
Francesco Casaril, Letterio Galletta
2025 — conf
WalkthroughCyber: Teaching Cyber-Awareness in Montessori Middle Schools.
ARES (EU Projects Symposium Workshops 2)
Margherita Renieri, Alessandra Renieri, Letterio Galletta
2025 J jnl
X-SPIDE: An eXplainable Machine Learning Pipeline for Detecting Smart Ponzi Contracts in Ethereum.
IEEE Access
Luca Pennella, Fabio Pinelli, Letterio Galletta
2024 A conf
A Logic for Policy Based Resource Exchanges in Multiagent Systems.
ECAI
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta, Luca Viganò
2024 J jnl
A Logic for Policy Based Resource Exchanges in Multiagent Systems.
CoRR
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta, Luca Viganò
2024 C conf
A Netting Protocol for Liquidity-saving Automated Market Makers.
DLT
Margherita Renieri, Letterio Galletta, Alberto Lluch-Lafuente, James Hsin-yu Chiang
2024 B conf
A Policy Framework for Regulating External Calls in Smart Contracts.
SEFM
Margherita Renieri, Letterio Galletta
2024 Misc conf
Explainable Ponzi Schemes Detection on Ethereum.
SAC
Letterio Galletta, Fabio Pinelli
2024 J jnl
Policies for Fair Exchanges of Resources.
CoRR
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta, Luca Viganò
2024 J jnl
Securing SatCom user segment: A study on cybersecurity challenges in view of IRIS.
Comput. Secur.
Francesco Casaril, Letterio Galletta
2024 J jnl
Specifying and Verifying Information Flow Control in SELinux Configurations.
ACM Trans. Priv. Secur.
Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, David A. Basin
2024 — conf
Systems Security Modeling and Analysis at IMT Lucca.
ISoLA (1)
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
2023 — conf
A Comparison of Hosting Techniques for Online Cybersecurity Competitions.
INTETAIN
Niccolò Maggioni, Letterio Galletta
2023 J jnl
A type language for distributed reactive components governed by communication protocols.
J. Log. Algebraic Methods Program.
Zorica Savanovic, Letterio Galletta
2023 J jnl
Formally verifying security protocols built on watermarking and jamming.
Comput. Secur.
Gabriele Costa, Pierpaolo Degano, Letterio Galletta, Simone Soderi
2023 J jnl
Resilience of Hybrid Casper Under Varying Values of Parameters.
Distributed Ledger Technol. Res. Pract.
Letterio Galletta, Cosimo Laneve, Ivan Mercanti, Adele Veschetti
2023 — ch.
Risk Estimation in IoT Systems.
Challenges of Software Verification
Chiara Bodei, Gian-Luigi Ferrari, Letterio Galletta, Pierpaolo Degano
2023 J jnl
Sharpening Ponzi Schemes Detection on Ethereum with Machine Learning.
CoRR
Letterio Galletta, Fabio Pinelli
2023 J jnl
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays.
Concurr. Comput. Pract. Exp.
Stefano Bistarelli, Rocco De Nicola, Letterio Galletta, Cosimo Laneve, Ivan Mercanti, Adele Veschetti
2022 J jnl
Automatic Fair Exchanges.
CoRR
Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, Luca Viganò
2022 J jnl
Can my firewall system enforce this policy?
Comput. Secur.
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta
2022 J jnl
IFCIL: An Information Flow Configuration Language for SELinux (Extended Version).
CoRR
Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, David A. Basin
2022 A conf
IFCIL: An Information Flow Configuration Language for SELinux.
CSF
Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, David A. Basin
2022 Misc conf
Towards effective preservation of robust safety properties.
SAC
Matteo Busi, Pierpaolo Degano, Letterio Galletta
2021 J jnl
A theory of transaction parallelism in blockchains.
Log. Methods Comput. Sci.
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
2021 J jnl
FWS: Analyzing, maintaining and transcompiling firewalls.
J. Comput. Secur.
Chiara Bodei, Lorenzo Ceragioli, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Flaminia L. Luccio, Mauro Tempesta, Lorenzo Veronese
2021 J jnl
Framework, Tools and Good Practices for Cybersecurity Curricula.
IEEE Access
Jan Hajny, Sara Ricci, Edmundas Piesarskas, Olivier Levillain, Letterio Galletta, Rocco De Nicola
2021 J jnl
Mechanical incrementalization of typing algorithms.
Sci. Comput. Program.
Matteo Busi, Pierpaolo Degano, Letterio Galletta
2021 J jnl
Modelling and analysing IoT systems.
J. Parallel Distributed Comput.
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2021 J jnl
Securing Interruptible Enclaved Execution on Small Microprocessors.
ACM Trans. Program. Lang. Syst.
Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens
2021 — conf
Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty.
Protocols, Strands, and Logic
Pierpaolo Degano, Letterio Galletta, Selene Gerali
2020 C conf
A True Concurrent Model of Smart Contracts Executions.
COORDINATION
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
2020 J jnl
A theory of transaction parallelism in blockchains.
CoRR
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
2020 — conf
A type language for message passing component-based systems.
ICE
Zorica Savanovic, Letterio Galletta, Hugo Torres Vieira
2020 J jnl
Control-flow Flattening Preserves the Constant-Time Policy (Extended Version).
CoRR
Matteo Busi, Pierpaolo Degano, Letterio Galletta
2020 — conf
Control-flow Flattening Preserves the Constant-Time Policy.
ITASEC
Matteo Busi, Pierpaolo Degano, Letterio Galletta
2020 — conf
MuAC: Access Control Language for Mutual Benefits.
ITASEC
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta
2020 J jnl
Natural Projection as Partial Model Checking.
J. Autom. Reason.
Gabriele Costa, Letterio Galletta, Pierpaolo Degano, David A. Basin, Chiara Bodei
2020 J jnl
Private-Yet-Verifiable Contact Tracing.
CoRR
Andrea Canidio, Gabriele Costa, Letterio Galletta
2020 A conf
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors.
CSF
Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens
2020 J jnl
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version.
CoRR
Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens
2020 — conf
Security Metrics at Work on the Things in IoT Systems.
From Lambda Calculus to Cybersecurity Through Program Analysis
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2020 — conf
VeriOSS: Using the Blockchain to Foster Bug Bounty Programs.
Tokenomics
Andrea Canidio, Gabriele Costa, Letterio Galletta
2019 — conf
A Brief Tour of Formally Secure Compilation.
ITASEC
Matteo Busi, Letterio Galletta
2019 — conf
A Minimal Core Calculus for Solidity Contracts.
DPM/CBT@ESORICS
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
2019 J jnl
A minimal core calculus for Solidity contracts.
CoRR
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
2019 J jnl
A true concurrent model of smart contracts executions.
CoRR
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
2019 — conf
Analysing the Provenance of IoT Data.
ICISSP (Revised Selected Papers)
Chiara Bodei, Letterio Galletta
2019 — conf
Are All Firewall Systems Equally Powerful?
PLAS@CCS
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta
2019 — conf
Checking the Expressivity of Firewall Languages.
The Art of Modelling Computational Systems
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta
2019 — conf
From Firewalls to Functions and Back.
ITASEC
Lorenzo Ceragioli, Letterio Galletta, Mauro Tempesta
2019 J jnl
Measuring security in IoT communications.
Theor. Comput. Sci.
Chiara Bodei, Stefano Chessa, Letterio Galletta
2019 J jnl
Programming in a context-aware language.
J. Supercomput.
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2019 — conf
Revealing the Trajectories of KLAIM Tuples, Statically.
Models, Languages, and Tools for Concurrent and Distributed Programming
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2019 — conf
Robust Declassification by Incremental Typing.
Foundations of Security, Protocols, and Equational Reasoning
Matteo Busi, Pierpaolo Degano, Letterio Galletta
2019 C conf
Tracking Data Trajectories in IoT.
ICISSP
Chiara Bodei, Letterio Galletta
2019 J jnl
Translation Validation for Security Properties.
CoRR
Matteo Busi, Pierpaolo Degano, Letterio Galletta
2019 — conf
Using Standard Typing Algorithms Incrementally.
NFM
Matteo Busi, Pierpaolo Degano, Letterio Galletta
2018 — conf
Firewall Management With FireWall Synthesizer.
ITASEC
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Mauro Tempesta, Lorenzo Veronese
2018 — conf
From Natural Projection to Partial Model Checking and Back.
TACAS (1)
Gabriele Costa, David A. Basin, Chiara Bodei, Pierpaolo Degano, Letterio Galletta
2018 A conf
Language-Independent Synthesis of Firewall Policies.
EuroS&P
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Riccardo Focardi, Mauro Tempesta, Lorenzo Veronese
2018 — conf
Transcompiling Firewalls.
POST
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Mauro Tempesta
2018 J jnl
Using Standard Typing Algorithms Incrementally.
CoRR
Matteo Busi, Pierpaolo Degano, Letterio Galletta
2017 B conf
Experimenting with a Context-Aware Language.
PaCT
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2017 — conf
Tool Supported Analysis of IoT.
ICE@DisCoTec
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Emilio Tuosto
2017 J jnl
Tracing where IoT data are collected and aggregated.
Log. Methods Comput. Sci.
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2017 — conf
Tracking Sensitive and Untrustworthy Data in IoT.
ITASEC
Chiara Bodei, Letterio Galletta
2016 — conf
A Semantics for Disciplined Concurrency in COP.
ICTCS
Matteo Busi, Pierpaolo Degano, Letterio Galletta
2016 — conf
A Step Towards Checking Security in IoT.
ICE
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2016 J jnl
A Two-Component Language for Adaptation: Design, Semantics and Program Analysis.
IEEE Trans. Software Eng.
Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2016 J jnl
Context-aware security: Linguistic mechanisms and static analysis.
J. Comput. Secur.
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Francesco Salvatori
2016 — conf
Event-driven Adaptation in COP.
PLACES
Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2016 — conf
Last Mile's Resources.
Semantics, Logics, and Calculi
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2016 — conf
The Cost of Securing IoT Communications.
ICTCS
Chiara Bodei, Letterio Galletta
2016 J jnl
Tracing where IoT data are collected and aggregated.
CoRR
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2016 C conf
Where Do Your IoT Ingredients Come From?
COORDINATION
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2015 — conf
A Context-Oriented Extension of F#.
FOCLASA
Andrea Canciani, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2015 — conf
Safe Adaptation Through Implicit Effect Coercion.
Programming Languages with Applications to Biology and Security
Davide Basile, Letterio Galletta, Gianluca Mezzetti
2014 — conf
A Two-Component Language for COP.
COP@ECOOP
Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2014 B conf
A Two-Phase Static Analysis for Reliable Adaptation.
SEFM
Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2014 — —
Adaptivity: Linguistic Mechanisms and Static Analysis Techniques.
Letterio Galletta
2014 J jnl
An Abstract Interpretation Framework for Type and Effect Systems.
Fundam. Informaticae
Letterio Galletta
2014 C conf
Linguistic Mechanisms for Context-Aware Security.
ICTAC
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Francesco Salvatori
2013 J jnl
Security in Pervasive Applications: A Survey.
Eur. J. Law Technol.
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Gianluca Mezzetti, Gianluigi Ferrari
2012 — conf
Formalising Security in Ubiquitous and Cloud Scenarios.
CISIM
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti
2012 C conf
Types for Coordinating Secure Behavioural Variations.
COORDINATION
Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti
2012 — conf
Typing Context-Dependent Behavioural Variation
PLACES
Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti
2011 — conf
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language
WWV
Letterio Galletta, Giorgio Levi