2nd Meeting: January 30th 2026, @Inria Paris
Program (Friday 30/01/2026) Location Where: Inria Paris, 48 rue Barrault, Paris 13éme.How to come: instructions.Room for talks: Anita Borg, 1st floor.Room for coffee and lunch: Euler, 3rd floor. Abstracts Raphaelle CrubilleTitle: On higher-order cryptographic primitives(joint work with Ugo Dal Lago and Boaz Barak)Abstract:Type-two constructions abound in cryptography: adversaries for encryption…