An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language - Letterio Galletta; Giorgio Levi (WWV, 2011)

Formalising Security in Ubiquitous and Cloud Scenarios. - Chiara Bodei; Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta; Gianluca Mezzetti (CISIM, 2012)

Types for Coordinating Secure Behavioural Variations. - Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta; Gianluca Mezzetti (COORDINATION, 2012)

Typing Context-Dependent Behavioural Variation - Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta; Gianluca Mezzetti (PLACES, 2012)

Security in Pervasive Applications: A Survey. - Chiara Bodei; Pierpaolo Degano; Letterio Galletta; Gianluca Mezzetti; Gianluigi Ferrari 002 (Eur. J. Law Technol., 2013)

A Two-Component Language for COP. - Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (COP@ECOOP, 2014)

Linguistic Mechanisms for Context-Aware Security. - Chiara Bodei; Pierpaolo Degano; Letterio Galletta; Francesco Salvatori (ICTAC, 2014)

A Two-Phase Static Analysis for Reliable Adaptation. - Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (SEFM, 2014)

An Abstract Interpretation Framework for Type and Effect Systems. - Letterio Galletta (Fundam. Informaticae, 2014)

Adaptivity: Linguistic Mechanisms and Static Analysis Techniques. - Letterio Galletta (2014)

Safe Adaptation Through Implicit Effect Coercion. - Davide Basile 001; Letterio Galletta; Gianluca Mezzetti (Programming Languages with Applications to Biology and Security, 2015)

A Context-Oriented Extension of F#. - Andrea Canciani; Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (FOCLASA, 2015)

Last Mile's Resources. - Chiara Bodei; Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (Semantics, Logics, and Calculi, 2016)

Where Do Your IoT Ingredients Come From? - Chiara Bodei; Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (COORDINATION, 2016)

The Cost of Securing IoT Communications. - Chiara Bodei; Letterio Galletta (ICTCS, 2016)

A Semantics for Disciplined Concurrency in COP. - Matteo Busi 001; Pierpaolo Degano; Letterio Galletta (ICTCS, 2016)

A Step Towards Checking Security in IoT. - Chiara Bodei; Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (ICE, 2016)

Event-driven Adaptation in COP. - Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (PLACES, 2016)

Context-aware security: Linguistic mechanisms and static analysis. - Chiara Bodei; Pierpaolo Degano; Letterio Galletta; Francesco Salvatori (J. Comput. Secur., 2016)

A Two-Component Language for Adaptation: Design, Semantics and Program Analysis. - Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (IEEE Trans. Software Eng., 2016)

Tracking Sensitive and Untrustworthy Data in IoT. - Chiara Bodei; Letterio Galletta (ITASEC, 2017)

Experimenting with a Context-Aware Language. - Chiara Bodei; Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (PaCT, 2017)

Tool Supported Analysis of IoT. - Chiara Bodei; Pierpaolo Degano; Letterio Galletta; Emilio Tuosto (ICE@DisCoTec, 2017)

Tracing where IoT data are collected and aggregated. - Chiara Bodei; Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (Log. Methods Comput. Sci., 2017)

Language-Independent Synthesis of Firewall Policies. - Chiara Bodei; Pierpaolo Degano; Letterio Galletta; Riccardo Focardi; Mauro Tempesta; Lorenzo Veronese (EuroS&P, 2018)

Firewall Management With FireWall Synthesizer. - Chiara Bodei; Pierpaolo Degano; Riccardo Focardi; Letterio Galletta; Mauro Tempesta; Lorenzo Veronese (ITASEC, 2018)

Transcompiling Firewalls. - Chiara Bodei; Pierpaolo Degano; Riccardo Focardi; Letterio Galletta; Mauro Tempesta (POST, 2018)

From Natural Projection to Partial Model Checking and Back. - Gabriele Costa 001; David A. Basin; Chiara Bodei; Pierpaolo Degano; Letterio Galletta (TACAS (1), 2018)

Revealing the Trajectories of KLAIM Tuples, Statically. - Chiara Bodei; Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

Robust Declassification by Incremental Typing. - Matteo Busi 001; Pierpaolo Degano; Letterio Galletta (Foundations of Security, Protocols, and Equational Reasoning, 2019)

Checking the Expressivity of Firewall Languages. - Lorenzo Ceragioli; Pierpaolo Degano; Letterio Galletta (The Art of Modelling Computational Systems, 2019)

Are All Firewall Systems Equally Powerful? - Lorenzo Ceragioli; Pierpaolo Degano; Letterio Galletta (PLAS@CCS, 2019)

