Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
|
fr:research:publications [2025/02/07 15:43] apeiron [Rapports techniques] |
fr:research:publications [2025/02/07 16:00] (Version actuelle) apeiron [Conférences internationales avec comité et actes publiés] |
||
|---|---|---|---|
| Ligne 10: | Ligne 10: | ||
| * 2024 : //AIM: Automated Input Set Minimization for Metamorphic Security Testing// (Nazanin Bayati Chaleshtari, **Yoann Marquer**, Fabrizio Pastore, Lionel C. Briand), [[https://ieeexplore.ieee.org/document/10738434|TSE]] IEEE Transactions on Software Engineering (Rang A* sur [[https://portal.core.edu.au/jnl-ranks/361/|CORE]] et [[https://www.scimagojr.com/journalsearch.php?q=18711&tip=sid|scimagojr]]), {{ :fr:research:aim_tse2024_complete.pdf |téléchargement}} | * 2024 : //AIM: Automated Input Set Minimization for Metamorphic Security Testing// (Nazanin Bayati Chaleshtari, **Yoann Marquer**, Fabrizio Pastore, Lionel C. Briand), [[https://ieeexplore.ieee.org/document/10738434|TSE]] IEEE Transactions on Software Engineering (Rang A* sur [[https://portal.core.edu.au/jnl-ranks/361/|CORE]] et [[https://www.scimagojr.com/journalsearch.php?q=18711&tip=sid|scimagojr]]), {{ :fr:research:aim_tse2024_complete.pdf |téléchargement}} | ||
| * 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 A/B]]), [[https://hal.archives-ouvertes.fr/hal-03189898|HAL 03189898]], [[fr:research:models-computation#algorithmes_paralleles|modèle de calcul parallèle]] | * 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 A/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 A/B]]), [[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 A/B]]), [[fr:research:models-computation#algorithmes_paralleles|modèle de calcul parallèle]] {{ :fr:research:paperbsp.pdf | téléchargement}} |
| * 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]] | * 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]] | ||
| Ligne 19: | Ligne 19: | ||
| * 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é]] | * 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é]] | ||
| - | * 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]] | + | * 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]] {{ :fr:research:paperladder.pdf |téléchargement}} |
| * 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]] | * 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 : //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]] | ||
| Ligne 47: | Ligne 47: | ||
| ===== Rapports techniques ===== | ===== Rapports techniques ===== | ||
| - | * 2021 : //Interleaved Ladders: One more Step on Generalizing the Montgomery Ladder// (**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]] | + | * 2024 : //Interleaved Ladders: One more Step on Generalizing the Montgomery Ladder// (**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]] |
| + | * 2022 : //The Indiscernibility Methodology: quantifying information leakage from side-channels with no prior knowledge// (**Yoann Marquer**, Olivier Zendra, Annelie Heuser), [[https://hal.science/hal-03157804|HAL 03157804]] | ||
| * 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 : //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 : //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]] | ||
| Ligne 61: | Ligne 62: | ||
| ===== Séminaires ===== | ===== Séminaires ===== | ||
| + | * 2024 : //Security analysis and testing of CPS software components in the COSMOS project// (**Yoann Marquer**), [[https://www.eventbrite.be/e/workshop-cyberexcellence-luxembourg-tickets-866543844967|CyberExcellence]] workshop | ||
| + | * 2022 : //The Interleaved Ladders: securing algorithms against side-channel and | ||
| + | fault-injection attacks// (**Yoann Marquer**)), [[https://www.univ-tln.fr/Institut-de-Mathematiques-de-Toulon-IMATH.html|IMATH]] équipe IAA : Informatique et Algèbre Appliquée | ||
| + | * 2021 : //The Interleaved Ladder Properties: Securing Algorithms Against Side-Channel and Fault-Injection Attacks// (**Yoann Marquer**), [[https://raim2021.sciencesconf.org/355928|RAIM]] 12èmes Rencontres Arithmétique de l'Informatique Mathématique | ||
| * 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]] | * 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]] | * 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]] | ||