Concepedia

Michele Boreale

MB

21

Publications

879

Citations

16

H-Index

1995

Active since

Affiliations

University of Florence(Current)

Sapienza University of Rome

Institut national de recherche en sciences et technologies du numérique

University of Pisa

IMT School for Advanced Studies Lucca

Michele Boreale is an author at University of Florence specializing in engineering, formal methods, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningSoftware AnalysisVerificationCryptographyData SecurityProgram Analysis

Publications per year

1995–2020

21

Publications

21

On the expressiveness of internal mobility in name-passing calculi

Michele Boreale · Theoretical Computer Science · 1998 · 91 citations

Programming Language Theory, Formal Language, Engineering +8

Testing Equivalence for Mobile Processes

Michele Boreale, R. Denicola · Information and Computation · 1995 · 90 citations

Mobile Processes, Engineering, Runtime Verification +8

Proof Techniques for Cryptographic Processes

Michele Boreale, Rocco De Nicola, Rosario Pugliese · SIAM Journal on Computing · 2001 · 87 citations

Engineering, Information Security, Verification +21

Proof techniques for cryptographic processes

Michele Boreale, Rocco De Nicola, Rosario Pugliese · 2003 · 66 citations

Cryptographic Primitive, Engineering, Information Security +22

A fully abstract semantics for causality in the $\pi$ -calculus

Michele Boreale, Davide Sangiorgi · Acta Informatica · 1998 · 65 citations

Formal Semantics, Abstract Semantics, Automated Reasoning +7

Rows per page

1–5 of 21