A Minimal Core Calculus for Solidity Contracts. - Massimo Bartoletti; Letterio Galletta; Maurizio Murgia 001 (DPM/CBT@ESORICS, 2019)

Tracking Data Trajectories in IoT. - Chiara Bodei; Letterio Galletta (ICISSP, 2019)

Analysing the Provenance of IoT Data. - Chiara Bodei; Letterio Galletta (ICISSP (Revised Selected Papers), 2019)

A Brief Tour of Formally Secure Compilation. - Matteo Busi 001; Letterio Galletta (ITASEC, 2019)

From Firewalls to Functions and Back. - Lorenzo Ceragioli; Letterio Galletta; Mauro Tempesta (ITASEC, 2019)

Using Standard Typing Algorithms Incrementally. - Matteo Busi 001; Pierpaolo Degano; Letterio Galletta (NFM, 2019)

Translation Validation for Security Properties. - Matteo Busi 001; Pierpaolo Degano; Letterio Galletta (CoRR, 2019)

Measuring security in IoT communications. - Chiara Bodei; Stefano Chessa; Letterio Galletta (Theor. Comput. Sci., 2019)

Programming in a context-aware language. - Chiara Bodei; Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (J. Supercomput., 2019)

Security Metrics at Work on the Things in IoT Systems. - Chiara Bodei; Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (From Lambda Calculus to Cybersecurity Through Program Analysis, 2020)

A True Concurrent Model of Smart Contracts Executions. - Massimo Bartoletti; Letterio Galletta; Maurizio Murgia 001 (COORDINATION, 2020)

Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors. - Matteo Busi 001; Job Noorman; Jo Van Bulck; Letterio Galletta; Pierpaolo Degano; Jan Tobias Mühlberg; Frank Piessens (CSF, 2020)

Control-flow Flattening Preserves the Constant-Time Policy. - Matteo Busi 001; Pierpaolo Degano; Letterio Galletta (ITASEC, 2020)

MuAC: Access Control Language for Mutual Benefits. - Lorenzo Ceragioli; Pierpaolo Degano; Letterio Galletta (ITASEC, 2020)

VeriOSS: Using the Blockchain to Foster Bug Bounty Programs. - Andrea Canidio; Gabriele Costa 001; Letterio Galletta (Tokenomics, 2020)

Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version. - Matteo Busi 001; Job Noorman; Jo Van Bulck; Letterio Galletta; Pierpaolo Degano; Jan Tobias Mühlberg; Frank Piessens (CoRR, 2020)

Control-flow Flattening Preserves the Constant-Time Policy (Extended Version). - Matteo Busi 001; Pierpaolo Degano; Letterio Galletta (CoRR, 2020)

A type language for message passing component-based systems. - Zorica Savanovic; Letterio Galletta; Hugo Torres Vieira (ICE, 2020)

Private-Yet-Verifiable Contact Tracing. - Andrea Canidio; Gabriele Costa 001; Letterio Galletta (CoRR, 2020)

Natural Projection as Partial Model Checking. - Gabriele Costa 001; Letterio Galletta; Pierpaolo Degano; David A. Basin; Chiara Bodei (J. Autom. Reason., 2020)

Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty. - Pierpaolo Degano; Letterio Galletta; Selene Gerali (Protocols, Strands, and Logic, 2021)

Framework, Tools and Good Practices for Cybersecurity Curricula. - Jan Hajny; Sara Ricci; Edmundas Piesarskas; Olivier Levillain; Letterio Galletta; Rocco De Nicola (IEEE Access, 2021)

FWS: Analyzing, maintaining and transcompiling firewalls. - Chiara Bodei; Lorenzo Ceragioli; Pierpaolo Degano; Riccardo Focardi; Letterio Galletta; Flaminia L. Luccio; Mauro Tempesta; Lorenzo Veronese (J. Comput. Secur., 2021)

Modelling and analysing IoT systems. - Chiara Bodei; Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (J. Parallel Distributed Comput., 2021)

A theory of transaction parallelism in blockchains. - Massimo Bartoletti; Letterio Galletta; Maurizio Murgia 001 (Log. Methods Comput. Sci., 2021)

Mechanical incrementalization of typing algorithms. - Matteo Busi 001; Pierpaolo Degano; Letterio Galletta (Sci. Comput. Program., 2021)

Securing Interruptible Enclaved Execution on Small Microprocessors. - Matteo Busi 001; Job Noorman; Jo Van Bulck; Letterio Galletta; Pierpaolo Degano; Jan Tobias Mühlberg; Frank Piessens (ACM Trans. Program. Lang. Syst., 2021)

