Skip to Main content Skip to Navigation


...
hal-03455459v1  Conference papers
David BasinJannik DreierSofia GiampietroSaša Radomirović. Verifying Table-Based Elections
CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Nov 2021, Virtual Event, South Korea. pp.2632-2652, ⟨10.1145/3460120.3484555⟩
...
hal-03454868v1  Conference papers
Mohamed OulaaffartRemi BadonnelOlivier Festor. Towards Automating Security Enhancement for Cloud Services
IFIP/IEEE International Symposium on Integrated Network Management (IM), May 2021, Lyon / Virtuel, France
...
hal-03453550v1  Journal articles
Olivier BronchainSebastian FaustVirginie LallemandGregor LeanderLéo Perrin et al.  MOE: Multiplication Operated Encryption with Trojan Resilience
IACR Transactions on Symmetric Cryptology, Ruhr Universität Bochum, 2021, 2021 (1), pp.78-129. ⟨10.46586/tosc.v2021.i1.78-129⟩
hal-03452182v1  Journal articles
Pierre MonninChedy RaïssiAmedeo NapoliAdrien Coulet. Discovering alignment relations with Graph Convolutional Networks: A biomedical case study
Semantic Web – Interoperability, Usability, Applicability, IOS Press, 2021, pp.1-20. ⟨10.3233/SW-210452⟩
...
hal-03446801v1  Reports
Véronique CortierAlexandre DebantPierrick Gaudry. A privacy attack on the Swiss Post e-voting system
[Research Report] Université de Lorraine, CNRS, Inria, LORIA. 2021
...
hal-03438164v1  Journal articles
Matthew EnglandWolfram KoepfTimur SadykovWerner SeilerThomas Sturm. Foreword, with a Dedication to Andreas Weber
Mathematics in Computer Science, Springer, 2021, 15 (2), pp.173 - 175. ⟨10.1007/s11786-020-00476-y⟩
hal-03438922v1  Directions of work or proceedings
Matthew EnglandFrançois BoulierTimur SadykovThomas Sturm. Computer Algebra in Scientific Computing 2020
Mathematics in Computer Science, 15 (3), 2021
hal-03438907v1  Directions of work or proceedings
Matthew EnglandWolfram KoepfTimur SadykovWerner SeilerThomas Sturm. Computer Algebra in Scientific Computing 2019
Mathematics in Computer Science, 15 (2), 2021
...
hal-01166053v4  Journal articles
Emmanuel JeandelMichaël Rao. An aperiodic set of 11 Wang tiles
Advances in Combinatorics, Alliance of Diamond Open Access Journals, 2021, ⟨10.19086/aic.18614⟩
hal-03437638v1  Conference papers
Tatiana MakhalovaSergei KuznetsovAmedeo Napoli. Likely-Occurring Itemsets for Pattern Mining
9th International Workshop “What can FCA do for Artificial Intelligence?”, Aug 2021, Montreal/Online, Canada
hal-03437634v1  Conference papers
Aleksey BuzmakovSergei O. KuznetsovTatiana MakhalovaAmedeo Napoli. Exploring the Dataset Structure by Means of Delta-Classes of Equivalence. The Case of the Titanic Dataset
9th International Workshop “What can FCA do for Artificial Intelligence?”, Aug 2021, Montréal/Online, Canada
...
hal-03249123v2  Conference papers
Guillaume Moroz. New data structure for univariate polynomial approximation and applications to root isolation, numerical multipoint evaluation, and other problems
FOCS 2021 - 62nd Annual IEEE Symposimum on Foundations of Computer Science, Feb 2022, Denver, United States
...
hal-03432671v1  Poster communications
Antoine MoniotIsaure Chauvot de BeauchêneYann Guermeur. New clustering method to infer prototypes covering the 3D structures of nucleic acid fragments
RECOMB 2021 - 25th International conference on research in computational molecular biology, Aug 2021, Padova/Virtual, Italy
...
hal-03431518v1  Journal articles
Xavier BonnetainSamuel Jaques. Quantum Period Finding against Symmetric Primitives in Practice
IACR Transactions on Cryptographic Hardware and Embedded Systems, IACR, In press
hal-03430789v1  Conference papers
Gilles BartheBenjamin GrégoireVincent LaporteSwarn Priya. Structured Leakage and Applications to Cryptographic Constant-Time and Cost
CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Nov 2021, Virtual Event, South Korea. pp.462-476, ⟨10.1145/3460120.3484761⟩
...
hal-03430293v1  Conference papers
Antoine Deleforge. Drone audition for search and rescue: Datasets and challenges
QUIET DRONES International Symposium on UAV/UAS Noise, Oct 2020, Paris, France
...
hal-03430276v1  Conference papers
Usama SaqibAntoine DeleforgeJesper Jensen. DETECTING ACOUSTIC REFLECTORS USING A ROBOT'S EGO-NOISE
IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Jun 2021, Toronto, Canada
...
hal-03426543v1  Conference papers
Nacira AbbasAlexandre BazinJérôme DavidAmedeo Napoli. Sandwich: An Algorithm for Discovering Relevant Link Keys in an LKPS Concept Lattice
ICFCA 2021 - 16th international conference on formal concept analysis, Jun 2021, Strasbourg /Virtuel, France. pp.243-251, ⟨10.1007/978-3-030-77867-5_15⟩
...
hal-03421031v1  Conference papers
Philippe GraffXavier MarchalThibault CholezStéphane TuffinBertrand Mathieu et al.  An Analysis of Cloud Gaming Platforms Behavior under Different Network Constraints
3rd International Workshop on High-Precision, Predictable, and Low-Latency Networking (HiPNet 2021), IFIP-IEEE, Oct 2021, Izmir (Virtual), Turkey. pp.7
...
hal-03326002v3  Conference papers
Zhiqi KangRadu HoraudMostafa Sadeghi. Robust Face Frontalization For Visual Speech Recognition
ICCV 2021 - International Conference on Computer Vision Workshops, IEEE, Oct 2021, Montreal - Virtual, Canada. pp.1-16
hal-03408023v1  Reports
Martin UeckerJens Gustedt. Indeterminate Values and Trap Representations
[Research Report] 2772, ISO TC1/SC22/WG14. 2021, pp.11
...
hal-03408015v1  Book sections
Nigel SmartEmmanuel Thomé. History of Cryptographic Key Sizes
Computational Cryptography, In press
hal-03404607v1  Reports
Martin UeckerJens Gustedt. Wide Function Pointer Types for Pairing Code and Data
[Research Report] 2787, ISO JCT1/SC22/WG14. 2021
hal-03404598v1  Reports
Robert SeacordSteve DowneyJens GustedtPeter Bindels. Identifier Syntax using Unicode Standard Annex 31
[Research Report] 2836, ISO JCT1/SC22/WG14. 2021, pp.18
...
hal-03389328v1  Master thesis
Eduardo Calò. Building a Learning Space for Language Acquisition
Computation and Language [cs.CL]. 2021
...
hal-03394152v1  Journal articles
Xuechen LiuMd SahidullahTomi Kinnunen. Optimizing Multi-Taper Features for Deep Speaker Verification
IEEE Signal Processing Letters, Institute of Electrical and Electronics Engineers, In press, ⟨10.1109/LSP.2021.3122796⟩
...
hal-03391884v1  Conference papers
Youssef AssisLiang LiaoFabien PierreRené AnxionnatErwan Kerrien. An efficient data strategy for the detection of brain aneurysms from MRA with deep learning
The MICCAI workshop on Data Augmentation, Labeling, and Imperfections, Oct 2021, Strasbourg, France. pp.226-234, ⟨10.1007/978-3-030-88210-5_22⟩
...
hal-03390558v1  Reports
Jens Gustedt. Make call_once mandatory
[Research Report] 2840, ISO JCT1/SC22/WG14. 2021
...
hal-03390554v1  Reports
Jens Gustedt. Only reserve names of optional functions if necessary
[Research Report] 2839, ISO JCT1/SC22/WG14. 2021
...
hal-03387778v1  Conference papers
Michel OlveraEmmanuel VincentGilles Gasso. Improving Sound Event Detection with Auxiliary Foreground-Background Classification and Domain Adaptation
DCASE 2021 - 6th Workshop on Detection and Classification of Acoustic Scenes and Events, Nov 2021, Virtual, Spain
...
hal-02432387v2  Journal articles
Idriss MazariGrégoire NadinYannick Privat. Shape optimization of a weighted two-phase Dirichlet eigenvalue
Archive for Rational Mechanics and Analysis, Springer Verlag, In press
...
hal-03381116v1  Conference papers
Guillaume RosinoskySamir YoucefFrançois CharoyEtienne Rivière. A methodology for tenant migration in legacy shared-table multi-tenant applications
21th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2021, Valetta, Malta. pp.3-20
...
hal-03380595v1  Conference papers
Jean-Philippe EisenbarthThibault CholezOlivier Perrin. A Comprehensive Study of the Bitcoin P2P Network
3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS 2021), Sep 2021, Paris/ Virtuel, France. pp.8
...
hal-03377797v1  Conference papers
Hubert NourtelPierre ChampionDenis JouvetAnthony LarcherMarie Tahon. Evaluation of Speaker Anonymization on Emotional Speech
1st ISCA Symposium on Security and Privacy in Speech Communication, Nov 2021, Virtual, Germany
hal-03376084v1  Directions of work or proceedings
El Hassan AbdelwahedLadjel BellatrecheMatteo GolfarelliDominique MéryCarlos Ordonez. Model and Data Engineering. 8th International Conference, MEDI 2018, Proceedings
Model and Data Engineering. 8th International Conference, MEDI 2018, Oct 2018, Marrakesh, Morocco. Springer, 2018, Lecture Notes in Computer Science, 978-3-030-00855-0. ⟨10.1007/978-3-030-00856-7⟩
...
hal-03375918v1  Preprints, Working Papers, ...
Christophe Vuillot. Planar Floquet Codes
2021
...
hal-03375671v1  Conference papers
Wan-Chiu LiCédric BorgeseAlexandre BenedictoNicolas RayDmitry Sokolov. Singular Structured Hexahedral Grid
RING Meeting, Sep 2021, Vandoeuvre-lès-Nancy, France
...
hal-03356021v2  Conference papers
Pierre ChampionThomas ThebaudGaël Le LanAnthony LarcherDenis Jouvet. On the invertibility of a voice privacy system using embedding alignement
ASRU 2021 - IEEE Automatic Speech Recognition and Understanding Workshop, Dec 2021, Cartagena, Colombia
...
hal-03370998v1  Poster communications
Anna KravchenkoMalika Smail-TabboneIsaure Chauvot de BeauchêneSjoerd Jacob de Vries. New strategy for optimizing knowledge-based docking parameters: application to ssRNA-protein docking
JOBIM 2021 - Journées Ouvertes en Biologie, Informatique et Mathématiques, Jul 2021, Paris, France
...
hal-03370994v1  Conference papers
Alix DelannoyAntoine MoniotYann GuermeurIsaure Chauvot de Beauchêne. Feature extraction for the clustering of small 3D structures: application to RNA fragments
JOBIM 2021 - Journées Ouvertes en Biologie, Informatique et Mathématiques, Jul 2021, Paris, France
...
hal-03366962v1  Conference papers
Bruno BlanchetVincent ChevalVéronique Cortier. ProVerif with Lemmas, Induction, Fast Subsumption, and Much More
43RD IEEE Symposium on Security and Privacy (S&P'22), May 2022, San Francisco, United States
hal-03363567v1  Documents associated with scientific events
Abdelkader LahmadiFrédéric Beck. Practical security analysis of IoT devices
IFIP/IEEE International Symposium on Integrated Network Management, May 2021, Bordeaux, France
...
hal-03364063v1  Book sections
Gabriel EbnerJasmin BlanchetteSophie Tourret. A Unifying Splitting Framework
Automated Deduction – CADE 28, 12699, Springer International Publishing, pp.344-360, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-79876-5_20⟩
...
hal-03364032v1  Book sections
Alexander BentkampJasmin BlanchetteSophie TourretPetar Vukmirović. Superposition for Full Higher-order Logic
Automated Deduction – CADE 28, 12699, Springer International Publishing, pp.396-412, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-79876-5_23⟩
...
hal-03364024v1  Book sections
Petar VukmirovićAlexander BentkampJasmin BlanchetteSimon CruanesVisa Nummelin et al.  Making Higher-Order Superposition Work
Automated Deduction – CADE 28, 12699, Springer International Publishing, pp.415-432, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-79876-5_24⟩
...
hal-03364015v1  Conference papers
Sophie TourretJasmin Blanchette. A modular Isabelle framework for verifying saturation provers
CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021, Virtual, Denmark. pp.224-237, ⟨10.1145/3437992.3439912⟩
hal-03363711v1  Reports
Jens Gustedt. Pointers and integer types
[Research Report] 2822, ISO JCT1/SC22/WG14. 2021
hal-03363699v1  Reports
Jens Gustedt. Require exact-width integer type interfaces
[Research Report] 2821, ISO JTC1/SC22/WG14. 2021
hal-03363692v1  Reports
Jens Gustedt. Types and sizes
[Research Report] 2838, ISO JTC1/SC22/WG14. 2021
...
hal-03363683v1  Reports
Jens GustedtMartin Uecker. Disambiguate the storage class of some compound literals
[Research Report] 2819, ISO JCT1/SC22/WG14. 2021, pp.2
...
hal-03363674v1  Reports
Jens GustedtMartin Uecker. Properly define blocks as part of the grammar
[Research Report] 2818, ISO JCT1/SC22/WG14. 2021, pp.3
...
hal-03265590v2  Reports
Jens Gustedt. Add annotations for unreachable control flow
[Research Report] 2826, ISO JCT1/SC22/WG14. 2021, pp.10
...
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-03360794v1  Conference papers
Junichi YamagishiXin WangMassimiliano TodiscoMd SahidullahJose Patino et al.  ASVspoof 2021: accelerating progress in spoofed and deepfake speech detection
ASVspoof 2021 Workshop - Automatic Speaker Verification and Spoofing Coutermeasures Challenge, Sep 2021, Virtual, France