Följ
Michele Boreale
Michele Boreale
Università di Firenze, DiSIA
Verifierad e-postadress på unifi.it - Startsida
Titel
Citeras av
Citeras av
År
Symbolic trace analysis of cryptographic protocols
M Boreale
International Colloquium on Automata, Languages, and Programming, 667-681, 2001
2142001
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
1912001
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
1562008
A fully abstract semantics for causality in the π-calculus
M Boreale, D Sangiorgi
Annual Symposium on Theoretical Aspects of Computer Science, 243-254, 1995
1471995
Testing equivalence for mobile processes
M Boreale, R Denicola
Information and Computation 120 (2), 279-303, 1995
1281995
On the expressiveness of internal mobility in name-passing calculi
M Boreale
Theoretical computer science 195 (2), 205-226, 1998
991998
A Symbolic Semantics for the π-Calculus
M Boreale, R De Nicola
Information and Computation 126 (1), 34-52, 1996
881996
A coalgebraic perspective on linear weighted automata
F Bonchi, M Bonsangue, M Boreale, J Rutten, A Silva
Information and Computation 211, 77-105, 2012
742012
Bisimulation in name-passing calculi without matching
M Boreale, D Sangiorgi
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998
741998
Trace and testing equivalence on asynchronous processes
M Boreale, R De Nicola, R Pugliese
Information and Computation 172 (2), 139-164, 2002
712002
A Framework for the Analysis of Security Protocols*
M Boreale, MG Buscemi
International Conference on Concurrency Theory, 483-498, 2002
612002
Some congruence properties for π-calculus bisimilarities
M Boreale, D Sangiorgi
Theoretical Computer Science 198 (1-2), 159-176, 1998
561998
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
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
472009
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
382006
Basic observables for processes
M Boreale, R Pugliese
Information and Computation 149 (1), 77-98, 1999
351999
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20