- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c10 |      | Damiano Macedonio, Massimo Merro: A Semantic Analysis of Wireless Network Security Protocols. NASA Formal Methods 2012: 403-417 |
| 2011 | ||
| i1 | | Francesco Ballardin, Damiano Macedonio, Massimo Merro, Mattia Tirapelle: A Semantic Analysis of Key Management Protocols for Wireless Sensor Networks. CoRR abs/1109.5088 (2011) |
| 2010 | ||
| c9 | | Michele Bugliesi, Stefano Calzavara, Damiano Macedonio: Secrecy and Authenticity Types for Secure Distributed Messaging. ARSPA-WITS 2010: 23-40 |
| 2009 | ||
| j5 | | Michele Bugliesi, Dario Colazzo, Silvia Crafa, Damiano Macedonio: A type system for Discretionary Access Control. Mathematical Structures in Computer Science 19(4): 839-875 (2009) |
| c8 | | Sabina Rossi, Damiano Macedonio: Information flow security for service compositions. ICUMT 2009: 1-8 |
| c7 | | Michele Bugliesi, Damiano Macedonio, Luca Pino, Sabina Rossi: Compliance Preorders for Web Services. WS-FM 2009: 76-91 |
| 2008 | ||
| c6 | | Giovanni Bernardi, Michele Bugliesi, Damiano Macedonio, Sabina Rossi: A Theory of Adaptable Contract-Based Service Composition. SYNASC 2008: 327-334 |
| 2007 | ||
| j4 | | Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone: Static BiLog: a Unifying Language for Spatial Structures. Fundam. Inform. 80(1-3): 91-110 (2007) |
| c5 | | Michele Bugliesi, Damiano Macedonio, Sabina Rossi: Static vs Dynamic Typing for Access Control in Pi-Calculus. ASIAN 2007: 282-296 |
| 2006 | ||
| j3 | | Rohit Chadha, Damiano Macedonio, Vladimiro Sassone: A Hybrid Intuitionistic Logic: Semantics and Decidability. J. Log. Comput. 16(1): 27-59 (2006) |
| 2005 | ||
| j2 | | Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi: Information flow in secure contexts. Journal of Computer Security 13(3): 391-422 (2005) |
| c4 | | Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone: Spatial Logics for Bigraphs. ICALP 2005: 766-778 |
| c3 |  | Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone: Bigraphical Logics for XML. SEBD 2005: 392-399 |
| 2004 | ||
| j1 | | Annalisa Bossi, Riccardo Focardi, Damiano Macedonio, Carla Piazza, Sabina Rossi: Unwinding in Information Flow Security. Electr. Notes Theor. Comput. Sci. 99: 127-154 (2004) |
| 2003 | ||
| c2 | | Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi: Secure Contexts for Confidential Data. CSFW 2003: 14-28 |
| c1 | | Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi: Information Flow Security and Recursive Systems. ICTCS 2003: 369-382 |
Data released under the ODC-BY 1.0 license — See also our legal information page