Segui
Michele Boreale
Michele Boreale
Università di Firenze, DiSIA
Email verificata su unifi.it - Home page
Titolo
Citata da
Citata da
Anno
Symbolic trace analysis of cryptographic protocols
M Boreale
International Colloquium on Automata, Languages, and Programming, 667-681, 2001
2182001
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
2102006
Proof techniques for cryptographic processes
M Boreale, R De Nicola, R Pugliese
SIAM Journal on Computing 31 (3), 947-986, 2001
1882001
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
A fully abstract semantics for causality in the-calculus
M Boreale, D Sangiorgi
Acta Informatica 35 (5), 353-400, 1998
1451998
Testing equivalence for mobile processes
M Boreale, R Denicola
Information and Computation 120 (2), 279-303, 1995
1271995
On the expressiveness of internal mobility in name-passing calculi
M Boreale
Theoretical computer science 195 (2), 205-226, 1998
1021998
A Symbolic Semantics for the π-Calculus
M Boreale, R De Nicola
Information and Computation 126 (1), 34-52, 1996
891996
A coalgebraic perspective on linear weighted automata
F Bonchi, M Bonsangue, M Boreale, J Rutten, A Silva
Information and Computation 211, 77-105, 2012
732012
Bisimulation in name-passing calculi without matching
M Boreale, D Sangiorgi
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998
731998
Trace and testing equivalence on asynchronous processes
M Boreale, R De Nicola, R Pugliese
Information and Computation 172 (2), 139-164, 2002
692002
A Framework for the Analysis of Security Protocols*
M Boreale, MG Buscemi
International Conference on Concurrency Theory, 483-498, 2002
622002
A type system for client progress in a service-oriented calculus
L Acciai, M Boreale
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the …, 2008
542008
Some congruence properties for π-calculus bisimilarities
M Boreale, D Sangiorgi
Theoretical Computer Science 198 (1-2), 159-176, 1998
541998
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
512002
Weighted bisimulation in linear algebraic form
M Boreale
International Conference on Concurrency Theory, 163-177, 2009
482009
Quantifying information leakage in process calculi
M Boreale
Information and Computation 207 (6), 699-725, 2009
472009
Asymptotic information leakage under one-try attacks
M Boreale, F Pampaloni, M Paolini
Foundations of Software Science and Computational Structures: 14th …, 2011
382011
Quantifying information leakage in process calculi
M Boreale
Automata, Languages and Programming: 33rd International Colloquium, ICALP …, 2006
372006
Basic observables for processes
M Boreale, R Pugliese
Information and Computation 149 (1), 77-98, 1999
351999
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20