Raphaëlle Crubillé

  • Home
  • Research
  • Teaching
  • CV

Publications

  • 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).

Talks

  • 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

Stages

  • 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)