-
1مؤتمر
المصدر: 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)
-
2مؤتمر
المصدر: 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)
-
3
-
4
-
5كتاب إلكتروني
المؤلفون: Vigouroux, ThomasAff29, Bozga, MariusAff29, Ene, CristianAff29, Mounier, LaurentAff29
المساهمون: Goos, Gerhard, Series EditorAff1, Aff19, Hartmanis, Juris, Founding EditorAff2, Aff20, van Leeuwen, Jan, Series EditorAff3, Hutchison, David, Editorial Board MemberAff4, Kanade, Takeo, Editorial Board MemberAff5, Kittler, Josef, Editorial Board MemberAff6, Kleinberg, Jon M., Editorial Board MemberAff7, Kobsa, Alfred, Series EditorAff8, Mattern, Friedemann, Editorial Board MemberAff9, Mitchell, John C., Editorial Board MemberAff10, Naor, Moni, Editorial Board MemberAff11, Nierstrasz, Oscar, Series EditorAff12, Pandu Rangan, C., Editorial Board MemberAff13, Sudan, Madhu, Series EditorAff14, Terzopoulos, Demetri, Editorial Board MemberAff15, Tygar, Doug, Editorial Board MemberAff16, Weikum, Gerhard, Series EditorAff17, Vardi, Moshe Y, Series EditorAff18, Bertino, Elisa, Editorial Board MemberAff21, Gao, Wen, Editorial Board MemberAff22, Steffen, Bernhard, Editorial Board MemberAff23, Yung, Moti, Editorial Board MemberAff24, Woeginger, Gerhard, Editorial Board MemberAff25, Dimitrova, Rayna, editorAff26, Lahav, Ori, editorAff27, Wolff, Sebastian, editorAff28
المصدر: Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I. 14499:258-279
-
6مؤتمر
المؤلفون: 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)
-
7مؤتمر
المصدر: 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)
-
8مؤتمر
المؤلفون: 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)
-
9مؤتمر
المؤلفون: 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)
-
10تقرير
المؤلفون: 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