Letterio Galletta

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 67

Top Topics

Communication Protocols

Abstract Interpretation

Information Flow

Static Analysis

Top Venues

J. Comput. Secur.

Publications

Letterio Galletta, Fabio Pinelli
Explainable Ponzi Schemes Detection on Ethereum. SAC (2024)
Francesco Casaril, Letterio Galletta
Securing SatCom user segment: A study on cybersecurity challenges in view of IRIS. Comput. Secur. 140 (2024)
Stefano Bistarelli, Rocco De Nicola, Letterio Galletta, Cosimo Laneve, Ivan Mercanti, Adele Veschetti
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays. Concurr. Comput. Pract. Exp. 35 (16) (2023)
Gabriele Costa, Pierpaolo Degano, Letterio Galletta, Simone Soderi
Formally verifying security protocols built on watermarking and jamming. Comput. Secur. 128 (2023)
Niccolò Maggioni, Letterio Galletta
A Comparison of Hosting Techniques for Online Cybersecurity Competitions. INTETAIN (2023)
Letterio Galletta, Cosimo Laneve, Ivan Mercanti, Adele Veschetti
Resilience of Hybrid Casper Under Varying Values of Parameters. Distributed Ledger Technol. Res. Pract. 2 (1) (2023)
Letterio Galletta, Fabio Pinelli
Sharpening Ponzi Schemes Detection on Ethereum with Machine Learning. CoRR (2023)
Zorica Savanovic, Letterio Galletta
A type language for distributed reactive components governed by communication protocols. J. Log. Algebraic Methods Program. 132 (2023)
Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, David A. Basin
IFCIL: An Information Flow Configuration Language for SELinux. CSF (2022)
Matteo Busi, Pierpaolo Degano, Letterio Galletta
Towards effective preservation of robust safety properties. SAC (2022)
Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, David A. Basin
IFCIL: An Information Flow Configuration Language for SELinux (Extended Version). CoRR (2022)
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta
Can my firewall system enforce this policy? Comput. Secur. 117 (2022)
Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, Luca Viganò
Automatic Fair Exchanges. CoRR (2022)
Pierpaolo Degano, Letterio Galletta, Selene Gerali
Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty. Protocols, Strands, and Logic (2021)
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
A theory of transaction parallelism in blockchains. Log. Methods Comput. Sci. 17 (4) (2021)
Matteo Busi, Pierpaolo Degano, Letterio Galletta
Mechanical incrementalization of typing algorithms. Sci. Comput. Program. 208 (2021)
Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens
Securing Interruptible Enclaved Execution on Small Microprocessors. ACM Trans. Program. Lang. Syst. 43 (3) (2021)
Chiara Bodei, Lorenzo Ceragioli, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Flaminia L. Luccio, Mauro Tempesta, Lorenzo Veronese
FWS: Analyzing, maintaining and transcompiling firewalls. J. Comput. Secur. 29 (1) (2021)
Jan Hajny, Sara Ricci, Edmundas Piesarskas, Olivier Levillain, Letterio Galletta, Rocco De Nicola
Framework, Tools and Good Practices for Cybersecurity Curricula. IEEE Access 9 (2021)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
Modelling and analysing IoT systems. J. Parallel Distributed Comput. 157 (2021)
Matteo Busi, Pierpaolo Degano, Letterio Galletta
Control-flow Flattening Preserves the Constant-Time Policy. ITASEC (2020)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
Security Metrics at Work on the Things in IoT Systems. From Lambda Calculus to Cybersecurity Through Program Analysis (2020)
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
A theory of transaction parallelism in blockchains. CoRR (2020)
Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version. CoRR (2020)
Gabriele Costa, Letterio Galletta, Pierpaolo Degano, David A. Basin, Chiara Bodei
Natural Projection as Partial Model Checking. J. Autom. Reason. 64 (7) (2020)
Andrea Canidio, Gabriele Costa, Letterio Galletta
VeriOSS: Using the Blockchain to Foster Bug Bounty Programs. Tokenomics (2020)
Andrea Canidio, Gabriele Costa, Letterio Galletta
Private-Yet-Verifiable Contact Tracing. CoRR (2020)
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
A True Concurrent Model of Smart Contracts Executions. COORDINATION (2020)
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta
MuAC: Access Control Language for Mutual Benefits. ITASEC (2020)
Matteo Busi, Pierpaolo Degano, Letterio Galletta
Control-flow Flattening Preserves the Constant-Time Policy (Extended Version). CoRR (2020)
Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors. CSF (2020)
Zorica Savanovic, Letterio Galletta, Hugo Torres Vieira
A type language for message passing component-based systems. ICE (2020)
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta
Checking the Expressivity of Firewall Languages. The Art of Modelling Computational Systems (2019)
Chiara Bodei, Letterio Galletta
Analysing the Provenance of IoT Data. ICISSP (Revised Selected Papers) (2019)
Matteo Busi, Letterio Galletta
A Brief Tour of Formally Secure Compilation. ITASEC (2019)
Matteo Busi, Pierpaolo Degano, Letterio Galletta
Robust Declassification by Incremental Typing. Foundations of Security, Protocols, and Equational Reasoning (2019)
Lorenzo Ceragioli, Letterio Galletta, Mauro Tempesta
From Firewalls to Functions and Back. ITASEC (2019)
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
A minimal core calculus for Solidity contracts. CoRR (2019)
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta
Are All Firewall Systems Equally Powerful? PLAS@CCS (2019)
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
A true concurrent model of smart contracts executions. CoRR (2019)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
Programming in a context-aware language. J. Supercomput. 75 (12) (2019)
Chiara Bodei, Stefano Chessa, Letterio Galletta
Measuring security in IoT communications. Theor. Comput. Sci. 764 (2019)
Chiara Bodei, Letterio Galletta
Tracking Data Trajectories in IoT. ICISSP (2019)
Matteo Busi, Pierpaolo Degano, Letterio Galletta
Using Standard Typing Algorithms Incrementally. NFM (2019)
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
A Minimal Core Calculus for Solidity Contracts. DPM/CBT@ESORICS (2019)
Matteo Busi, Pierpaolo Degano, Letterio Galletta
Translation Validation for Security Properties. CoRR (2019)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
Revealing the Trajectories of KLAIM Tuples, Statically. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Gabriele Costa, David A. Basin, Chiara Bodei, Pierpaolo Degano, Letterio Galletta
From Natural Projection to Partial Model Checking and Back. TACAS (1) (2018)
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Mauro Tempesta, Lorenzo Veronese
Firewall Management With FireWall Synthesizer. ITASEC (2018)
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Riccardo Focardi, Mauro Tempesta, Lorenzo Veronese
Language-Independent Synthesis of Firewall Policies. EuroS&P (2018)
Matteo Busi, Pierpaolo Degano, Letterio Galletta
Using Standard Typing Algorithms Incrementally. CoRR (2018)
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Mauro Tempesta
Transcompiling Firewalls. POST (2018)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
Experimenting with a Context-Aware Language. PaCT (2017)
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Emilio Tuosto
Tool Supported Analysis of IoT. ICE@DisCoTec (2017)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
Tracing where IoT data are collected and aggregated. Log. Methods Comput. Sci. 13 (3) (2017)
Chiara Bodei, Letterio Galletta
Tracking Sensitive and Untrustworthy Data in IoT. ITASEC (2017)
Matteo Busi, Pierpaolo Degano, Letterio Galletta
A Semantics for Disciplined Concurrency in COP. ICTCS (2016)
Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
A Two-Component Language for Adaptation: Design, Semantics and Program Analysis. IEEE Trans. Software Eng. 42 (6) (2016)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
Where Do Your IoT Ingredients Come From? COORDINATION (2016)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
Last Mile's Resources. Semantics, Logics, and Calculi (2016)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
A Step Towards Checking Security in IoT. ICE (2016)
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Francesco Salvatori
Context-aware security: Linguistic mechanisms and static analysis. J. Comput. Secur. 24 (4) (2016)
Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
Event-driven Adaptation in COP. PLACES (2016)
Chiara Bodei, Letterio Galletta
The Cost of Securing IoT Communications. ICTCS (2016)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
Tracing where IoT data are collected and aggregated. CoRR (2016)
Davide Basile, Letterio Galletta, Gianluca Mezzetti
Safe Adaptation Through Implicit Effect Coercion. Programming Languages with Applications to Biology and Security (2015)
Andrea Canciani, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
A Context-Oriented Extension of F#. FOCLASA (2015)
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Francesco Salvatori
Linguistic Mechanisms for Context-Aware Security. ICTAC (2014)
Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
A Two-Phase Static Analysis for Reliable Adaptation. SEFM (2014)
Letterio Galletta
An Abstract Interpretation Framework for Type and Effect Systems. Fundam. Informaticae 134 (3-4) (2014)
Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
A Two-Component Language for COP. COP@ECOOP (2014)
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Gianluca Mezzetti, GianLuigi Ferrari
Security in Pervasive Applications: A Survey. Eur. J. Law Technol. 4 (2) (2013)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti
Formalising Security in Ubiquitous and Cloud Scenarios. CISIM (2012)
Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti
Types for Coordinating Secure Behavioural Variations. COORDINATION (2012)
Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti
Typing Context-Dependent Behavioural Variation PLACES (2012)
Letterio Galletta, Giorgio Levi
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language WWV (2011)