المؤلفون: Boespflug, Etienne, Mounier, Laurent, Potet, Marie-Laure, Bouguern, Abderrahmane

المصدر: 2023 Workshop on Fault Detection and Tolerance in Cryptography (FDTC) FDTC Fault Detection and Tolerance in Cryptography (FDTC), 2023 Workshop on. :24-35 Sep, 2023

Relation: 2023 Workshop on Fault Detection and Tolerance in Cryptography (FDTC)

المؤلفون: Vigouroux, Thomas, Ene, Cristian, Monniaux, David, Mounier, Laurent, Potet, Marie-Laure

المصدر: 2022 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2022. :170-178 Oct, 2022

Relation: 2022 Formal Methods in Computer-Aided Design (FMCAD)

المؤلفون: Vigouroux, Thomas, Bozga, Marius, Ene, Cristian, Mounier, Laurent

مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2305.10003

المؤلفون: Boespflug, Etienne, Bouguern, Abderrahmane, Mounier, Laurent, Potet, Marie-Laure

مصطلحات موضوعية: Computer Science - Cryptography and Security

URL الوصول: http://arxiv.org/abs/2303.01885

المؤلفون: Vigouroux, Thomas^Aff29, Bozga, Marius^Aff29, Ene, Cristian^Aff29, Mounier, Laurent^Aff29

المساهمون: Goos, Gerhard, Series Editor^{Aff1, Aff19}, Hartmanis, Juris, Founding Editor^{Aff2, Aff20}, van Leeuwen, Jan, Series Editor^Aff3, Hutchison, David, Editorial Board Member^Aff4, Kanade, Takeo, Editorial Board Member^Aff5, Kittler, Josef, Editorial Board Member^Aff6, Kleinberg, Jon M., Editorial Board Member^Aff7, Kobsa, Alfred, Series Editor^Aff8, Mattern, Friedemann, Editorial Board Member^Aff9, Mitchell, John C., Editorial Board Member^Aff10, Naor, Moni, Editorial Board Member^Aff11, Nierstrasz, Oscar, Series Editor^Aff12, Pandu Rangan, C., Editorial Board Member^Aff13, Sudan, Madhu, Series Editor^Aff14, Terzopoulos, Demetri, Editorial Board Member^Aff15, Tygar, Doug, Editorial Board Member^Aff16, Weikum, Gerhard, Series Editor^Aff17, Vardi, Moshe Y, Series Editor^Aff18, Bertino, Elisa, Editorial Board Member^Aff21, Gao, Wen, Editorial Board Member^Aff22, Steffen, Bernhard, Editorial Board Member^Aff23, Yung, Moti, Editorial Board Member^Aff24, Woeginger, Gerhard, Editorial Board Member^Aff25, Dimitrova, Rayna, editor^Aff26, Lahav, Ori, editor^Aff27, Wolff, Sebastian, editor^Aff28

المصدر: Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I. 14499:258-279

المؤلفون: Recoules, Frederic, Bardin, Sebastien, Bonichon, Richard, Lemerre, Matthieu, Mounier, Laurent, Potet, Marie-Laure

المصدر: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2021 IEEE/ACM 43rd International Conference on. :1236-1247 May, 2021

Relation: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)

المؤلفون: Boespflug, Etienne, Ene, Cristian, Mounier, Laurent, Potet, Marie-Laure

المصدر: 2020 Workshop on Fault Detection and Tolerance in Cryptography (FDTC) FDTC Fault Detection and Tolerance in Cryptography (FDTC), 2020 Workshop on. :26-34 Sep, 2020

Relation: 2020 Workshop on Fault Detection and Tolerance in Cryptography (FDTC)

المؤلفون: Recoules, Frederic, Bardin, Sebastien, Bonichon, Richard, Mounier, Laurent, Potet, Marie-Laure

المصدر: 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) Automated Software Engineering (ASE), 2019 34th IEEE/ACM International Conference on. :577-589 Nov, 2019

Relation: 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)

المؤلفون: Recoules, Frederic, Bardin, Sebastien, Bonichon, Richard, Lemerre, Matthieu, Mounier, Laurent, Potet, Marie-Laure

المصدر: 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ICSE-COMPANION Software Engineering: Companion Proceedings (ICSE-Companion), 2021 IEEE/ACM 43rd International Conference on. :201-202 May, 2021

Relation: 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)

المؤلفون: Ene, Cristian, Mounier, Laurent, Potet, Marie-Laure

المصدر: Logical Methods in Computer Science, Volume 17, Issue 1 (February 12, 2021) lmcs:5779

مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/1909.09567