On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi. - Raphaëlle Crubillé; Ugo Dal Lago (ESOP, 2014)

On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi (Long Version). - Raphaëlle Crubillé; Ugo Dal Lago (CoRR, 2014)

On Applicative Similarity, Sequentiality, and Full Abstraction. - Raphaëlle Crubillé; Ugo Dal Lago; Davide Sangiorgi; Valeria Vignudelli (Correct System Design, 2015)

Metric Reasoning about λ-Terms: The Affine Case. - Raphaëlle Crubillé; Ugo Dal Lago (LICS, 2015)

Metric Reasoning about λ-Terms: the Affine Case (Long Version). - Raphaëlle Crubillé; Ugo Dal Lago (CoRR, 2015)

Metric Reasoning About lambda -Terms: The General Case. - Raphaëlle Crubillé; Ugo Dal Lago (ESOP, 2017)

The Free Exponential Modality of Probabilistic Coherence Spaces. - Raphaëlle Crubillé; Thomas Ehrhard; Michele Pagani; Christine Tasson (FoSSaCS, 2017)

Metric Reasoning About λ-Terms: The General Case (Long Version). - Raphaëlle Crubillé; Ugo Dal Lago (CoRR, 2017)

Probabilistic Stable Functions on Discrete Cones are Power Series. - Raphaëlle Crubillé (LICS, 2018)

Probabilistic Stable Functions on Discrete Cones are Power Series (long version). - Raphaëlle Crubillé (CoRR, 2018)

Behavioural distances for probabilistic higher-order programs. (Distances comportementales pour des programmes probabilistes d'ordre supérieur). - Raphaëlle Crubillé (2019)

On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem. - Gilles Barthe; Raphaëlle Crubillé; Ugo Dal Lago; Francesco Gavazzo (ESOP, 2020)

On Higher-Order Cryptography. - Boaz Barak; Raphaëlle Crubillé; Ugo Dal Lago (ICALP, 2020)

On Higher-Order Cryptography (Long Version). - Boaz Barak; Raphaëlle Crubillé; Ugo Dal Lago (CoRR, 2020)

Symbolic protocol verification with dice: process equivalences in the presence of probabilities. - Vincent Cheval; Raphaëlle Crubillé; Steve Kremer (CSF, 2022)

On Feller Continuity and Full Abstraction (Long Version). - Gilles Barthe; Raphaëlle Crubillé; Ugo Dal Lago; Francesco Gavazzo (CoRR, 2022)

On Feller continuity and full abstraction. - Gilles Barthe; Raphaëlle Crubillé; Ugo Dal Lago; Francesco Gavazzo (Proc. ACM Program. Lang., 2022)

Symbolic protocol verification with dice. - Vincent Cheval; Raphaëlle Crubillé; Steve Kremer (J. Comput. Secur., 2023)