BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × France
1 × Germany
1 × Japan
1 × Spain
1 × The Netherlands
1 × USA
2 × Greece
2 × Portugal
3 × Italy
Collaborated with:
R.D.Nicola R.Pugliese L.Acciai D.Gorla M.G.Buscemi D.Sangiorgi F.Pampaloni M.Paolini G.Zavattaro S.Dal-Zilio
Talks about:
process (4) calculus (3) analysi (3) cryptograph (2) asynchron (2) protocol (2) calculi (2) observ (2) leakag (2) inform (2)

Person: Michele Boreale

DBLP DBLP: Boreale:Michele

Contributed to:

ICALP (2) 20152015
FOSSACS 20112011
FOSSACS 20102010
ICALP (2) 20092009
ESOP 20072007
ICALP (2) 20062006
FoSSaCS 20022002
SAC 20022002
ICALP 20012001
FoSSaCS 19991999
LICS 19991999
FoSSaCS 19981998
LICS 19981998
ICALP 19971997

Wrote 14 papers:

ICALP-v2-2015-Boreale #analysis #approximate #generative #probability
Analysis of Probabilistic Systems via Generating Functions and Padé Approximation (MB), pp. 82–94.
FoSSaCS-2011-BorealePP #information management
Asymptotic Information Leakage under One-Try Attacks (MB, FP, MP), pp. 396–410.
FoSSaCS-2010-AcciaiBZ #behaviour #logic #on the #simulation
On the Relationship between Spatial Logics and Behavioral Simulations (LA, MB, GZ), pp. 146–160.
ICALP-v2-2009-AcciaiB #behaviour #infinity #safety #π-calculus
Deciding Safety Properties in Infinite-State π-Calculus via Behavioural Types (LA, MB), pp. 31–42.
ESOP-2007-AcciaiBD #calculus #concurrent #transaction
A Concurrent Calculus with Atomic Transactions (LA, MB, SDZ), pp. 48–63.
ICALP-v2-2006-Boreale #calculus #information management #process
Quantifying Information Leakage in Process Calculi (MB), pp. 119–131.
FoSSaCS-2002-BorealeG #calculus #composition #on the #reasoning
On Compositional Reasoning in the Sπ-calculus (MB, DG), pp. 67–81.
SAC-2002-BorealeB #analysis #automation #protocol #security
Experimenting with STA, a tool for automatic analysis of security protocols (MB, MGB), pp. 281–285.
ICALP-2001-Boreale #analysis #encryption #protocol
Symbolic Trace Analysis of Cryptographic Protocols (MB), pp. 667–681.
FoSSaCS-1999-BorealeNP #formal method #testing
A Theory of “May” Testing for Asynchronous Languages (MB, RDN, RP), pp. 165–179.
LICS-1999-BorealeNP #encryption #process #proving
Proof Techniques for Cryptographic Processes (MB, RDN, RP), pp. 157–166.
FoSSaCS-1998-BorealeNP #process
Asynchronous Observations of Processes (MB, RDN, RP), pp. 95–109.
LICS-1998-BorealeS #bisimulation #calculus
Bisimulation in Name-Passing Calculi without Matching (MB, DS), pp. 165–175.
ICALP-1997-BorealeNP #process
Basic Observables for Processes (MB, RDN, RP), pp. 482–492.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.