====== Publications caractéristiques ====== * //AIM: Automated Input Set Minimization for Metamorphic Security Testing// (Nazanin Bayati Chaleshtari, **Yoann Marquer**, Fabrizio Pastore, Lionel C. Briand), [[https://arxiv.org/abs/2402.10773|soumis à TOSEM]] 2024, {{ :fr:research:tosem2024.pdf|téléchargement}} * //A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching// (**Yoann Marquer**, Tania Richmond), [[http://arith2020.arithsymposium.org|ARITH]] ([[https://www.gdr-soc.cnrs.fr/conferences/|Rang A]]) 2020, {{ :fr:research:paperladder.pdf |téléchargement}} * //Axiomatization and characterization of BSP algorithms// (**Yoann Marquer**, Frédéric Gava), [[https://www.sciencedirect.com/science/article/abs/pii/S2352220818301354|JLAMP]] ([[http://portal.core.edu.au/jnl-ranks/80/|Rang B]]) 2019 : {{ :fr:research:paperbsp.pdf | téléchargement}} ====== Journaux ====== * 2020 : //Axiomatization and Imperative Characterization of Multi-BSP Algorithms: A Q&A on a Partial Solution// (Frédéric Gava, **Yoann Marquer**), [[https://link.springer.com/article/10.1007/s10766-020-00669-9|IJPP]] International Journal of Parallel Programming ([[http://portal.core.edu.au/jnl-ranks/452/|Rang B]]), [[https://hal.archives-ouvertes.fr/hal-03189898|HAL 03189898]], [[fr:research:models-computation#algorithmes_paralleles|modèle de calcul parallèle]] * 2019 : //Axiomatization and characterization of BSP algorithms// (**Yoann Marquer,** Frédéric Gava), [[https://www.sciencedirect.com/science/article/abs/pii/S2352220818301354|JLAMP]] Journal of Logical and Algebraic Methods in Programming ([[http://portal.core.edu.au/jnl-ranks/80/|Rang B]]), [[fr:research:models-computation#algorithmes_paralleles|modèle de calcul parallèle]] * 2019 : //Algorithmic Completeness of Imperative Programming Languages// (**Yoann Marquer**), [[https://content.iospress.com/articles/fundamenta-informaticae/fi1824|FI]] Fundamenta Informaticae ([[http://portal.core.edu.au/jnl-ranks/301/|Rang B]]), [[https://hal.archives-ouvertes.fr/hal-02524486|HAL 02524486]], [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] ====== Conférences ====== ===== Conférences internationales avec comité et actes publiés ===== * 2023 : //The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems// (Benjamin Rouxel, Christopher Brown, Emad Ebeid, Kerstin Eder, Heiko Falk, Clemens Grelck, Jesper Holst, Shashank Jadhav, **Yoann Marquer**, Marcos Martinez De Alejandro, Kris Nikov, Ali Sahafi, Ulrik Pagh Schultz Lundquist, Adam Seewald, Vangelis Vassalos, Simon Wegener, Olivier Zendra), [[https://date23.date-conference.com/|DATE]] Design, Automation & Test in Europe Conference & Exhibition ([[http://portal.core.edu.au/conf-ranks/421/|Rang B]]), [[https://hal.science/hal-04108237|HAL 04108237]], [[fr:research:security#chaine_d_outils_pour_la_securite|chaîne d'outils pour la sécurité]] * 2022 : //Semi-automatic Ladderisation: Improving Code Security through Rewriting and Dependent Types// (Christopher Brown, Adam D. Barwell, **Yoann Marquer**, Olivier Zendra, Tania Richmond, Chen Gu), [[https://popl22.sigplan.org/home/pepm-2022|PEPM]] The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation ([[http://portal.core.edu.au/conf-ranks/50/|Rang B/C]]), [[https://hal.science/hal-03805561|HAL 03805561]], [[fr:research:security#securisation_logicielle_par_echelonnement|sécurisation logicielle]] * 2020 : //A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching// (**Yoann Marquer**, Tania Richmond), [[http://arith2020.arithsymposium.org|ARITH]] 27th IEEE International Symposium on Computer Arithmetic ([[https://www.gdr-soc.cnrs.fr/conferences/|Rang A]]), [[https://hal.archives-ouvertes.fr/hal-02889212|HAL 02889212]], [[fr:research:security#securisation_logicielle_par_echelonnement|sécurisation logicielle]] * 2019 : //Type-Driven Verification of Non-functional Properties// (Christopher Brown, Adam Barwell, **Yoann Marquer**, Céline Minh, Olivier Zendra), [[http://ppdp2019.macs.hw.ac.uk|PPDP]] 21st International Symposium on Principles and Practice of Programming Languages 2019 ([[http://portal.core.edu.au/conf-ranks/1176/|Rang B]]), [[https://hal.archives-ouvertes.fr/hal-02314723|HAL 02314723]], [[fr:research:security#expression_et_contrats_des_proprietes_extra-fonctionnelles|propriétés non-fonctionnelles]] * 2018 : //An Axiomatization for BSP Algorithms// (**Yoann Marquer**, Frédéric Gava), [[http://nsclab.org/ica3pp2018/index.html|ICA3PP]] 18th International Conference on Algorithms and Architectures for Parallel Processing ([[http://portal.core.edu.au/conf-ranks/905/|Rang B]]), [[fr:research:models-computation#algorithmes_paralleles|modèle de calcul parallèle]] * 2018 : //Algorithmic Completeness for BSP Languages// (**Yoann Marquer**, Frédéric Gava), [[http://hpcs2018.cisedu.info|HPCS]] The 2018 International Conference on High Performance Computing and Simulation ([[http://portal.core.edu.au/conf-ranks/653/|Rang B]]), [[fr:research:models-computation#algorithmes_paralleles|modèle de calcul parallèle]] ===== Conférences internationales avec comité sans acte publié ===== * 2020 : //The Indistinguishability Approach: Quantifying Security in the TeamPlay Project// (**Yoann Marquer**, Annelie Heuser, Olivier Zendra), [[https://www.hipeac.net/2020/bologna|HiPEAC]] High Performance Embedded Architecture and Compilation - Workshop on Time, Energy and Security Analysis for Multicore Heterogenous Platforms, [[fr:research:security#quantification_des_vulnerabilites_par_canal_auxiliaire|quantification des vulnérabilités]] * 2015 : //Imperative characterization of Polynomial Time Algorithms// (**Yoann Marquer**, Pierre Valarcher), [[http://dice15.computing.dundee.ac.uk|DICE]] Developments in Implicit Computational Complexity, [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] * 2015 : //Imperative characterization of Polynomial Time Algorithms// (**Yoann Marquer**, Pierre Valarcher), [[http://www.dolich.com/jaf|JAF]] Journées sur les Arithmétiques Faibles 34, [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] * 2014 : //Algorithmic Completeness of Imperative Programming Languages// (**Yoann Marquer**, Pierre Valarcher), [[https://flov.gu.se/english/research/research-areas/logic/jaf33|JAF]] Journées sur les Arithmétiques Faibles 33, [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] ====== Livres et chapitres de livre ====== * 2016 : //An Imperative Language Characterizing PTIME Algorithms// (**Yoann Marquer**, Pierre Valarcher)), [[https://web.stanford.edu/group/cslipublications/cslipublications/site/9781575869537.shtml#|CSLI Publications]] Studies in Weak Arithmetics, [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] ====== Rapports ====== ===== Rapports techniques ===== * 2021 : //A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching (Extended Version)// (**Yoann Marquer**, Tania Richmond, Pascal Véron), [[https://hal.archives-ouvertes.fr/hal-03157804|HAL 03157804]], [[fr:research:security#securisation_logicielle_par_echelonnement|sécurisation logicielle]] * 2018 : //Proving Formally a Field-Based FSSP Solution// (**Yoann Marquer**, Luidnel Maignan, Jean-Baptiste Yunès), [[https://hal.archives-ouvertes.fr/hal-01739317|HAL 01739317]], [[fr:research:models-computation#automates_cellulaires|preuve de correction]] * 2018 : //An ASM Thesis for BSP// (**Yoann Marquer,** Frédéric Gava), [[https://hal.archives-ouvertes.fr/hal-01717647|HAL 01717647]], [[fr:research:models-computation#algorithmes_paralleles|modèle de calcul parallèle]] * 2018 : //Algorithmic Completeness of BSP Languages// (**Yoann Marquer,** Frédéric Gava), [[https://hal.archives-ouvertes.fr/hal-01742406|HAL 01742406]], [[fr:research:models-computation#algorithmes_paralleles|modèle de calcul parallèle]] ===== Manuscrit de thèse ===== * 2015 : //Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial// (**Yoann Marquer**), [[https://hal.archives-ouvertes.fr/tel-01280467|HAL 01280467]], [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] ====== Présentations ====== ===== Séminaires ===== * 2020 : //A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching// (**Yoann Marquer**, Tania Richmond), [[https://www.lacl.fr/fr/|LACL]] Laboratoire d’Algorithmique, Complexité et Logique, [[fr:research:security#securisation_logicielle_par_echelonnement|sécurisation logicielle]] * 2018 : //Axiomatisation et caractérisation des algorithmes BSP// (**Yoann Marquer**, Frédéric Gava), [[https://www.lacl.fr/fr/|LACL]] Laboratoire d’Algorithmique, Complexité et Logique, [[fr:research:models-computation#algorithmes_paralleles|modèle de calcul parallèle]] * 2017 : //Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial// (**Yoann Marquer**, Pierre Valarcher), [[https://www.univ-orleans.fr/lifo/|LIFO]] Laboratoire d'Informatique Fondamentale d'Orléans, [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] * 2017 : //Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial// (**Yoann Marquer**, Pierre Valarcher), [[https://www.greyc.fr/|GREYC]] Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen, [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] * 2016 : //Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial// (**Yoann Marquer**, Pierre Valarcher), [[https://lipn.univ-paris13.fr/fr/|LIPN]] Laboratoire d'Informatique de Paris Nord, [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] * 2013 : //Complétude algorithmique des langages impératifs// (**Yoann Marquer**, Pierre Valarcher), [[https://www.lacl.fr/fr/|LACL]] Laboratoire d’Algorithmique, Complexité et Logique, [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] ===== Exposés ===== * 2015 : //Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial// (**Yoann Marquer**, Pierre Valarcher), soutenance de thèse, [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] * 2011 : //Réalisabilité en logique classique// (**Yoann Marquer**, Jean-Louis Krivine), stage de M2, [[fr:research:models-computation#realisabilite_classique|opérateurs de contrôle]] * 2011 : //La résolvante de Galois// (**Yoann Marquer**, Vincent Cossart), projet de M1, [[http://lmv.math.cnrs.fr/evenements-scientifiques/journees-mathematiques-des-20-ans|Journées Mathématiques]] des 20 ans de l'UVSQ, [[fr:research:archives#resolvante_de_galois|théorie de Galois]] * 2009 : //Les théorèmes d’incomplétude de Gödel// (**Yoann Marquer**, Martin Andler), projet de licence, [[fr:research:archives#theoremes_de_goedel|systèmes de preuve]]