Michele Boreale

Michele Boreale

Università degli Studi di Firenze - Firenze / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 1809154
University of Florence
person_outline Michele Boreale's MOST POPULAR ARTICLES
1-) Symbolic trace analysis of cryptographic protocolsM BorealeInternational Colloquium on Automata, Languages, and Programming, 667-681, 20012202001
2-) SCC: a service centered calculusM Boreale, R Bruni, L Caires, R De Nicola, I Lanese, M Loreti, F Martins, ...International Workshop on Web Services and Formal Methods, 38-57, 20062042006
3-) Proof techniques for cryptographic processesM Boreale, R De Nicola, R PuglieseSIAM Journal on Computing 31 (3), 947-986, 20011792001
4-) Sessions and pipelines for structured service programmingM Boreale, R Bruni, R De Nicola, M LoretiInternational Conference on Formal Methods for Open Object-Based Distributed …, 20081572008
5-) A fully abstract semantics for causality in the-calculusM Boreale, D SangiorgiActa Informatica 35 (5), 353-400, 19981451998