Skip to Main content Skip to Navigation

hal-03473179v1  Conference papers
Véronique CortierAntoine DallonStéphanie Delaune. A small bound on the number of sessions for security protocols
35th IEEE Computer Security Foundations Symposium- CSF 2022, Aug 2022, Haifa, Israel
hal-03366962v1  Conference papers
Bruno BlanchetVincent ChevalVéronique Cortier. ProVerif with Lemmas, Induction, Fast Subsumption, and Much More
S&P'22 - 43rd IEEE Symposium on Security and Privacy, May 2022, San Francisco, United States
hal-03501774v1  Conference papers
Hee-Soo ChoiBruno GuillaumeKarën Fort. Corpus-based Language Universals Analysis using Universal Dependencies
Quasy (Quantitative Syntax), SyntaxFest 2021, Mar 2022, Sofia, Bulgaria
hal-03509136v1  Conference papers
Kim GerdesBruno GuillaumeSylvain KahaneGuy Perrier. Starting a new treebank? Go SUD! Theoretical and practical benefits of the Surface-Syntactic distributional approach
Sixth International Conference on Dependency Linguistics (Depling, SyntaxFest 2021), Mar 2022, Sofia, Bulgaria
hal-03537989v1  Book sections
Alain GélyMiguel CouceiroAmedeo Napoli. Towards Distributivity in FCA for Phylogenetic Data
Rokia Missaoui, Leonard Kwuida, Talel Abdessalem. Complex Data Analysis with Formal Concept Analysis, Springer, In press, Complex Data Analysis with Formal Concept Analysis
hal-03468875v1  Conference papers
Shideh RezaeifarRobert DadashiNino VieillardLéonard HussenotOlivier Bachem et al.  Offline Reinforcement Learning as Anti-Exploration
36th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence (AAAI), Feb 2022, Vancouver, 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-03468834v1  Journal articles
Gilles BartheCharlie JacommeSteve Kremer. Universal Equivalence and Majority of Probabilistic Programs over Finite Fields
ACM Transactions on Computational Logic, Association for Computing Machinery, 2022, 23 (1), pp.1-42. ⟨10.1145/3487063⟩
hal-03472028v1  Conference papers
Alexandre MoineArthur CharguéraudFrançois Pottier. Specification and Verification of a Transient Stack
CPP 2022 - 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2022, Philadelphia, United States. ⟨10.1145/3497775.3503677⟩
hal-03466807v1  Conference papers
Guillaume AmbalSergueï LengletAlan Schmitt. Certified Abstract Machines for Skeletal Semantics
Certified Programs and Proofs, Jan 2022, Philadelphia, United States
hal-03519235v1  Conference papers
Xiaodong JiaAndre KornellBert LindenhoviusMichael MisloveVladimir Zamdzhiev. Semantics for Variational Quantum Programming
49th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2022), Jan 2022, Philadelphia, United States. ⟨10.1145/3498687⟩
hal-03081725v1  Journal articles
Julien FrancqLoic BessonPaul HuynhPhilippe GuillotGilles Millérioux et al.  Non-triangular self-synchronizing stream ciphers
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2022, 71 (1), pp.134-145. ⟨10.1109/TC.2020.3043714⟩
hal-03540341v1  Book sections
Md Kamrul IslamSabeur AridhiMalika Smaïl-Tabbone. Simple negative sampling for link prediction in knowledge graphs
Complex Networks & Their Applications X, 1016, Springer International Publishing, pp.549-562, 2022, Studies in Computational Intelligence, 978-3-030-93412-5. ⟨10.1007/978-3-030-93413-2_46⟩
hal-02943018v1  Journal articles
Miguel CouceiroLucien HaddadVictor Lagerkvist. A Survey on the Fine-grained Complexity of Constraint Satisfaction Problems Based on Partial Polymorphisms
Journal of Multiple-Valued Logic and Soft Computing, Old City Publishing, 2022, 38 (1-2), pp.115-136
hal-02167916v3  Reports
Jens Gustedt. Make false and true first-class language features
[Research Report] N2885, ISO JTC1/SC22/WG14. 2021
hal-02167870v3  Reports
Jens Gustedt. Revise spelling of keywords
[Research Report] N2884, ISO JTC1/SC22/WG14. 2021
hal-02167838v2  Reports
Jens Gustedt. Remove ATOMIC VAR INIT
[Research Report] N2886, ISO JTC1/SC22/WG14. 2021
hal-03524565v1  Reports
Jens GustedtRobert Seacord. A simple defer feature for C
[Research Report] N2895, ISO JTC1/SC22/WG14. 2021
hal-03542057v1  Conference papers
William Babonnaud. Covariant Subtyping Applied to Semantic Predicate Calculi
Logical Aspects of Computational Linguistics 2021, Dec 2021, Montpellier (online), France
hal-03541222v1  Conference papers
Maxime AmblardMaria BoritchevPhilippe de Groote. An inquisitive account of wh-questions through event semantics
Logical Aspects of Computational Linguistics - LACL 2021, Dec 2021, Montpellier (online), France
tel-03500477v1  Theses
Waldez Gomes. Improving Ergonomics Through Physical Human-Robot Collaboration
Engineering Sciences [physics]. Université de lorraine, 2021. English
hal-03480304v1  Conference papers
Noreddine Belhadj-CheikhAbdessamad ImineMichaël Rusinowitch. FOX: Fooling with Explanations Privacy Protection with Adversarial Reactions in Social Media
18th Annual International Conference on Privacy, Security and Trust (PST2021), Dec 2021, Auckland/Virtual, New Zealand
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-03541183v1  Conference papers
Philippe de GrooteValentin Richard. Embedding Intensional Semantics into Inquisitive Semantics
17th Meeting on the Mathematics of Language, Dec 2021, Montpellier (online), France
tel-03508140v1  Theses
Ahmad Abboud. Efficient Rules Management Algorithms in Software Defined Networking
Computer Science [cs]. University of Lorraine, 2021. English
hal-03477901v1  Book sections
Félix GaschiParisa RastinYannick Toussaint. Handling the Deviation from Isometry Between Domains and Languages in Word Embeddings: Applications to Biomedical Text Translation
Neural Information Processing, 13109, Springer International Publishing, pp.216-227, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-92270-2_19⟩
hal-03516730v1  Conference papers
Xavier BonnetainGaëtan LeurentMaría Naya-PlasenciaAndré Schrottenloher. Quantum Linearization Attacks
ASIACRYPT 2021 - 27th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2021, Singapore / Virtual, Singapore. pp.422-452, ⟨10.1007/978-3-030-92062-3_15⟩
hal-03516739v1  Conference papers
Ritam BhaumikXavier BonnetainAndré ChaillouxGaëtan LeurentMaría Naya-Plasencia et al.  QCB: Efficient Quantum-Secure Authenticated Encryption
ASIACRYPT 2021 - 27th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2021, Singapore / Virtual, Singapore. pp.668-698, ⟨10.1007/978-3-030-92062-3_23⟩
hal-03474556v1  Conference papers
Camille GarcinAlexis JolyPierre BonnetJean-Christophe LombardoAntoine Affouard et al.  Pl@ntNet-300K: a plant image dataset with high label ambiguity and a long-tailed distribution
NeurIPS 2021 - 35th Conference on Neural Information Processing Systems, Dec 2021, Virtual Conference, France
hal-03537970v1  Conference papers
Maria BoritchevMaxime Amblard. DinG -- a corpus of transcriptions of real-life, oral, spontaneous multi-party dialogues between French-speaking players of Catan
Journées LIFT 2021 - Linguistique informatique, formelle et de terrain, GDR lift, Dec 2021, Grenoble, France
tel-03539738v1  Theses
Brij Mohan Lal Srivastava. Speaker Anonymization: Representation, Evaluation and Formal Guarantees
Artificial Intelligence [cs.AI]. Inria Lille Nord Europe - Laboratoire CRIStAL - Université de Lille, 2021. English
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-03408015v1  Book sections
Nigel SmartEmmanuel Thomé. History of Cryptographic Key Sizes
Joppe Bos; Martijn Stam. Computational Cryptography, 469, Cambridge University Press, 2021, London Mathematical Society Lecture Note Series, 9781108795937
hal-03481396v1  Conference papers
Athénaïs VaginayTaha BoukhobzaMalika Smaïl-Tabbone. From quantitative SBML models to boolean networks
10th International Conference on Complex Networks and their Applications, CNA 2021, Nov 2021, Madrid, Spain
hal-03487124v1  Conference papers
Ismail MendilYamine Aït-AmeurNeeraj Kumar SinghDominique MéryPhilippe Palanque. Leveraging Event-B Theories for Handling Domain Knowledge in Design Models
7th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications (SETTA 2021), Nov 2021, Beijing/Online, China. pp.40-58, ⟨10.1007/978-3-030-91265-9_3⟩
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-03506409v1  Conference papers
Mohamed Said FrikhaSonia Mettali GammarAbdelkader Lahmadi. Multi-Attribute Monitoring for Anomaly Detection: a Reinforcement Learning Approach based on Unsupervised Reward
tel-03468027v1  Theses
Titouan Carette. Wielding the ZX-calculus, Flexsymmetry, Mixed States, and Scalable Notations
Computer Science [cs]. Université de Lorraine, 2021. English
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⟩
tel-03541628v1  Theses
Maria Boritchev. Dialogue Modeling in a Dynamic Framework
Computation and Language [cs.CL]. Université de Lorraine (UL), Vandoeuvre-lès-Nancy, FRA., 2021. English
hal-03529572v1  Directions of work or proceedings
Arunkumar SDominique MéryIndranil SahaLijun Zhang. MEMOCODE '21: Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design
MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Nov 2021, Virtuel, China. IEEE, 2021, 978-1-4503-9127-6. ⟨10.1145/3487212⟩
hal-03431518v1  Journal articles
Xavier BonnetainSamuel Jaques. Quantum Period Finding against Symmetric Primitives in Practice
IACR Transactions on Cryptographic Hardware and Embedded Systems, IACR, 2021, 2022 (1), pp.1-27. ⟨10.46586/tches.v2022.i1.1-27⟩
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-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-03522488v1  Conference papers
The 6th Workshop on Detection and Classification of Acoustic Scenes and Events, DCASE 2021, Nov 2021, Virtual, Spain
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-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-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-03537698v1  Conference papers
Chuyuan LiMaxime AmblardChloé BraudCaroline DemilyNicolas Franck et al.  Investigating non lexical markers of the language of schizophrenia in spontaneous conversations
2nd Workshop on Computational Approaches to Discourse (CODI 2021), Nov 2021, Punta Cana, Dominican Republic. pp.20-28, ⟨10.18653/v1/2021.codi-main.3⟩
hal-03346196v1  Conference papers
Jean-Francois BonastreHector DelgadoNicholas EvansTomi KinnunenKong Aik Lee et al.  Benchmarking and challenges in security and privacy for voice biometrics
SPSC 2021, 1st ISCA Symposium on Security and Privacy in Speech Communication, ISCA, Nov 2021, Magdeburg, Germany. ⟨10.21437/SPSC.2021-11⟩
hal-03431313v1  Conference papers
Joseph RennerPriyansh TrivediGaurav MaheshwariRémi GilleronPascal Denis. An End-to-End Approach for Full Bridging Resolution
CODI-CRAC 2021 Shared-Task: Anaphora Resolution in Dialogues, Nov 2021, Punta Cana, Dominican Republic. pp.48-54
hal-03523449v1  Conference papers
Yang YouVincent ThomasFrancis ColasOlivier Buffet. Solving infinite-horizon Dec-POMDPs using Finite State Controllers within JESP
2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2021, Washington/virtual, United States. pp.427-434, ⟨10.1109/ICTAI52525.2021.00069⟩
hal-03482422v1  Journal articles
Benedikt KolbeMyfanwy Evans. Enumerating Isotopy Classes of Tilings guided by the symmetry of Triply-Periodic Minimal Surfaces
SIAM Journal on Applied Algebra and Geometry, Society for Industrial and Applied Mathematics In press
hal-02960539v1  Journal articles
Paul GodardVincent LoechnerCédric Bastoul. Efficient Out-of-core and Out-of-place Rectangular Matrix Transposition and Rotation
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2021, 70 (11), pp.7. ⟨10.1109/TC.2020.3030592⟩
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-03469344v1  Conference papers
Claudia-Lavinia IgnatQuang-Vinh Dang. Users trust assessment based on their past behavior in large scale collaboration
2021 IEEE 17th International Conference on Intelligent Computer Communication and Processing, Oct 2021, Cluj-Napoca/Online, Romania
tel-03546267v1  Theses
Raphaël Duroselle. Robustness of language recognition system to transmission channel
Computer Science [cs]. Université de Lorraine (ENIM, L-INP) / Université Paris Nanterre (ED 138 EA 369 CRIIA REDESC), 2021. English
hal-03470012v1  Conference papers
Pierre-Marie JungesJérôme FrançoisOlivier Festor. Inferring Software Composition and Credentials of Embedded Devices from Partial Knowledge
17th International Conference on Network and Service Management, Oct 2021, Izmir/virtual, Turkey
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