Secure Contexts for Confidential Data. - Annalisa Bossi; Damiano Macedonio; Carla Piazza; Sabina Rossi (CSFW, 2003)

Information Flow Security and Recursive Systems. - Annalisa Bossi; Damiano Macedonio; Carla Piazza; Sabina Rossi (ICTCS, 2003)

Unwinding in Information Flow Security. - Annalisa Bossi; Riccardo Focardi; Damiano Macedonio; Carla Piazza; Sabina Rossi (MEFISTO, 2003)

Spatial Logics for Bigraphs. - Giovanni Conforti; Damiano Macedonio; Vladimiro Sassone (ICALP, 2005)

Bigraphical Logics for XML. - Giovanni Conforti; Damiano Macedonio; Vladimiro Sassone (SEBD, 2005)

Information flow in secure contexts. - Annalisa Bossi; Damiano Macedonio; Carla Piazza; Sabina Rossi (J. Comput. Secur., 2005)

A Hybrid Intuitionistic Logic: Semantics and Decidability. - Rohit Chadha; Damiano Macedonio; Vladimiro Sassone (J. Log. Comput., 2006)

Logics for distributed resources. - Damiano Macedonio (2006)

Static vs Dynamic Typing for Access Control in Pi-Calculus. - Michele Bugliesi; Damiano Macedonio; Sabina Rossi (ASIAN, 2007)

Static BiLog: a Unifying Language for Spatial Structures. - Giovanni Conforti; Damiano Macedonio; Vladimiro Sassone (Fundam. Informaticae, 2007)

A Theory of Adaptable Contract-Based Service Composition. - Giovanni Bernardi 001; Michele Bugliesi; Damiano Macedonio; Sabina Rossi (SYNASC, 2008)

Information flow security for service compositions. - Sabina Rossi; Damiano Macedonio (ICUMT, 2009)

Compliance Preorders for Web Services. - Michele Bugliesi; Damiano Macedonio; Luca Pino; Sabina Rossi (WS-FM, 2009)

A type system for Discretionary Access Control. - Michele Bugliesi; Dario Colazzo; Silvia Crafa; Damiano Macedonio (Math. Struct. Comput. Sci., 2009)

Secrecy and Authenticity Types for Secure Distributed Messaging. - Michele Bugliesi; Stefano Calzavara; Damiano Macedonio (ARSPA-WITS, 2010)

A Semantic Analysis of Key Management Protocols for Wireless Sensor Networks - Francesco Ballardin; Damiano Macedonio; Massimo Merro; Mattia Tirapelle (CoRR, 2011)

A Semantic Analysis of Wireless Network Security Protocols. - Damiano Macedonio; Massimo Merro (NASA Formal Methods, 2012)

Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks. - Luca Battisti; Damiano Macedonio; Massimo Merro (FSEN, 2013)

A Thread-Safe Library for Binary Decision Diagrams. - Alberto Lovato; Damiano Macedonio; Fausto Spoto (SEFM, 2014)

A semantic analysis of key management protocols for wireless sensor networks. - Damiano Macedonio; Massimo Merro (Sci. Comput. Program., 2014)

Boolean Formulas for the Static Identification of Injection Attacks in Java. - Michael D. Ernst; Alberto Lovato; Damiano Macedonio; Ciprian Spiridon; Fausto Spoto (LPAR, 2015)

Statistical Model Checking of Ad Hoc Routing Protocols in Lossy Grid Networks. - Alice Dal Corso; Damiano Macedonio; Massimo Merro (NFM, 2015)

Locking discipline inference and checking. - Michael D. Ernst; Alberto Lovato; Damiano Macedonio; Fausto Spoto; Javier Thaine (ICSE, 2016)

Semantics for Locking Specifications. - Michael D. Ernst; Damiano Macedonio; Massimo Merro; Fausto Spoto (NFM, 2016)

Static Identification of Injection Attacks in Java. - Fausto Spoto; Elisa Burato; Michael D. Ernst; Pietro Ferrara 001; Alberto Lovato; Damiano Macedonio; Ciprian Spiridon (ACM Trans. Program. Lang. Syst., 2019)