Get started
Author

Letterio Galletta

Observed names: GALLETTA, LETTERIO, Galletta L., Galletta Letterio, Galletta, Letterio
ORCID: 0000-0003-0351-9169
Observed ORCID: 0000-0003-0351-9169
OpenAlex ID: A5043354136
Framework, Tools and Good Practices for Cybersecurity Curricula
2021 · Jan Hajny, Sara Ricci, et al. · IEEE Access · 63
PDF
A Minimal Core Calculus for Solidity Contracts
2019 · Massimo Bartoletti, Letterio Galletta, et al. · Lecture notes in computer science · 34
PDF
Measuring security in IoT communications
2018 · Chiara Bodei, Stefano Chessa, et al. · Theoretical Computer Science · 29
Tracing where IoT data are collected and aggregated
2017 · Chiara Bodei, Pierpaolo Degano, et al. · Logical Methods in Computer Science · 28
A True Concurrent Model of Smart Contracts Executions
2020 · Massimo Bartoletti, Letterio Galletta, et al. · Lecture notes in computer science · 27
Language-Independent Synthesis of Firewall Policies
2018 · Chiara Bodei, Pierpaolo Degano, et al. · IEEE European Symposium on Security and Privacy · 27
Securing SatCom user segment: A study on cybersecurity challenges in view of IRIS
2024 · Francesco Casaril, Letterio Galletta · Computers & Security · 25
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors
2020 · Matteo Busi, Job Noorman, et al. · IEEE Computer Security Foundations Workshop (CSFW) · 24
Where Do Your IoT Ingredients Come From?
2016 · Chiara Bodei, Pierpaolo Degano, et al. · Lecture notes in computer science · 24
Explainable Ponzi Schemes Detection on Ethereum
2024 · Letterio Galletta, Fabio Pinelli · ACM Symposium on Applied Computing · 19
Space cybersecurity governance: assessing policies and frameworks in view of the future European space legislation
2025 · Francesco Casaril, Letterio Galletta · Journal of Cybersecurity · 18
PDF
A theory of transaction parallelism in blockchains
2021 · Massimo Bartoletti, Letterio Galletta, et al. · Logical Methods in Computer Science · 15
PDF
Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows
2019 · Busi Matteo, Degano Pierpaolo, et al. · Lecture notes in computer science · 15
Formally verifying security protocols built on watermarking and jamming
2023 · Gabriele Costa, Pierpaolo Degano, et al. · Computers & Security · 13
A Two-Component Language for Adaptation: Design, Semantics and Program Analysis
2015 · Pierpaolo Degano, Gian-Luigi Ferrari, et al. · IEEE Transactions on Software Engineering · 12
Types for Coordinating Secure Behavioural Variations
2012 · Pierpaolo Degano, Gian-Luigi Ferrari, et al. · Lecture notes in computer science · 12
PDF
Developing security metrics for space systems: A study considering the NIST Cybersecurity Framework 2.0 and the NIS2
2025 · Francesco Casaril, Letterio Galletta · International Journal of Critical Infrastructure Protection · 11
Can my firewall system enforce this policy?
2022 · Lorenzo Ceragioli, Pierpaolo Degano, et al. · Computers & Security · 11
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays
2021 · Stefano Bistarelli, Rocco De Nicola, et al. · Concurrency and Computation Practice and Experience · 11
PDF
A Two-Component Language for COP
2014 · Pierpaolo Degano, Gian-Luigi Ferrari, et al. · 10
Securing Interruptible Enclaved Execution on Small Microprocessors
2021 · Matteo Busi, Job Noorman, et al. · ACM Transactions on Programming Languages and Systems · 9
PDF
Transcompiling Firewalls
2018 · Chiara Bodei, Pierpaolo Degano, et al. · Lecture notes in computer science · 9
PDF
A Two-Phase Static Analysis for Reliable Adaptation
2014 · Pierpaolo Degano, Gian-Luigi Ferrari, et al. · Lecture notes in computer science · 9
Resilience of Hybrid Casper Under Varying Values of Parameters
2022 · Letterio Galletta, Cosimo Laneve, et al. · Distributed Ledger Technologies Research and Practice · 8
PDF
Are All Firewall Systems Equally Powerful?
2019 · Lorenzo Ceragioli, Pierpaolo Degano, et al. · 8
Works count: 119
Citation count: 668
H-index: 13
I10-index: 20
Year
Topic
Type