Fabio Martinelli

	2012
118		Fabio Martinelli, Charles Morisset: Quantitative access control with partially-observable Markov decision processes. CODASPY 2012: 169-180
117		Georgios Karopoulos, Paolo Mori, Fabio Martinelli: Continuous Authorizations in SIP with Usage Control. PDP 2012: 283-287
116		Gabriele Costa, Pierpaolo Degano, Fabio Martinelli: Modular plans for secure service composition. Journal of Computer Security 20(1): 81-117 (2012)
	2011
115		Leanid Krautsevich, Aliaksandr Lazouski, Fabio Martinelli, Artsiom Yautsiukhin: Cost-effective Enforcement of UCONA Policies. CRiSIS 2011: 70-77
114		Leanid Krautsevich, Fabio Martinelli, Charles Morisset, Artsiom Yautsiukhin: Risk-Based Auto-delegation for Probabilistic Availability. DPM/SETOP 2011: 206-220
113		Fabio Martinelli, Paolo Mori: A Distributed Authorization System with Mobile Usage Control Policies. EUROCAST (1) 2011: 56-63
112		Pietro Caputo, Fabio Martinelli, Fabio Lucio Toninelli: Sharp Mixing Time Bounds for Sampling Random Surfaces. FOCS 2011: 130-139
111		Wouter Joosen, Javier Lopez, Fabio Martinelli, Fabio Massacci: Engineering Secure Future Internet Services. Future Internet Assembly 2011: 177-192
110		Gabriele Costa, Valérie Issarny, Fabio Martinelli, Ilaria Matteucci, Rachid Saadi: Security and Trust. SFM 2011: 393-416
109		Leanid Krautsevich, Fabio Martinelli, Artsiom Yautsiukhin: A General Method for Assessment of Security in Complex Services. ServiceWave 2011: 153-164
108		Leanid Krautsevich, Fabio Martinelli, Artsiom Yautsiukhin: Formal Analysis of Security Metrics and Risk. WISTP 2011: 304-319
107		Gabriele Costa, Pierpaolo Degano, Fabio Martinelli: Secure service orchestration in open networks. Journal of Systems Architecture - Embedded Systems Design 57(3): 231-239 (2011)
106		Pietro Caputo, Fabio Martinelli, Fabio Lucio Toninelli: Convergence to equilibrium of biased plane Partitions. Random Struct. Algorithms 39(1): 83-114 (2011)
105		David Galvin, Fabio Martinelli, Kavita Ramanan, Prasad Tetali: The Multistate Hard Core Model on a Regular Tree. SIAM J. Discrete Math. 25(2): 894-915 (2011)
	2010
