Raphaëlle Crubillé

19 papers A* 3A 4B 1Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2023 J jnl
Symbolic protocol verification with dice.
J. Comput. Secur.
Vincent Cheval, Raphaëlle Crubillé, Steve Kremer
2022 J jnl
On Feller Continuity and Full Abstraction (Long Version).
CoRR
Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo
2022 J jnl
On Feller continuity and full abstraction.
Proc. ACM Program. Lang.
Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo
2022 A conf
Symbolic protocol verification with dice: process equivalences in the presence of probabilities.
CSF
Vincent Cheval, Raphaëlle Crubillé, Steve Kremer
2020 J jnl
On Higher-Order Cryptography (Long Version).
CoRR
Boaz Barak, Raphaëlle Crubillé, Ugo Dal Lago
2020 A* conf
On Higher-Order Cryptography.
ICALP
Boaz Barak, Raphaëlle Crubillé, Ugo Dal Lago
2020 A conf
On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem.
ESOP
Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo
2020 J jnl
On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem.
CoRR
Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo
2019 — —
Behavioural distances for probabilistic higher-order programs. (Distances comportementales pour des programmes probabilistes d'ordre supérieur).
Raphaëlle Crubillé
2018 J jnl
Probabilistic Stable Functions on Discrete Cones are Power Series (long version).
CoRR
Raphaëlle Crubillé
2018 A* conf
Probabilistic Stable Functions on Discrete Cones are Power Series.
LICS
Raphaëlle Crubillé
2017 A conf
Metric Reasoning About \lambda -Terms: The General Case.
ESOP
Raphaëlle Crubillé, Ugo Dal Lago
2017 J jnl
Metric Reasoning About λ-Terms: The General Case (Long Version).
CoRR
Raphaëlle Crubillé, Ugo Dal Lago
2017 B conf
The Free Exponential Modality of Probabilistic Coherence Spaces.
FoSSaCS
Raphaëlle Crubillé, Thomas Ehrhard, Michele Pagani, Christine Tasson
2015 A* conf
Metric Reasoning about λ-Terms: The Affine Case.
LICS
Raphaëlle Crubillé, Ugo Dal Lago
2015 J jnl
Metric Reasoning about λ-Terms: the Affine Case (Long Version).
CoRR
Raphaëlle Crubillé, Ugo Dal Lago
2015 — conf
On Applicative Similarity, Sequentiality, and Full Abstraction.
Correct System Design
Raphaëlle Crubillé, Ugo Dal Lago, Davide Sangiorgi, Valeria Vignudelli
2014 J jnl
On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi (Long Version).
CoRR
Raphaëlle Crubillé, Ugo Dal Lago
2014 A conf
On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi.
ESOP
Raphaëlle Crubillé, Ugo Dal Lago