Skip to Main content Skip to Navigation

hal-03120781v1  Conference papers
Boaz BarakRaphaëlle CrubilléUgo Dal Lago. On Higher-Order Cryptography
ICALP 2020 - 47th International Colloquium on Automata, Languages, and Programming, Jul 2020, Saarbrucken, Germany. ⟨10.4230/LIPIcs.ICALP.2020.108⟩
hal-02568677v2  Journal articles
Samuel HornusTim KuipersOlivier DevillersMonique TeillaudJonàs Martínez et al.  Variable-width contouring for additive manufacturing
ACM Transactions on Graphics, Association for Computing Machinery, In press, 39 (4 (Proc. SIGGRAPH)), ⟨10.1145/3386569.3392448⟩
hal-02974993v1  Conference papers
José Bacelar AlmeidaManuel BarbosaGilles BartheBenjamin GrégoireAdrien Koutsos et al.  The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
SP 2020 - 41st IEEE Symposium on Security and Privacy, May 2020, San Francisco / Virtual, United States. pp.965-982, ⟨10.1109/SP40000.2020.00028⟩
hal-02975012v1  Journal articles
Gilles BartheSandrine BlazyBenjamin GrégoireRémi HutinVincent Laporte et al.  Formal verification of a constant-time preserving C compiler
Proceedings of the ACM on Programming Languages, ACM, 2020, 4 (POPL), pp.1-30. ⟨10.1145/3371075⟩
hal-03031995v1  Reports
Otfried CheongOlivier DevillersMarc GlisseJi-Won Park. Covering families of triangles
[Research Report] RR-9378, INRIA. 2020, pp.31
hal-02549827v1  Conference papers
Enka BlanchardSiargey Kachanovich. Counting authorised paths in constrained control-flow graphs
Bordeaux Graph Workshop, Oct 2019, Bordeaux, France
hal-02549818v1  Conference papers
Enka BlanchardSiargey Kachanovich. A note on the inflating enclosing ball problem
Bordeaux Graph Workshop, Oct 2019, Bordeaux, France
hal-02303987v1  Conference papers
Ran ChenCyril CohenJean-Jacques LevyStephan MerzLaurent Théry. Formal Proofs of Tarjan's Strongly Connected Components Algorithm in Why3, Coq and Isabelle
ITP 2019 - 10th International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. pp.13:1 - 13:19, ⟨10.4230/LIPIcs.ITP.2019.13⟩
hal-02404701v1  Conference papers
Gilles BartheBenjamin GrégoireCharlie JacommeSteve KremerPierre-Yves Strub. Symbolic Methods in Computational Cryptography Proofs
CSF2019 - 32nd IEEE Computer Security Foundations Symposium, Jun 2019, Hoboken, United States. pp.136-13615, ⟨10.1109/CSF.2019.00017⟩
hal-02125504v1  Reports
Baptiste CaramiauxFabien LotteJoost GeurtsGiuseppe AmatoMalte Behrmann et al.  AI in the media and creative industries
[Research Report] New European Media (NEM). 2019, pp.1-35
hal-02177634v1  Book sections
David AlloucheSophie BarbeSimon De GivryGeorge KatsirelosYahia Lebbah et al.  Cost Function Networks to Solve Large Computational Protein Design Problems
Malek Masmoudi, Bassem Jarboui, Patrick Siarry. Operations Research and Simulation in healthcare, Springer, In press
lirmm-01766795v1  Conference papers
Mathieu FontaineFabian-Robert StöterAntoine LiutkusUmut SimsekliRomain Serizel et al.  Multichannel Audio Modeling with Elliptically Stable Tensor Decomposition
14th International Conference on Latent Variable Analysis and Signal Separation (LVA/ICA 2018), Jul 2018, Surrey, United Kingdom. pp.13-23, ⟨10.1007/978-3-319-93764-9_2⟩