104		Fabio Martinelli, Bart Preneel: Public Key Infrastructures, Services and Applications - 6th European Workshop, EuroPKI 2009, Pisa, Italy, September 10-11, 2009, Revised Selected Papers Springer 2010
103		Gabriele Costa, Pierpaolo Degano, Fabio Martinelli: Modular Plans for Secure Service Composition. ARSPA-WITS 2010: 41-58
102		Stefano Bistarelli, Fabio Martinelli, Francesco Santini: A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints. ATC 2010: 268-282
101		Gabriele Costa, Nicola Dragoni, Aliaksandr Lazouski, Fabio Martinelli, Fabio Massacci, Ilaria Matteucci: Extending Security-by-Contract with Quantitative Trust on Mobile Devices. CISIS 2010: 872-877
100		Leanid Krautsevich, Fabio Martinelli, Artsiom Yautsiukhin: Formal approach to security metrics.: what does "more secure" mean for you? ECSA Companion Volume 2010: 162-169
99		Gabriela Gheorghe, Paolo Mori, Bruno Crispo, Fabio Martinelli: Enforcing UCON Policies on the Enterprise Service Bus. OTM Conferences (2) 2010: 876-893
98		Leanid Krautsevich, Aliaksandr Lazouski, Fabio Martinelli, Artsiom Yautsiukhin: Risk-Based Usage Control for Service Oriented Architecture. PDP 2010: 641-648
97		Leanid Krautsevich, Aliaksandr Lazouski, Fabio Martinelli, Artsiom Yautsiukhin: Influence of Attribute Freshness on Decision Making in Usage Control. STM 2010: 35-50
96		Leanid Krautsevich, Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori, Artsiom Yautsiukhin: Usage Control, Risk and Trust. TrustBus 2010: 1-12
95		Maurizio Colombo, Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori: Access and Usage Control in Grid Systems. Handbook of Information and Communication Security 2010: 293-308
94		Fabio Martinelli, Alistair Sinclair: Mixing Time for the Solid-on-Solid Model CoRR abs/1008.0125: (2010)
93		Levente Buttyán, László Dóra, Fabio Martinelli, Marinella Petrocchi: Fast certificate-based authentication scheme in multi-operator maintained wireless mesh networks. Computer Communications 33(8): 907-922 (2010)
92		Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori: Usage control in computer security: A survey. Computer Science Review 4(2): 81-99 (2010)
91		Gabriele Costa, Fabio Martinelli, Paolo Mori, Christian Schaefer, Thomas Walter: Runtime monitoring for next generation Java ME platform. Computers & Security 29(1): 74-87 (2010)
90		Gabriele Costa, Francesco La Torre, Fabio Martinelli, Paolo Mori: Parental Control for Mobile Devices. ERCIM News 2010(82): 61-62 (2010)
89		Fabio Martinelli, Paolo Mori: On usage control for GRID systems. Future Generation Comp. Syst. 26(7): 1032-1042 (2010)
88		Theo Dimitrakos, Fabio Martinelli, Bruce Schneier: Special issue on security and trust management for dynamic coalitions. Security and Communication Networks 3(6): 453-455 (2010)
	2009
87		Pierpaolo Degano, Joshua D. Guttman, Fabio Martinelli: Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers Springer 2009
86		Pierangela Samarati, Moti Yung, Fabio Martinelli, Claudio Agostino Ardagna: Information Security, 12th International Conference, ISC 2009, Pisa, Italy, September 7-9, 2009. Proceedings Springer 2009
85		Fabio Martinelli, Marinella Petrocchi: Executable Specification of Cryptofraglets in Maude for Security Verification. BIONETICS 2009: 11-23
84		Maurizio Colombo, Fabio Martinelli, Paolo Mori, Aliaksandr Lazouski: On Usage Control for GRID Services. CSO (1) 2009: 47-51
83		Fabio Martinelli, Ilaria Matteucci: Idea: Action Refinement for Security Properties Enforcement. ESSoS 2009: 37-42
82		Federico Stagni, Alvaro Arenas, Benjamin Aziz, Fabio Martinelli: On Usage Control in Data Grids. IFIPTM 2009: 99-116
81		Giuseppe Amato, Paolo Bolettieri, Gabriele Costa, Francesco La Torre, Fabio Martinelli: Detection of images with adult content for parental control on mobile devices? Mobility Conference 2009
80		Fabio Martinelli, Alistair Sinclair: Mixing time for the solid-on-solid model. STOC 2009: 571-580
79		Roberto Gorrieri, Fabio Martinelli, Ilaria Matteucci: Towards Information Flow Properties for Distributed Systems. Electr. Notes Theor. Comput. Sci. 236: 65-84 (2009)
78		Theodosis Dimitrakos, Fabio Martinelli: Preface. Electr. Notes Theor. Comput. Sci. 244: 1-2 (2009)
77		Hristo Koshutanski, Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori: Enhancing grid security by fine-grained behavioral control and negotiation-based authorization. Int. J. Inf. Sec. 8(4): 291-314 (2009)
76		Massimo Bartoletti, Gabriele Costa, Pierpaolo Degano, Fabio Martinelli, Roberto Zunino: Securing Java with Local Policies. Journal of Object Technology 8(4): 5-32 (2009)
	2008
