Skip to Main content Skip to Navigation


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-02974993v1  Conference papers
José Bacelar AlmeidaManuel BarbosaGilles BartheBenjamin GrégoireAdrien Koutsos et al.  The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
2020 IEEE Symposium on Security and Privacy (SP), May 2020, San Francisco, United States. pp.965-982, ⟨10.1109/SP40000.2020.00028⟩
...
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-02463336v2  Conference papers
Reynald AffeldtCyril CohenMarie KerjeanAssia MahboubiDamien Rouhling et al.  Competing inheritance paths in dependent type theory: a case study in functional analysis
IJCAR 2020 - International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.1-19
...
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-02288063v1  Conference papers
Mathieu FontaineAditya Arie NugrahaRoland BadeauKazuyoshi YoshiiAntoine Liutkus. Cauchy Multichannel Speech Enhancement with a Deep Speech Prior
EUSIPCO 2019 - 27th European Signal Processing Conference, Sep 2019, Coruña, Spain
...
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⟩
...
tel-02188304v1  Theses
Mathieu Fontaine. Processus alpha-stables pour le traitement du signal
Traitement du signal et de l'image [eess.SP]. Université de Lorraine, 2019. Français. ⟨NNT : 2019LORR0037⟩
...
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-01948604v1  Directions of work or proceedings
Catherine Faron ZuckerChiara GhidiniAmedeo NapoliYannick Toussaint. Knowledge Engineering and Knowledge Management
EKAW 2018 - 21st International Conference on Knowledge Engineering and Knowledge Management, Nov 2018, Nancy, France. 11313, Springer, 2018, Lecture Notes in Computer Science, 978-3-030-03666-9. ⟨10.1007/978-3-030-03667-6⟩
hal-01931202v1  Directions of work or proceedings
Emmanuel BoissardPatrick CattiauxArnaud GuillinLaurent MicloFlorian Bouguet et al.  Séminaire de probabilités XLIX
Donati-Martin, Catherine; Lejay, Antoine; Rouault, Alain. 2215, Springer, 2018, Lecture notes in mathematics, ⟨10.1007/978-3-319-92420-5⟩
hal-01925454v1  Conference papers
Anne Gégout-PetitCoralie FritschMarie GrosdidierBenoit Marçais. Spatio-temporal modelling of the spread of chalara (illness of the ash tree) in France
CMStatistics 2018 - 11th International Conference of the ERCIM WG on Computational and Methodological Statistics, Dec 2018, Pisa, Italy