Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1580

Who Pays Whom? Anonymous EMV-Compliant Contactless Payments
Publié en 2025
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Charles OLIVIER-ANCLIN, Ioana BOUREANU, Liqun CHEN, Christopher NEWTON, Tom CHOTHIA, Anna CLEE, Andreas KOKKINIS, Pascal LAFOURCADE
Assessing learning materials: hybrid vs Large Language Model-based generation of grammar exercises
Publié en 2025
Type de publication : Communications sans actes
Auteur(s) : Lucas POIROT, Yannick PARMENTIER
Ensemble de correction minimal basé sur l'adéquation des contraintes en clustering
Publié en 2025
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Aymeric BEAUCHAMP, Thi-Bich-Hanh DIEP-DAO, Christel VRAIN, Samir LOUDNI
Journées Francophones de Programmation par Contraintes (Évènement affilié à PFIA 2022)
Cryptographic Commitments on Anonymizable Data
Publié en 2025
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Xavier BULTEL, Charlène JOJON, Benjamin NGUYEN, Céline CHEVALIER, Diandian LIU
Portage sur GPU du calcul des forces internes d'un code basé sur la méthode des éléments finis spectraux
Publié en 2025
Type de publication : Communications sans actes
Auteur(s) : Tom BUDON, Sylvain JUBERTIE, Sébastien LIMET, Emmanuel MELIN, Florent DE MARTIN
Langage de spécification de contexte pour vérifier formellement des propriétés de consentement sur des modèles et du code -Résumé long
Publié en 2025
Type de publication : Communications sans actes
Auteur(s) : Myriam CLOUET, Thibaud ANTIGNAC, Mathilde ARNAUD, Julien SIGNOLES
Energy optimization for P-time labeled Petri net systems with unobservable transitions
Publié en 2025
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Clément LECOMTE, Patrice BONHOMME
A Constrained Declarative Based Approach for Explainable Clustering
Publié en 2025
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu GUILBERT, Christel VRAIN, Thi-Bich-Hanh DIEP-DAO
Features Leverage in Graph Models for Mineral Prospectivity Mapping
Publié en 2025
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Thi-hai-yen VU, Thi-Bich-Hanh DIEP-DAO, Vincent NGUYEN, Christel VRAIN, Hugo BREUILLARD
SAC '25: Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing
A Mechanized Formalization of an FRP Language with Effects
Publié en 2025
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jordan ISCHARD, Frédéric DABROWSKI, Jules CHOUQUET, Frédéric LOULERGUE
Functional Reactive Programming with Effects, a more permissive approach
Publié en 2025
Type de publication : Autres Publications
Auteur(s) : Frédéric DABROWSKI, Jordan ISCHARD
Memory-efficient Continual Learning with Neural Collapse Contrastive
Publié en 2025
Type de publication : Communications sans actes
Auteur(s) : Trung-anh DANG, Vincent NGUYEN, Christel VRAIN, Ngoc-Son VU
Distributed Transition System with Tags and Value-wise Metric, for Privacy Analysis
Publié en 2025
Type de publication : Autres Publications
Auteur(s) : Siva ANANTHARAMAN, Sabine FRITTELLA, Benjamin NGUYEN
Parallelizing RNA-Seq Analysis with BioSkel: A FastFlow Based Prototype
Publié en 2025
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Valentin BEAUVAIS, Sophie ROBERT, Sébastien LIMET, Nicolò TONCI
Formalisation d'une analyse de région pour Frama-C/WP
Publié en 2025
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy DAMOUR, Frédéric LOULERGUE, Allan BLANCHARD, Loïc CORRENSON
Une approche déclarative pour le clustering explicable sous contraintes
Publié en 2025
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Mathieu GUILBERT, Christel VRAIN, Thi-Bich-Hanh DIEP-DAO
Checking that Equations on Terms define a Finite Set of Equivalence Classes
Publié en 2025
Type de publication : Autres Publications
Auteur(s) : Yohan BOICHUT, Thomas GENET
TELESAFE: Detecting Private/Work Boundary Crossings in Energy Consumption Trails in Telework
Publié en 2025
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Haoying ZHANG, Nicolas ANCIAUX, Benjamin NGUYEN, Mariem BRAHEM, Jose MARIA DE FUENTES
Towards Formal Verification of a TPM Software Stack: Achievements and Opportunities
Publié en 2025
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Yani ZIANI, Téo BERNIER, Frédéric LOULERGUE, Nikolai KOSMATOV, Daniel GRACIA PEREZ
Sufficient Conditions for Polynomial-Time Detection of Induced Minors
Publié en 2025
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mael DUMAS, Anthony PEREZ, Clément DALLARD, Claire HILAIRE
50th International Conference on Current Trends in Theory and Practice of Computer Science, Lecture Notes in Computer Science
Machines, Computations, and Universality
Publié en 2025
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE, Enrico FORMENTI
The Convex Set Forming Game
Publié en 2025
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Caroline BROSSE, Nicolas MARTINS, Nicolas NISSE, Rudini SAMPAIO
Enabling secure data-driven applications: an approach to personal data management using trusted execution environments
Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Nicolas ANCIAUX, Robin CARPENTIER, Iulian SANDU POPA
Nob-MIAs: Non-biased Membership Inference Attacks Assessment on Large Language Models with Ex-Post Dataset Construction
Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Cédric EICHLER, Nicolas ANCIAUX, Nathan CHAMPEIL, Alexandra BENSAMOUN, Héber H. ARCOLEZI, José Maria DE FUENTES
Cohesive database neighborhoods for differential privacy: mapping relational databases to RDF
Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sara TAKI, Adrien BOIRET, Cédric EICHLER, Benjamin NGUYEN
Web Information Systems Engineering - WISE 2024 - 25th International Conference
Dataset for image classification with knowledge
Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Franck anael MBIAYA, Christel VRAIN, Thi-Bich-Hanh DIEP-DAO, Frédéric ROS, Yves LUCAS
Comparison Queries Generation Using Mathematical Programming for Exploratory Data Analysis
Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Patrick MARCEL, Alexandre CHANSON, Nicolas LABROCHE, Vincent T'KINDT
DeBrLevel - version 1.0.1
Publié en 2024
Type de publication : Logiciel
Auteur(s) : Jordan ISCHARD
Propriétés linguistiques fines et interprétation des performances des systèmes pour la reconnaissance des entités nommées
Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Marina SEGHIER, Alice MILLOUR, Jean-Yves ANTOINE
UFEL: a By-design Understandable and Frugal Entity Linking System for French Microposts
Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Vivien LEONARD, Jean-Yves ANTOINE, Béatrice MARKHOFF
The Semantic Web – ISWC 2024 : 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11–15, 2024, Proceedings, Part III
Abstract geometrical computation 12: generating representation of infinite countable linear orderings
Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jérôme DURAND-LOSE
The history of biometric authentication and identification using photoplethysmography (PPG): a twenty years systematic literature review
Publié en 2024
Type de publication : Autres Publications
Auteur(s) : Benjamin VIGNAU, Patrice CLEMENTE, Pascal BERTHOME
Rule-Based Constraint Elicitation For Active Constraint-Incremental Clustering
Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Aymeric BEAUCHAMP, Thi-Bich-Hanh DIEP-DAO, Christel VRAIN, Samir LOUDNI
IEEE Xplore
SyDPaCC: A Framework for the Development of Verified Scalable Parallel Functional Programs
Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Jordan ISCHARD
Gramex: Generating Controlled Grammar Exercises from Various Sources
Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume TOUSSAINT, Yannick PARMENTIER, Claire GARDENT
Proceedings of the Natural Language Processing for Computer-assisted Language Learning workshop (NLP4CALL 2024)
TELESAFE - Detecting Private/Work Boundary Crossings in Energy Consumption Trails in Telework
Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Haoying ZHANG, Nicolas ANCIAUX, Benjamin NGUYEN, Mariem BRAHEM, José Maria DE FUENTES
Data Privacy for Graphs with Semantic Informations
Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Yasmine HAYDER, Adrien BOIRET, Cédric EICHLER, Benjamin NGUYEN
TELESAFE – Détection des franchissements de frontière entre vie privée et vie professionnelle dans les traces de consommation d'énergie en télétravail
Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Haoying ZHANG, Nicolas ANCIAUX, Benjamin NGUYEN, Mariem BRAHEM, José Maria DE FUENTES
A new PET for Data Collection via Forms with Data Minimization, Full Accuracy and Informed Consent
Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Nicolas ANCIAUX, Sabine FRITTELLA, Benjamin NGUYEN, Baptiste JOFFROY, Guillaume SCERRI
Leveraging synthetic graph generation for privacy-preserving geo-distributed graph processing
Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Haoying ZHANG, Cédric EICHLER, Benjamin NGUYEN, Tristan ALLARD, Shadi IBRAHIM
From document to program embeddings: can distributional hypothesis really be used on programming languages?
Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Thibaut MARTINET, Guillaume CLEUZIOU, Matthieu EXBRAYAT, Frédéric FLOUVAT
From Text to Databases
Publié en 2024
Type de publication : Autres Publications
Auteur(s) : Jacques CHABIN, Mirian HALFELD-FERRARI, Nicolas HIOT
Efficient error-correcting codes for the HQC post-quantum cryptosystem
Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Carlos AGUILAR-MELCHOR, Nicolas ARAGON, Jean-Christophe DENEUVILLE, Philippe GABORIT, Jérôme LACAN, Gilles ZÉMOR
Contraintes du premier ordre dans l’algèbre des arbres finis ou infinis
Publié en 2024
Type de publication : Revue nationale à comité de lecture
Auteur(s) : Thi-Bich-Hanh DIEP-DAO
Taming Delegations in Anonymous Signatures: k-Times Anonymity for Proxy and Sanitizable Signature
Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Xavier BULTEL, Charles OLIVIER-ANCLIN
On the Anonymity of Linkable Ring Signatures
Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Xavier BULTEL, Charles OLIVIER-ANCLIN
Cryptology and Network Security. CANS 2024. Lecture Notes in Computer Science, vol 14905. Springer, Singapore.
Cryptographic cryptid protocols: How to play cryptid with cheaters
Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Xavier BULTEL, Charlène JOJON, Pascal LAFOURCADE
reteLLMe: Design Rules for using Large Language Models to Protect the Privacy of Individuals in their Textual Contributions
Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Cédric EICHLER, Adrien BOIRET, Nicolas ANCIAUX, Mariem BRAHEM, Jasmine WATISSEE, Jose MARIA DE FUENTES
Runtime Verification for High-Level Security Properties: Case Study on the TPM Software Stack
Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Yani ZIANI, Frédéric LOULERGUE, Nikolai KOSMATOV, Daniel Gracia PÉREZ
SAT-Based Automated Completion for Reachability Analysis
Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Yohan BOICHUT, Adrien BOIRET, Vincent HUGOT

Laboratoire d'Informatique Fondamentale d'Orléans

Laboratoire d'Informatique Fondamentale d'Orléans

Laboratoire d'Informatique Fondamentale d'Orléans

Publications HAL du LIFO

Carte

Informations