75		Fabio Martinelli, Ilaria Matteucci: Synthesis of Local Controller Programs for Enforcing Global Security Properties. ARES 2008: 1120-1127
74		Stefano Bistarelli, Fabio Martinelli, Francesco Santini: Weighted Datalog and Levels of Trust. ARES 2008: 1128-1134
73		Stefano Bistarelli, Fabio Martinelli, Francesco Santini: A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily. ATC 2008: 481-495
72		Alessandro Castrucci, Fabio Martinelli, Paolo Mori, Francesco Roperti: Enhancing Java ME Security Support with Resource Usage Monitoring. ICICS 2008: 256-266
71		Stefano Campanelli, Alessandro Falleni, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: Mobile Implementation and Formal Verification of an e-Voting System. ICIW 2008: 476-481
70		Paolo Greci, Fabio Martinelli, Ilaria Matteucci: A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application. ISoLA 2008: 221-236
69		Syed Naqvi, Philippe Massonet, Benjamin Aziz, Alvaro Arenas, Fabio Martinelli, Paolo Mori, Lorenzo Blasi, Giovanni Cortese: Fine-Grained Continuous Usage Control of Service Based Grids - The GridTrust Approach. ServiceWave 2008: 242-253
68		Benjamin Aziz, Alvaro Arenas, Fabio Martinelli, Ilaria Matteucci, Paolo Mori: Controlling Usage in Business Process Workflows through Fine-Grained Security Policies. TrustBus 2008: 100-117
67		Gabriele Lenzini, Fabio Martinelli, Ilaria Matteucci, Stefania Gnesi: A Uniform Approach to Security and Fault-Tolerance Specification and Analysis. WADS 2008: 172-201
66		Fabio Martinelli, Fabio Massacci, Paolo Mori, Christian Schaefer, Thomas Walter: Enhancing Java ME Security Support with Resource Usage Monitoring. ERCIM News 2008(75): (2008)
65		Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi: Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks. J. Autom. Reasoning 41(3-4): 325-364 (2008)
	2007
64		Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider: Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers Springer 2007
63		Maurizio Colombo, Fabio Martinelli, Paolo Mori, Anna Vaccarelli: Extending the Globus Architecture with Role-Based Trust Management. EUROCAST 2007: 448-456
62		Fabio Martinelli, Paolo Mori: Enhancing Java Security with History Based Access Control. FOSAD 2007: 135-159
61		Maurizio Colombo, Fabio Martinelli, Paolo Mori, Marinella Petrocchi, Anna Vaccarelli: Fine Grained Access Control with Trust and Reputation Management for Globus. OTM Conferences (2) 2007: 1505-1515
60		Fabio Martinelli, Paolo Mori: A model for usage control in GRID systems. SecureComm 2007: 169-175
59		Fabio Martinelli: A model for usage control in GRID systems. SecureComm 2007: 520
58		Fabio Martinelli, Ilaria Matteucci: Synthesis of Web Services Orchestrators in a Timed Setting. WS-FM 2007: 124-138
57		Maurice H. ter Beek, Stefania Gnesi, Fabio Martinelli, Franco Mazzanti, Marinella Petrocchi: Formal Modelling and Verification in Service-Oriented Computing. ERCIM News 2007(70): (2007)
56		Fabio Martinelli, Marinella Petrocchi: On Relating and Integrating Two Trust Management Frameworks. Electr. Notes Theor. Comput. Sci. 168: 191-205 (2007)
55		Fabio Martinelli, Ilaria Matteucci: An Approach for the Specification, Verification and Synthesis of Secure Systems. Electr. Notes Theor. Comput. Sci. 168: 29-43 (2007)
54		Fabio Martinelli, Ilaria Matteucci: Through Modeling to Synthesis of Security Automata. Electr. Notes Theor. Comput. Sci. 179: 31-46 (2007)
53		Fabio Martinelli, Marinella Petrocchi: A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS. Electr. Notes Theor. Comput. Sci. 186: 85-99 (2007)
52		Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider: Guest Editors' Preface. Int. J. Inf. Sec. 6(2-3): 65-66 (2007)
51		Fabio Martinelli, Alistair Sinclair, Dror Weitz: Fast mixing for independent sets, colorings, and other models on trees. Random Struct. Algorithms 31(2): 134-172 (2007)
	2006
