https://charlie.jacomme.fr/publication-type/1/2026-04-02T16:13:09+02:00https://charlie.jacomme.fr/publication/arapinis-2026-ideal/2026-04-02T16:13:09+02:00https://charlie.jacomme.fr/authors/2026-04-02T16:19:00+02:00https://charlie.jacomme.fr/author/charlie-jacomme/2026-04-02T16:13:09+02:00https://charlie.jacomme.fr/2026-04-02T16:19:00+02:00https://charlie.jacomme.fr/author/hubert-de-groote/2026-04-02T16:13:09+02:00https://charlie.jacomme.fr/author/myrto-arapinis/2026-04-02T16:13:09+02:00https://charlie.jacomme.fr/publication_types/2026-04-02T16:13:09+02:00https://charlie.jacomme.fr/author/steve-kremer/2026-04-02T16:13:09+02:00https://charlie.jacomme.fr/author/veronique-cortier/2026-04-02T16:13:09+02:00https://charlie.jacomme.fr/author/cristina-onete/2025-09-08T14:20:52+02:00https://charlie.jacomme.fr/author/guilhem-niot/2025-09-08T14:20:52+02:00https://charlie.jacomme.fr/author/kevin-duverger/2025-09-08T14:20:52+02:00https://charlie.jacomme.fr/author/pierre-alain-fouque/2025-09-08T14:20:52+02:00https://charlie.jacomme.fr/publication/duvergerhal-05242187/2025-09-08T14:20:52+02:00https://charlie.jacomme.fr/author/cas-cremers/2025-09-08T14:20:52+02:00https://charlie.jacomme.fr/author/eyal-ronen/2025-09-08T14:20:52+02:00https://charlie.jacomme.fr/author/gal-horowitz/2025-09-08T14:20:52+02:00https://charlie.jacomme.fr/publication/cremers-2025-token/2025-09-08T14:20:52+02:00https://charlie.jacomme.fr/positions/positions/2025-10-14T17:02:27+02:00https://charlie.jacomme.fr/positions/2025-10-14T17:02:27+02:00https://charlie.jacomme.fr/project/2025-01-16T16:31:09+01:00https://charlie.jacomme.fr/project/booklet/2025-01-16T16:31:09+01:00https://charlie.jacomme.fr/author/bruno-blanchet/2024-06-07T10:39:40+02:00https://charlie.jacomme.fr/publication/bjks-usenix-24/2024-06-07T10:46:00+02:00https://charlie.jacomme.fr/author/franziskus-kiefer/2024-06-07T10:46:00+02:00https://charlie.jacomme.fr/author/karthikeyan-bhargavan/2024-06-07T10:46:00+02:00https://charlie.jacomme.fr/publication/bj-csf-24/2024-06-07T10:39:40+02:00https://charlie.jacomme.fr/author/rolfe-schmidt/2024-06-07T10:46:00+02:00https://charlie.jacomme.fr/project/signal/2023-10-21T09:37:35+02:00https://charlie.jacomme.fr/publication/jkkr-usenix-23/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/author/alexander-dax/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/author/aurora-naska/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/publication/aead-usenix-23/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/author/charlie-jacome/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/author/elise-klein/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/publication/sesame/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/publication/cheval-2023-hash/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/author/lucca-hirschi/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/author/mang-zhao/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/author/maiwenn-racouchot/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/author/philip-lukert/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/publication/cjl-csf-23/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/author/vincent-cheval/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/publication/cfj-sp-22/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/author/caroline-fontaine/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/author/robert-kunnemann/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/publication/cheval-2022-sapic/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/publication-type/2/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/tag/decidability-and-complexity/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/tag/finite-fields/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/author/gilles-barthe/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/tag/probabilistic-programs/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/tag/program-equivalence/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/tags/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/publication/bjk-tocl/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/project/squirrelprover/2021-04-30T11:12:12+02:00https://charlie.jacomme.fr/author/adrien-koutsos/2021-12-12T13:00:23+01:00https://charlie.jacomme.fr/publication/jacomme-2021-extensive/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/publication/bdkjm-sp-21/2021-12-12T13:00:23+01:00https://charlie.jacomme.fr/author/david-baelde/2021-12-12T13:00:23+01:00https://charlie.jacomme.fr/author/solene-moreau/2021-12-12T13:00:23+01:00https://charlie.jacomme.fr/author/stephanie-delaune/2021-12-12T13:00:23+01:00https://charlie.jacomme.fr/post/keithnotes/2021-04-30T11:12:12+02:00https://charlie.jacomme.fr/author/guillaume-scerri/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/author/hubert-comon/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/publication/cjs-ccs-20/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/teaching/teaching/2020-12-23T12:17:17+01:00https://charlie.jacomme.fr/teaching/2020-12-23T12:17:17+01:00https://charlie.jacomme.fr/publication-type/7/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/tag/computer-security-formal-methods-protocols-symbolic-methods-computational-model/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/publication/thesis/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/publication/bjk-lics-20/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/talk/compo20/2020-10-27T10:17:59+01:00https://charlie.jacomme.fr/talk/ntd19/2020-10-27T10:17:59+01:00https://charlie.jacomme.fr/author/benjamin-gregoire/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/author/pierre-yves-strub/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/publication/bgjks-csf-19/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/talk/mfs19/2020-10-27T10:17:59+01:00https://charlie.jacomme.fr/talk/ejcim18/2020-10-27T10:17:59+01:00https://charlie.jacomme.fr/author/elaine-shi/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/author/joshua-gancher/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/publication/jk-ccs-18/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/author/xiong-fan/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/talk/fosad18/2020-10-27T10:17:59+01:00https://charlie.jacomme.fr/publication/jk-csf-18/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/talk/csf18/2020-10-27T10:17:59+01:00https://charlie.jacomme.fr/publication/jks-eurosp-17/2023-09-20T14:25:22+02:00https://charlie.jacomme.fr/categories/https://charlie.jacomme.fr/author/charlie-jacomme/2026-04-02T16:19:00+02:00https://charlie.jacomme.fr/author/charlie-jacomme/2026-04-02T16:19:00+02:00https://charlie.jacomme.fr/publication/2020-10-22T10:58:26+02:00https://charlie.jacomme.fr/talk/2020-10-27T10:17:59+01:00https://charlie.jacomme.fr/post/2020-12-19T16:50:57+01:00