Raphaëlle Crubillé

According to our database, Raphaëlle Crubillé authored at least 18 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Symbolic protocol verification with dice.

Vincent Cheval, Raphaëlle Crubillé, Steve Kremer

J. Comput. Secur., 2023

2022

On Feller continuity and full abstraction.

Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo

Proc. ACM Program. Lang., 2022

On Feller Continuity and Full Abstraction (Long Version).

Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo

CoRR, 2022

Symbolic protocol verification with dice: process equivalences in the presence of probabilities.

Vincent Cheval, Raphaëlle Crubillé, Steve Kremer

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

2020

On Higher-Order Cryptography (Long Version).

Boaz Barak, Raphaëlle Crubillé, Ugo Dal Lago

CoRR, 2020

On Higher-Order Cryptography.

Boaz Barak, Raphaëlle Crubillé, Ugo Dal Lago

Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem.

Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo

Proceedings of the Programming Languages and Systems, 2020

2019

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

Raphaëlle Crubillé

PhD thesis, 2019

2018

Probabilistic Stable Functions on Discrete Cones are Power Series (long version).

Raphaëlle Crubillé

CoRR, 2018

Probabilistic Stable Functions on Discrete Cones are Power Series.

Raphaëlle Crubillé

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017

Metric Reasoning About λ-Terms: The General Case (Long Version).

Raphaëlle Crubillé, Ugo Dal Lago

CoRR, 2017

The Free Exponential Modality of Probabilistic Coherence Spaces.

Raphaëlle Crubillé, Thomas Ehrhard, Michele Pagani, Christine Tasson

Proceedings of the Foundations of Software Science and Computation Structures, 2017

Metric Reasoning About \lambda -Terms: The General Case.

Raphaëlle Crubillé, Ugo Dal Lago

Proceedings of the Programming Languages and Systems, 2017

2015

Metric Reasoning about λ-Terms: the Affine Case (Long Version).

Raphaëlle Crubillé, Ugo Dal Lago

CoRR, 2015

Metric Reasoning about λ-Terms: The Affine Case.

Raphaëlle Crubillé, Ugo Dal Lago

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

On Applicative Similarity, Sequentiality, and Full Abstraction.

Raphaëlle Crubillé, Ugo Dal Lago, Davide Sangiorgi, Valeria Vignudelli

Proceedings of the Correct System Design, 2015

2014

On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi (Long Version).

Raphaëlle Crubillé, Ugo Dal Lago

CoRR, 2014

On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi.

Raphaëlle Crubillé, Ugo Dal Lago

Proceedings of the Programming Languages and Systems, 2014