50		Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers Springer 2006
49		Ketil Stølen, William H. Winsborough, Fabio Martinelli, Fabio Massacci: Trust Management, 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006, Proceedings Springer 2006
48		Hristo Koshutanski, Fabio Martinelli, Paolo Mori, Anna Vaccarelli: Fine-grained and History-based Access Control with Trust Management for Autonomic Grid Services. ICAS 2006: 34
47		Hristo Koshutanski, Fabio Martinelli, Paolo Mori, Luca Borz, Anna Vaccarelli: A Fine-Grained and X.509-Based Access Control System for Globus. OTM Conferences (2) 2006: 1336-1350
46		Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi: A Formalization of Credit and Responsibility Within the GNDC Schema. Electr. Notes Theor. Comput. Sci. 157(3): 61-78 (2006)
45		Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: Formal analysis of some secure procedures for certificate delivery. Softw. Test., Verif. Reliab. 16(1): 33-59 (2006)
	2005
44		Theodosis Dimitrakos, Fabio Martinelli: Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France Springer 2005
43		Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli: Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures Springer 2005
42		Fabio Martinelli: Towards an Integrated Formal Analysis for Security and Trust. FMOODS 2005: 115-130
41		Fabio Martinelli, Paolo Mori, Anna Vaccarelli: Towards Continuous Usage Control on Grid Computational Services. ICAS/ICNS 2005: 82
40		Fabio Dianda, Filippo Giuntini, Fabio Martinelli, Anna Vaccarelli: A Flexible Framework for Access Control Based on Ability Authentication. SAINT Workshops 2005: 106-109
39		Fabrizio Baiardi, Alessandro Falleni, Riccardo Granchi, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: SEAS, a secure e-voting protocol: Design and implementation. Computers & Security 24(8): 642-652 (2005)
38		Stefania Gnesi, Gabriele Lenzini, Fabio Martinelli: Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking. Electr. Notes Theor. Comput. Sci. 118: 57-70 (2005)
37		Nadia Busi, Roberto Gorrieri, Fabio Martinelli: Preface. Electr. Notes Theor. Comput. Sci. 121: 1-2 (2005)
36		Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli: Relating multiset rewriting and process algebras for security protocol analysis. Journal of Computer Security 13(1): 3-47 (2005)
35		Roberto Gorrieri, Fabio Martinelli: Theoretical foundations of security analysis and design II. Theor. Comput. Sci. 340(1): 1-2 (2005)
	2004
34		Fabrizio Baiardi, Fabio Martinelli, Paolo Mori, Anna Vaccarelli: Improving Grid Services Security with Fine Grain Policies. OTM Workshops 2004: 123-134
33		Fabio Martinelli, Alistair Sinclair, Dror Weitz: Fast mixing for independent sets, colorings and other models on trees. SODA 2004: 456-465
32		Stefania Gnesi, Gabriele Lenzini, Fabio Martinelli: Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability. Electr. Notes Theor. Comput. Sci. 99: 111-126 (2004)
31		Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci: Automated analysis of timed security: a case study on web privacy. Int. J. Inf. Sec. 2(3-4): 168-186 (2004)
30		Roberto Gorrieri, Fabio Martinelli: A simple framework for real-time cryptographic protocol analysis with compositional proof rules. Sci. Comput. Program. 50(1-3): 23-49 (2004)
	2003
