Skip to Main content Skip to Navigation


...
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-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-03408015v1  Book sections
Nigel SmartEmmanuel Thomé. History of Cryptographic Key Sizes
Computational Cryptography, In press
...
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-03359173v1  Conference papers
Xuechen LiuMd SahidullahTomi Kinnunen. Optimized Power Normalized Cepstral Coefficients Towards Robust Deep Speaker Verification
ASRU 2021 – IEEE Automatic Speech Recognition and Understanding Workshop, Dec 2021, Cartagena, Colombia
...
hal-03359174v1  Conference papers
Xuechen LiuMd SahidullahTomi Kinnunen. Parameterized Channel Normalization for Far-field Deep Speaker Verification
ASRU 2021 – IEEE Automatic Speech Recognition and Understanding Workshop,, Dec 2021, Cartagena, Colombia
...
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-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-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-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-03355184v1  Conference papers
Francesca RonchiniRomain SerizelNicolas TurpaultSamuele Cornell. THE IMPACT OF NON-TARGET EVENTS IN SYNTHETIC SOUNDSCAPES FOR SOUND EVENT DETECTION
Detection and Classification of Acoustic Scenes and Events-DCASE 2021, Nov 2021, Barcelona/Virtual, Spain
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-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-03463980v1  Conference papers
Jérôme DinetHanna VerdelHirokazu KumazakiKazunori TeradaSylvie Vitel et al.  A Hybrid Robotics System for Children with Autism
Scientific seminar at Larsen team (INRIA Grand Est), Nov 2021, Nancy, France
hal-03451085v1  Conference papers
Louis Penet de MonternoBernadette Charron-BostStephan Merz. Synchronization Modulo k in Dynamic Networks
23rd International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2021), Colette Johnen and Elad Michael Schiller and Stefan Schmid, Nov 2021, Gothenburg / online, Sweden. pp.425-439, ⟨10.1007/978-3-030-91081-5_28⟩
...
hal-03464025v1  Conference papers
Amélie AusselLaure BuhryRadu Ranta. Design of experiments and Sobol' sensitivity analysis of a hippocampus computational model
43rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2021, Oct 2021, Guadalajara/Virtual, Mexico
...
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-03352656v1  Conference papers
Thibault TricardJimmy EtienneCédric ZanniSylvain Lefebvre. A brick in the wall: Staggered orientable infills for additive manufacturing
ACM Symposium on Computational Fabrication (SCF 2021), Oct 2021, Boston/Virtual, United States. ⟨10.1145/3485114.3485117⟩
...
hal-03285178v1  Conference papers
W GomesP MauriceN SettembreJ TheurelL Wioland et al.  Biomechanical effects of using a passive back support exoskeleton during prone-positioning maneuver: A pilot study
46th Congress of the Society of Biomechanics, Oct 2021, Saint-Etienne, France
...
hal-03460779v1  Conference papers
Adrien HemmerMohamed AbderrahimRemi BadonnelIsabelle Chrisment. An Ensemble Learning-Based Architecture for Security Detection in IoT Infrastructures
17th International Conference on Network and Service Management (CNSM 2021), Oct 2021, Izmir (Virtual), Turkey