- On the versatility of open
logical relations - continuity, automatic differentiation, and a containment theorem. G. Barthe, R. Crubillé, U. D. Lago, and F. Gavazzo. ESOP, 2020.
(long version).
- On higher-order cryptography. B. Barak, R. Crubillé, and U. D. Lago, ICALP, 2020.
(long version).
-
Probabilistic stable functions on discrete cones are power series. Raphaëlle Crubillé. LICS 2018.
(long version).
-
Metric Reasoning About λ-Terms: The General Case. Raphaëlle Crubillé, Ugo Dal Lago. ESOP 2017
(long version).
-
The Free Exponential Modality of Probabilistic Coherence Spaces.
Raphaëlle Crubillé, Thomas Ehrhard, Michele Pagani, Christine Tasson.
FoSSaCS 2017
-
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
(long version).
-
On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi.
Raphaëlle Crubillé, Ugo Dal Lago. ESOP 2014.
(long version).
- December 18, 2020, LIPN Seminar,
On higher-order cryptography
- Janvier 21, 2020, Comete (LIX) Seminar,
On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem
- June 29-30, 2019, TLLA invited talk,
Stable semantics of probabilistic higher-order programs
- Oct. 23, 2017, Second General Meeting of GDRI-LL,
The free exponential modality of probabilistic coherence spaces
- June 13.2017,
REPAS (REliable and Privacy-Aware Software systems) Workshop,
Toward Higher-order Cryptography.
- Jan. 14, 2016, Curry Howard: Logic and Computation, Metric reasoning about lambda-terms
- Mar. 24, 2015, Groupe de travail Sémantique,
Metric reasoning about lambda-terms : the affine case
- 2015, Lambda-Calculus, Metrics, and Computationnal Indistinguishability, Supervisor: Ugo Dal Lago, Universita di Bologna (10 months)
- 2014, Modélisation Formelle de protocoles distance-bounding RFID , Supervisor: Kostas Chatzikokolakis (LIX, École Polytechnique), Myrto Arapinis (LFCS, University of Edimburgh) (4 months).
- 2013, On Notions of Equivalence for Probabilistic Lambda-Calculi, Supervisor: Ugo Dal Lago, Universita di Bologna (3 months)
- 2012, Décompilation par évaluation : Application à la génération de Javascrip, Supervisor: Vincent Balat, IRILL (Initiative de Recherche et d'Innovation sur les Logiciels Libres), INRIA (6 weeks)