Damiano Macedonio

Publication Activity (10 Years)

Years Active: 2003-2019
Publications (10 Years): 3

Top Topics

Sensor Networks

Injection Attacks

Top Venues

Sci. Comput. Program.

Publications

Fausto Spoto, Elisa Burato, Michael D. Ernst, Pietro Ferrara, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon
Static Identification of Injection Attacks in Java. ACM Trans. Program. Lang. Syst. 41 (3) (2019)
Michael D. Ernst, Damiano Macedonio, Massimo Merro, Fausto Spoto
Semantics for Locking Specifications. NFM (2016)
Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Fausto Spoto, Javier Thaine
Locking discipline inference and checking. ICSE (2016)
Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon, Fausto Spoto
Boolean Formulas for the Static Identification of Injection Attacks in Java. LPAR (2015)
Alice Dal Corso, Damiano Macedonio, Massimo Merro
Statistical Model Checking of Ad Hoc Routing Protocols in Lossy Grid Networks. NFM (2015)
Michael D. Ernst, Damiano Macedonio, Massimo Merro, Fausto Spoto
Semantics for Locking Specifications. CoRR (2015)
Damiano Macedonio, Massimo Merro
A semantic analysis of key management protocols for wireless sensor networks. Sci. Comput. Program. 81 (2014)
Alberto Lovato, Damiano Macedonio, Fausto Spoto
A Thread-Safe Library for Binary Decision Diagrams. SEFM (2014)
Luca Battisti, Damiano Macedonio, Massimo Merro
Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks. FSEN (2013)
Damiano Macedonio, Massimo Merro
A Semantic Analysis of Wireless Network Security Protocols. NASA Formal Methods (2012)
Francesco Ballardin, Damiano Macedonio, Massimo Merro, Mattia Tirapelle
A Semantic Analysis of Key Management Protocols for Wireless Sensor Networks CoRR (2011)
Michele Bugliesi, Stefano Calzavara, Damiano Macedonio
Secrecy and Authenticity Types for Secure Distributed Messaging. ARSPA-WITS (2010)
Michele Bugliesi, Damiano Macedonio, Luca Pino, Sabina Rossi
Compliance Preorders for Web Services. WS-FM (2009)
Michele Bugliesi, Dario Colazzo, Silvia Crafa, Damiano Macedonio
A type system for Discretionary Access Control. Math. Struct. Comput. Sci. 19 (4) (2009)
Sabina Rossi, Damiano Macedonio
Information flow security for service compositions. ICUMT (2009)
Giovanni Bernardi, Michele Bugliesi, Damiano Macedonio, Sabina Rossi
A Theory of Adaptable Contract-Based Service Composition. SYNASC (2008)
Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone
Static BiLog: a Unifying Language for Spatial Structures. Fundam. Informaticae 80 (1-3) (2007)
Michele Bugliesi, Damiano Macedonio, Sabina Rossi
Static vs Dynamic Typing for Access Control in Pi-Calculus. ASIAN (2007)
Rohit Chadha, Damiano Macedonio, Vladimiro Sassone
A Hybrid Intuitionistic Logic: Semantics and Decidability. J. Log. Comput. 16 (1) (2006)
Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone
Bigraphical Logics for XML. SEBD (2005)
Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone
Spatial Logics for Bigraphs. ICALP (2005)
Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi
Information flow in secure contexts. J. Comput. Secur. 13 (3) (2005)
Annalisa Bossi, Riccardo Focardi, Damiano Macedonio, Carla Piazza, Sabina Rossi
Unwinding in Information Flow Security. Electron. Notes Theor. Comput. Sci. 99 (2004)
Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi
Secure Contexts for Confidential Data. CSFW (2003)
Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi
Information Flow Security and Recursive Systems. ICTCS (2003)