29		Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: Compositional Verification of Integrity for Digital Stream Signature Protocols. ACSD 2003: 142-149
28		Roberto Gorrieri, Enrico Locatelli, Fabio Martinelli: A Simple Language for Real-Time Cryptographic Protocol Analysis. ESOP 2003: 114-128
27		Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Roberto Marangoni, Fabio Martinelli: On Representing Biological Systems through Multiset Rewriting. EUROCAST 2003: 415-426
26		Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: Formal Anaylsis of Some Timed Security Properties in Wireless Protocols. FMOODS 2003: 139-154
25		Fabio Martinelli, Alistair Sinclair, Dror Weitz: The Ising Model on Trees: Boundary Conditions and Mixing Time. FOCS 2003: 628-639
24		Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: Compositional Verification of Secure Streamed Data: A Case Study with EMSS. ICTCS 2003: 383-396
23		Fabrizio Baiardi, Alessandro Falleni, Riccardo Granchi, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: SEAS: A Secure E-Voting Applet System. ISSS 2003: 318-329
22		Roberto Gorrieri, Fabio Martinelli: Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols. MFCS 2003: 46-67
21		Fabio Martinelli: Symbolic Partial Model Checking for Security Analysis. MMM-ACNS 2003: 122-134
20		Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli: Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols. MMM-ACNS 2003: 86-99
19		Giampaolo Bella, Stefano Bistarelli, Fabio Martinelli: Biometrics to Enhance Smartcard Security. Security Protocols Workshop 2003: 324-332
18		Fabio Martinelli: Biometrics to Enhance Smartcard Security (Discussion). Security Protocols Workshop 2003: 333-335
17		Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Real-time information flow analysis. IEEE Journal on Selected Areas in Communications 21(1): 20-35 (2003)
16		Fabio Martinelli: Analysis of security protocols as open systems. Theor. Comput. Sci. 290(1): 1057-1106 (2003)
15		Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: A comparison of three authentication properties. Theor. Comput. Sci. 291(3): 285-327 (2003)
	2002
14		Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Classification of Security Properties - Part II: Network Security. FOSAD 2002: 139-185
13		Fabio Martinelli: About Compositional Analysis of Pi-Calculus Processes. IFIP TCS 2002: 524-536
12		Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: Automated Analysis of Some Security Mechanisms of SCEP. ISC 2002: 414-427
11		Fabio Martinelli: Symbolic Semantics and Analysis for Crypto-CCS with (Almost) Generic Inference Systems. MFCS 2002: 519-531
	2001
10		Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Techniques for Security Checking: Non-Interference vs Control Flow Analysis. Electr. Notes Theor. Comput. Sci. 62: 211-228 (2001)
9		Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci: Formal Models of Timing Attacks on Web Privacy. Electr. Notes Theor. Comput. Sci. 62: 229-243 (2001)
	2000
8		Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Message Authentication through Non Interference. AMAST 2000: 258-272
7		Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Information Flow Analysis in a Discrete-Time Process Algebra. CSFW 2000: 170-184
6		Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Non Interference for the Analysis of Cryptographic Protocols. ICALP 2000: 354-372
5		Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Secrecy in Security Protocols as Non Interference. Electr. Notes Theor. Comput. Sci. 32: 101-112 (2000)
	1999
4		Davide Marchignoli, Fabio Martinelli: Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques. TACAS 1999: 148-162
3		Riccardo Focardi, Fabio Martinelli: A Uniform Approach for the Definition of Security Properties. World Congress on Formal Methods 1999: 794-813
	1998
2		Fabio Martinelli: Partial Model Checking and Theorem Proving for Ensuring Security Properties. CSFW 1998: 44-52
1		Fabio Martinelli: An Improvement of Algorithms for Solving Interface Equations. Inf. Process. Lett. 67(4): 185-190 (1998)

Coauthor Index

