.png)
Recherche
Domaines de recherche
Autres informatique théorique et mathématiques computationnelles, n.c.a.
Intelligence artificielle, n.c.a.
Mathématiques discrètes appliquées
Sécurité des systèmes d'information
Ce champ ne comporte pas de données en ce moment.
Applied discrete mathematics
Artificial intelligence, n.e.c.
Information system security
Other theoretical computer science and computational mathematics, n.e.c.
Unités de recherche
CRDM, Centre de recherche en données massives
Centres de recherche reconnus
Recognized research centers
Ce champ ne comporte pas de données en ce moment.
Publications
9 de 33
2026
Privacy-Preserving Trajectory Data Publication Via Differentially-Private Representation Learning
Youcef Korichi, Josée Desharnais, Sébastien Gambs, Nadia Tawbi
Youcef Korichi, Josée Desharnais, Sébastien Gambs, Nadia Tawbi
Chapitre de livre
Book chapter
2025
A Probabilistic Analysis of Simplified Cluedo with Storm: The Birthday Cake Case
Ezio Bartocci, Josée Desharnais, Peter Lindner, Ana Sokolova
Ezio Bartocci, Josée Desharnais, Peter Lindner, Ana Sokolova
Chapitre de livre
Book chapter
2025
GRAND : Graph Reconstruction from Potential Partial Adjacency and Neighborhood Data
Sofiane Azogagh, Zelma Aubin Birba, Josée Desharnais, Sébastien Gambs, Marc-Olivier Killijian, Nadia Tawbi
Sofiane Azogagh, Zelma Aubin Birba, Josée Desharnais, Sébastien Gambs, Marc-Olivier Killijian, Nadia Tawbi
Document de conférence
Conference paper
2024
Leveraging Transformer Architecture for Effective Trajectory-User Linking (TUL) Attack and Its Mitigation
Youcef Korichi, Josée Desharnais, Sébastien Gambs, Nadia Tawbi
Youcef Korichi, Josée Desharnais, Sébastien Gambs, Nadia Tawbi
Chapitre de livre
Book chapter
2023
A cop-winning strategy on strongly cop-win graphs
Josée Desharnais, François Laviolette, Héli Marcoux, Norbert Polat
Josée Desharnais, François Laviolette, Héli Marcoux, Norbert Polat
Discrete Mathematics
Article de revue
Journal article
2021
Toward Semantic-Based Android Malware Detection Using Model Checking and Machine Learning
Desharnais J.
Desharnais J.
Document de conférence
Conference paper
2019
Finite approximation of LMPs for exact verification of reachability properties
Desharnais J.
Desharnais J.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Document de conférence
Conference paper
2019
Beyond labels: Permissiveness for dynamic information flow enforcement
Kozyri E., Schneider F.B., Bedford A., Desharnais J., Tawbi N.
Kozyri E., Schneider F.B., Bedford A., Desharnais J., Tawbi N.
Proceedings - IEEE Computer Security Foundations Symposium
Document de conférence
Conference paper
2018
A Cop-Winning Strategy on Strongly Cop-Win Graphs.
Desharnais J.
Desharnais J.
Journal of combinatorial Theory B
Article de revue
Journal article
Ce champ ne comporte pas de données en ce moment.
Champs d’intérêts
Lorem Ipsum is simply dummy text of the printing and typesetting industry. Lorem Ipsum has been the industry's standard dummy text ever since the 1500s, when an unknown printer took a galley of type and scrambled it to make a type specimen book. It has survived not only five centuries, but also the leap into electronic typesetting, remaining essentially unchanged. It was popularised in the 1960s with the release of Letraset sheets containing Lorem Ipsum passages, and more recently with desktop publishing software like Aldus PageMaker including versions of Lorem Ipsum.
Projets de recherche subventionnés
En cours
DEEL DEpendable & Explainable Learning
Programme: Subventions de recherche et développement coopérative (RDC)
Organisme(s) subventionnaire(s): CAE Electronics Ltd, Conseil de recherches en sciences naturelles et génie Canada, Consortium de recherche et d'innovation en aérospatiale au Québec, Thales Corporated, Bell Textron Canada limitée, Bombardier Ltée
Program: Subventions de recherche et développement coopérative (RDC)
Granting organization(s): CAE Electronics Ltd, Conseil de recherches en sciences naturelles et génie Canada, Consortium de recherche et d'innovation en aérospatiale au Québec, Thales Corporated, Bell Textron Canada limitée, Bombardier Ltée
Du 31 janvier 2020 au 30 janvier 2026
From January 31, 2020 to January 30, 2026
Ce champ ne comporte pas de données en ce moment.
Chaires de recherche
Passés
Vers la vérification et certification d'algorithmes d'intelligence artificielle
Programme: Subventions à la découverte SD (individuelles et d'équipe)
Organisme(s) subventionnaire(s): Conseil de recherches en sciences naturelles et génie Canada, Secrétariat Inter-Conseils (Canada) (CRSH, CRSNG, IRSC)
Program: Subventions à la découverte SD (individuelles et d'équipe)
Granting organization(s): Conseil de recherches en sciences naturelles et génie Canada, Secrétariat Inter-Conseils (Canada) (CRSH, CRSNG, IRSC)
Du 1 avril 2019 au 31 mars 2025
From April 1, 2019 to March 31, 2025