M
Michele Boreale
Researcher at University of Florence
Publications - 104
Citations - 2230
Michele Boreale is an academic researcher from University of Florence. The author has contributed to research in topics: Process calculus & Bisimulation. The author has an hindex of 23, co-authored 99 publications receiving 2178 citations. Previous affiliations of Michele Boreale include Sapienza University of Rome.
Papers
More filters
Book ChapterDOI
Symbolic Trace Analysis of Cryptographic Protocols
TL;DR: This paper proves that the symbolic and the conventional semantics are in full agreement, and gives a method by which trace analysis can be carried out directly on the symbolic model and is proven to be complete for the considered class of properties and is amenable to automatic checking.
Book ChapterDOI
SCC: a service centered calculus
Michele Boreale,Roberto Bruni,Luís Caires,R. De Nicola,Ivan Lanese,Michele Loreti,Francisco Martins,Ugo Montanari,António Ravara,Davide Sangiorgi,Vasco T. Vasconcelos,Gianluigi Zavattaro +11 more
TL;DR: This study introduces SCC, a process calculus that features explicit notions of service definition, service invocation and session handling, and presents syntax and operational semantics of SCC and a number of simple but nontrivial programming examples that demonstrate flexibility of the chosen set of primitives.
Book ChapterDOI
Sessions and Pipelines for Structured Service Programming
TL;DR: The main result shows that in CaSPiS it is possible to program a "graceful termination" of nested sessions, which guarantees that no session is forced to hang forever after the loss of its partner.
Proceedings ArticleDOI
Proof techniques for cryptographic processes
TL;DR: An 'environment-sensitive' labelled transition system is developed, where transitions are constrained by the knowledge the environment has of names and keys, and a trace equivalence and a co-inductive weak bisimulation equivalence are defined, both of which avoid quantification over contexts.
Journal ArticleDOI
Testing Equivalence for Mobile Processes
Michele Boreale,R. Denicola +1 more
TL;DR: The impact of applying the testing approach to a calculus of processes with dynamic communication topology is investigated and a fully abstract denotational model for the language is presented that takes advantage of reductions of processes to normal forms.