1	Alessandro Aldini	[43]
2	Giuseppe Amato	[81]
3	Claudio Agostino Ardagna	[86]
4	Álvaro Enrique Arenas (Alvaro E. Arenas, Alvaro Arenas)	[68] [69] [82]
5	Benjamin Aziz	[68] [69] [82]
6	Fabrizio Baiardi	[23] [34] [39]
7	Massimo Bartoletti	[76]
8	Maurice H. ter Beek	[57]
9	Giampaolo Bella	[19]
10	Stefano Bistarelli	[19] [20] [27] [36] [73] [74] [102]
11	Lorenzo Blasi	[69]
12	Chiara Bodei	[10]
13	Paolo Bolettieri	[81]
14	Luca Borz	[47]
15	Nadia Busi	[37]
16	Levente Buttyán	[93]
17	Stefano Campanelli	[71]
18	Pietro Caputo	[106] [112]
19	Alessandro Castrucci	[72]
20	Iliano Cervesato	[20] [27] [36]
21	Maurizio Colombo	[61] [63] [84] [95]
22	Giovanni Cortese	[69]
23	Gabriele Costa	[76] [81] [90] [91] [101] [103] [107] [110] [116]
24	Bruno Crispo	[99]
25	Pierpaolo Degano	[10] [76] [87] [103] [107] [116]
26	Fabio Dianda	[40]
27	Theodosis Dimitrakos (Theo Dimitrakos)	[44] [50] [52] [64] [78] [88]
28	László Dóra	[93]
29	Nicola Dragoni	[101]
30	Alessandro Falleni	[23] [39] [71]
31	Riccardo Focardi	[3] [5] [6] [7] [8] [9] [10] [14] [15] [17]
32	David Galvin	[105]
33	Gabriela Gheorghe	[99]
34	Filippo Giuntini	[40]
35	Stefania Gnesi	[32] [38] [57] [67]
36	Roberto Gorrieri	[5] [6] [7] [8] [9] [10] [14] [15] [17] [22] [26] [28] [29] [30] [31] [35] [37] [43] [46] [65] [79]
37	Riccardo Granchi	[23] [39]
38	Paolo Greci	[70]
39	Joshua D. Guttman	[87]
40	Valérie Issarny	[110]
41	Wouter Joosen	[111]
42	Georgios Karopoulos	[117]
43	Hristo Koshutanski	[47] [48] [77]
44	Leanid Krautsevich	[96] [97] [98] [100] [108] [109] [114] [115]
45	Ruggero Lanotte	[9] [31]
46	Aliaksandr Lazouski	[77] [84] [92] [95] [96] [97] [98] [101] [115]
47	Gabriele Lenzini	[20] [27] [32] [36] [38] [67]
48	Enrico Locatelli	[28]
49	Javier Lopez	[111]
50	Andrea Maggiolo-Schettini	[9] [31]
51	Roberto Marangoni	[27]
52	Davide Marchignoli	[4]
53	Fabio Massacci	[49] [66] [101] [111]
54	Philippe Massonet	[69]
55	Ilaria Matteucci	[54] [55] [58] [67] [68] [70] [75] [79] [83] [101] [110]
56	Franco Mazzanti	[57]
57	Paolo Mori	[34] [41] [47] [48] [60] [61] [62] [63] [66] [68] [69] [72] [77] [84] [89] [90] [91] [92] [95] [96] [99] [113] [117]
58	Charles Morisset	[114] [118]
59	Syed Naqvi	[69]
60	Marinella Petrocchi	[12] [23] [24] [26] [29] [39] [45] [46] [53] [56] [57] [61] [65] [71] [85] [93]
61	Bart Preneel	[104]
62	Kavita Ramanan	[105]
63	Francesco Roperti	[72]
64	Peter Y. A. Ryan (Peter Ryan)	[50] [52] [64]
65	Rachid Saadi	[110]
66	Pierangela Samarati	[86]
67	Francesco Santini	[73] [74] [102]
68	Christian Schaefer	[66] [91]
69	Steve A. Schneider (Steve Schneider)	[50] [52] [64]
70	Bruce Schneier	[88]
71	Alistair Sinclair	[25] [33] [51] [80] [94]
72	Federico Stagni	[82]
73	Ketil Stølen	[49]
74	Prasad Tetali	[105]
75	Simone Tini	[9] [31]
76	Fabio Lucio Toninelli	[106] [112]
77	Francesco La Torre	[81] [90]
78	Enrico Tronci	[9] [31]
79	Anna Vaccarelli	[12] [23] [24] [26] [29] [34] [39] [40] [41] [45] [47] [48] [61] [63] [71]
80	Thomas Walter	[66] [91]
81	Dror Weitz	[25] [33] [51]
82	William H. Winsborough	[49]
83	Artsiom Yautsiukhin	[96] [97] [98] [100] [108] [109] [114] [115]
84	Moti Yung (Mordechai M. Yung)	[86]
85	Roberto Zunino	[76]

Colors in the list of coauthors

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