Damiano Macedonio

	2012
16		Damiano Macedonio, Massimo Merro: A Semantic Analysis of Wireless Network Security Protocols. NASA Formal Methods 2012: 403-417
	2011
15		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
14		Michele Bugliesi, Stefano Calzavara, Damiano Macedonio: Secrecy and Authenticity Types for Secure Distributed Messaging. ARSPA-WITS 2010: 23-40
	2009
13		Sabina Rossi, Damiano Macedonio: Information flow security for service compositions. ICUMT 2009: 1-8
12		Michele Bugliesi, Damiano Macedonio, Luca Pino, Sabina Rossi: Compliance Preorders for Web Services. WS-FM 2009: 76-91
11		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)
	2008
10		Giovanni Bernardi, Michele Bugliesi, Damiano Macedonio, Sabina Rossi: A Theory of Adaptable Contract-Based Service Composition. SYNASC 2008: 327-334
	2007
9		Michele Bugliesi, Damiano Macedonio, Sabina Rossi: Static vs Dynamic Typing for Access Control in Pi-Calculus. ASIAN 2007: 282-296
8		Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone: Static BiLog: a Unifying Language for Spatial Structures. Fundam. Inform. 80(1-3): 91-110 (2007)
	2006
7		Rohit Chadha, Damiano Macedonio, Vladimiro Sassone: A Hybrid Intuitionistic Logic: Semantics and Decidability. J. Log. Comput. 16(1): 27-59 (2006)
	2005
6		Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone: Spatial Logics for Bigraphs. ICALP 2005: 766-778
5		Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone: Bigraphical Logics for XML. SEBD 2005: 392-399
4		Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi: Information flow in secure contexts. Journal of Computer Security 13(3): 391-422 (2005)
	2004
3		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
2		Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi: Secure Contexts for Confidential Data. CSFW 2003: 14-28
1		Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi: Information Flow Security and Recursive Systems. ICTCS 2003: 369-382

Coauthor Index

1	Francesco Ballardin	[15]
2	Giovanni Bernardi	[10]
3	Annalisa Bossi	[1] [2] [3] [4]
4	Michele Bugliesi	[9] [10] [11] [12] [14]
5	Stefano Calzavara	[14]
6	Rohit Chadha	[7]
7	Dario Colazzo	[11]
8	Giovanni Conforti	[5] [6] [8]
9	Silvia Crafa	[11]
10	Riccardo Focardi	[3]
11	Massimo Merro	[15] [16]
12	Carla Piazza	[1] [2] [3] [4]
13	Luca Pino	[12]
14	Sabina Rossi	[1] [2] [3] [4] [9] [10] [12] [13]
15	Vladimiro Sassone	[5] [6] [7] [8]
16	Mattia Tirapelle	[15]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page