Damiano Macedonio

According to our database, Damiano Macedonio authored at least 25 papers between 2003 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Static Identification of Injection Attacks in Java.

Fausto Spoto, Elisa Burato, Michael D. Ernst, Pietro Ferrara, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon

ACM Trans. Program. Lang. Syst., 2019

2016

Semantics for Locking Specifications.

Michael D. Ernst, Damiano Macedonio, Massimo Merro, Fausto Spoto

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Locking discipline inference and checking.

Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Fausto Spoto, Javier Thaine

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Statistical Model Checking of Ad Hoc Routing Protocols in Lossy Grid Networks.

Alice Dal Corso, Damiano Macedonio, Massimo Merro

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Boolean Formulas for the Static Identification of Injection Attacks in Java.

Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon, Fausto Spoto

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

2014

A semantic analysis of key management protocols for wireless sensor networks.

Damiano Macedonio, Massimo Merro

Sci. Comput. Program., 2014

A Thread-Safe Library for Binary Decision Diagrams.

Alberto Lovato, Damiano Macedonio, Fausto Spoto

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

2013

Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks.

Luca Battisti, Damiano Macedonio, Massimo Merro

Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013

2012

A Semantic Analysis of Wireless Network Security Protocols.

Damiano Macedonio, Massimo Merro

Proceedings of the NASA Formal Methods, 2012

2011

A Semantic Analysis of Key Management Protocols for Wireless Sensor Networks

Francesco Ballardin, Damiano Macedonio, Massimo Merro, Mattia Tirapelle

CoRR, 2011

2010

Secrecy and Authenticity Types for Secure Distributed Messaging.

Michele Bugliesi, Stefano Calzavara, Damiano Macedonio

Proceedings of the Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, 2010

2009

A type system for Discretionary Access Control.

Michele Bugliesi, Dario Colazzo, Silvia Crafa, Damiano Macedonio

Math. Struct. Comput. Sci., 2009

Compliance Preorders for Web Services.

Michele Bugliesi, Damiano Macedonio, Luca Pino, Sabina Rossi

Proceedings of the Web Services and Formal Methods, 6th International Workshop, 2009

Information flow security for service compositions.

Sabina Rossi, Damiano Macedonio

Proceedings of the International Conference on Ultra Modern Telecommunications, 2009

2008

A Theory of Adaptable Contract-Based Service Composition.

Giovanni Bernardi, Michele Bugliesi, Damiano Macedonio, Sabina Rossi

Proceedings of the SYNASC 2008, 2008

2007

Static BiLog: a Unifying Language for Spatial Structures.

Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone

Fundam. Informaticae, 2007

Static vs Dynamic Typing for Access Control in Pi-Calculus.

Michele Bugliesi, Damiano Macedonio, Sabina Rossi

Proceedings of the Advances in Computer Science, 2007

2006

Logics for distributed resources.

Damiano Macedonio

PhD thesis, 2006

A Hybrid Intuitionistic Logic: Semantics and Decidability.

Rohit Chadha, Damiano Macedonio, Vladimiro Sassone

J. Log. Comput., 2006

2005

Information flow in secure contexts.

Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi

J. Comput. Secur., 2005

Bigraphical Logics for XML.

Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone

Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005

Spatial Logics for Bigraphs.

Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

2003

Unwinding in Information Flow Security.

Annalisa Bossi, Riccardo Focardi, Damiano Macedonio, Carla Piazza, Sabina Rossi

Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003

Information Flow Security and Recursive Systems.

Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi

Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

Secure Contexts for Confidential Data.

Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi

Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June, 2003