Damiano Macedonio

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