Italian IT Initiatives against COVID-19 (Dataset). - Vincenzo Bonnici; Giovanni Cicceri; Salvatore Distefano; Letterio Galletta; Marco Polignano; Carlo Scaffidi (Zenodo, 2021)

IFCIL: An Information Flow Configuration Language for SELinux. - Lorenzo Ceragioli; Letterio Galletta; Pierpaolo Degano; David A. Basin (CSF, 2022)

Towards effective preservation of robust safety properties. - Matteo Busi 001; Pierpaolo Degano; Letterio Galletta (SAC, 2022)

Can my firewall system enforce this policy? - Lorenzo Ceragioli; Pierpaolo Degano; Letterio Galletta (Comput. Secur., 2022)

IFCIL: An Information Flow Configuration Language for SELinux (Extended Version). - Lorenzo Ceragioli; Letterio Galletta; Pierpaolo Degano; David A. Basin (CoRR, 2022)

Automatic Fair Exchanges. - Lorenzo Ceragioli; Letterio Galletta; Pierpaolo Degano; Luca Viganò 001 (CoRR, 2022)

A Comparison of Hosting Techniques for Online Cybersecurity Competitions. - Niccolò Maggioni; Letterio Galletta (INTETAIN, 2023)

Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays. - Stefano Bistarelli; Rocco De Nicola; Letterio Galletta; Cosimo Laneve; Ivan Mercanti; Adele Veschetti (Concurr. Comput. Pract. Exp., 2023)

Sharpening Ponzi Schemes Detection on Ethereum with Machine Learning. - Letterio Galletta; Fabio Pinelli (CoRR, 2023)

Resilience of Hybrid Casper Under Varying Values of Parameters. - Letterio Galletta; Cosimo Laneve; Ivan Mercanti; Adele Veschetti (Distributed Ledger Technol. Res. Pract., 2023)

Risk Estimation in IoT Systems. - Chiara Bodei; Gian-Luigi Ferrari 002; Letterio Galletta; Pierpaolo Degano (Challenges of Software Verification, 2023)

A type language for distributed reactive components governed by communication protocols. - Zorica Savanovic; Letterio Galletta (J. Log. Algebraic Methods Program., 2023)

Formally verifying security protocols built on watermarking and jamming. - Gabriele Costa 001; Pierpaolo Degano; Letterio Galletta; Simone Soderi (Comput. Secur., 2023)

A Netting Protocol for Liquidity-saving Automated Market Makers. - Margherita Renieri; Letterio Galletta; Alberto Lluch-Lafuente; James Hsin-yu Chiang (DLT, 2024)

A Logic for Policy Based Resource Exchanges in Multiagent Systems. - Lorenzo Ceragioli; Pierpaolo Degano; Letterio Galletta; Luca Viganò 001 (ECAI, 2024)

Systems Security Modeling and Analysis at IMT Lucca. - Gabriele Costa 001; Silvia de Francisci; Letterio Galletta; Cosimo Perini Brogi; Marinella Petrocchi; Fabio Pinelli; Roberto Pizziol; Manuel Pratelli; Margherita Renieri; Simone Soderi; Mirco Tribastone; Serenella Valiani (ISoLA (1), 2024)

Explainable Ponzi Schemes Detection on Ethereum. - Letterio Galletta; Fabio Pinelli (SAC, 2024)

A Policy Framework for Regulating External Calls in Smart Contracts. - Margherita Renieri; Letterio Galletta (SEFM, 2024)

Securing SatCom user segment: A study on cybersecurity challenges in view of IRIS. - Francesco Casaril; Letterio Galletta (Comput. Secur., 2024)

Policies for Fair Exchanges of Resources. - Lorenzo Ceragioli; Pierpaolo Degano; Letterio Galletta; Luca Viganò 001 (CoRR, 2024)

Specifying and Verifying Information Flow Control in SELinux Configurations. - Lorenzo Ceragioli; Letterio Galletta; Pierpaolo Degano; David A. Basin (ACM Trans. Priv. Secur., 2024)

WalkthroughCyber: Teaching Cyber-Awareness in Montessori Middle Schools. - Margherita Renieri; Alessandra Renieri; Letterio Galletta (ARES (EU Projects Symposium Workshops 2), 2025)

X-SPIDE: An eXplainable Machine Learning Pipeline for Detecting Smart Ponzi Contracts in Ethereum. - Luca Pennella; Fabio Pinelli; Letterio Galletta (IEEE Access, 2025)

Space cybersecurity governance: assessing policies and frameworks in view of the future European space legislation. - Francesco Casaril; Letterio Galletta (J. Cybersecur., 2025)