Michele Boreale
Michele Boreale
Verified email at unifi.it - Homepage
Title
Cited by
Cited by
Year
Symbolic trace analysis of cryptographic protocols
M Boreale
International Colloquium on Automata, Languages, and Programming, 667-681, 2001
2212001
SCC: A Service Centered Calculus
M Boreale, R Bruni, L Caires, R De Nicola, I Lanese, M Loreti, F Martins, ...
International Workshop on Web Services and Formal Methods, 38-57, 2006
2072006
Proof techniques for cryptographic processes
M Boreale, R De Nicola, R Pugliese
SIAM Journal on Computing 31 (3), 947-986, 2001
1852001
Sessions and pipelines for structured service programming
M Boreale, R Bruni, R De Nicola, M Loreti
International Conference on Formal Methods for Open Object-Based Distributed …, 2008
1572008
Testing equivalence for mobile processes
M Boreale, R Denicola
Information and Computation 120 (2), 279-303, 1995
1441995
A fully abstract semantics for causality in the -calculus
M Boreale, D Sangiorgi
Acta Informatica 35 (5), 353-400, 1998
1381998
On the expressiveness of internal mobility in name-passing calculi
M Boreale
Theoretical Computer Science 195 (2), 205-226, 1998
901998
A Symbolic Semantics for the π-Calculus
M Boreale, R De Nicola
Information and Computation 126 (1), 34-52, 1996
851996
Bisimulation in name-passing calculi without matching
M Boreale, D Sangiorgi
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998
771998
Trace and testing equivalence on asynchronous processes
M Boreale, R De Nicola, R Pugliese
Information and Computation 172 (2), 139-164, 2002
652002
A Framework for the Analysis of Security Protocols*
M Boreale, MG Buscemi
International Conference on Concurrency Theory, 483-498, 2002
602002
A coalgebraic perspective on linear weighted automata
F Bonchi, M Bonsangue, M Boreale, J Rutten, A Silva
Information and Computation 211, 77-105, 2012
562012
A type system for client progress in a service-oriented calculus
L Acciai, M Boreale
Concurrency, Graphs and Models, 642-658, 2008
532008
Some congruence properties for π-calculus bisimilarities
M Boreale, D Sangiorgi
Theoretical Computer Science 198 (1-2), 159-176, 1998
521998
Experimenting with STA, a tool for automatic analysis of security protocols
M Boreale, MG Buscemi
Proceedings of the 2002 ACM symposium on Applied computing, 281-285, 2002
492002
Quantifying information leakage in process calculi
M Boreale
Information and Computation 207 (6), 699-725, 2009
452009
Asymptotic information leakage under one-try attacks
M Boreale, F Pampaloni, M Paolini
International Conference on Foundations of Software Science and …, 2011
372011
Quantifying information leakage in process calculi
M Boreale
International Colloquium on Automata, Languages, and Programming, 119-131, 2006
372006
Weighted bisimulation in linear algebraic form
M Boreale
International Conference on Concurrency Theory, 163-177, 2009
362009
Basic observables for processes
M Boreale, R Pugliese
Information and Computation 149 (1), 77-98, 1999
341999
The system can't perform the operation now. Try again later.
Articles 1–20