المؤلفون: Chevalier, Yannick, Rusinowitch, Michaël

المصدر: EPTCS 342, 2021, pp. 22-34

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

الوصول الحر: http://arxiv.org/abs/2109.02802Test

المؤلفون: Zahwa, Wafik, Lahmadi, Abdelkader, Rusinowitch, Michael, Ayadi, Mondher

المساهمون: Proof techniques for security protocols (PESTO), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Resilience and Elasticity for Security and ScalabiliTy of dynamic networked systems (RESIST), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Networks, Systems and Services (LORIA - NSS), NUMERYX, This work is supported by a CIFRE convention betweenthe ANRT (National Association of Research and Technology)and the company NUMERYX Technologies.

المصدر: International Conference on Network Softwarization (NetSoft) ; 2023 IEEE 9th International Conference on Network Softwarization (NetSoft) ; https://inria.hal.science/hal-04236850Test ; 2023 IEEE 9th International Conference on Network Softwarization (NetSoft), Jun 2023, Madrid, Spain. pp.486-491, ⟨10.1109/NetSoft57336.2023.10175436⟩

مصطلحات موضوعية: ACL, automated rule placement, SDN, mincut, greedy algorithm, reinforcement learning, [INFO]Computer Science [cs]

جغرافية الموضوع: Spain

الوقت: Madrid, Spain

العلاقة: hal-04236850; https://inria.hal.science/hal-04236850Test; https://inria.hal.science/hal-04236850/documentTest; https://inria.hal.science/hal-04236850/file/netadata_v2.pdfTest

الإتاحة: https://doi.org/10.1109/NetSoft57336.2023.10175436Test
https://inria.hal.science/hal-04236850Test
https://inria.hal.science/hal-04236850/documentTest
https://inria.hal.science/hal-04236850/file/netadata_v2.pdfTest

المؤلفون: Du, Wei, Narendran, Paliath, Rusinowitch, Michael

المساهمون: University at Albany SUNY, State University of New York (SUNY), Proof techniques for security protocols (PESTO), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Veena Ravishankar, Christophe Ringeissen

المصدر: UNIF 2023 - Informal Proceedings of the 37th International Workshop on Unification ; UNIF 2023 - 37th International Workshop on Unification ; https://inria.hal.science/hal-04128213Test ; UNIF 2023 - 37th International Workshop on Unification, Veena Ravishankar; Christophe Ringeissen, Jul 2023, Rome, Italy

مصطلحات موضوعية: [INFO]Computer Science [cs]

جغرافية الموضوع: Rome, Italy

العلاقة: hal-04128213; https://inria.hal.science/hal-04128213Test; https://inria.hal.science/hal-04128213/documentTest; https://inria.hal.science/hal-04128213/file/UNIF_2023_paper_7.pdfTest

الإتاحة: https://inria.hal.science/hal-04128213Test
https://inria.hal.science/hal-04128213/documentTest
https://inria.hal.science/hal-04128213/file/UNIF_2023_paper_7.pdfTest

المؤلفون: Nguyen, Hiep H., Imine, Abdessamad, Rusinowitch, Michael

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

الوصول الحر: http://arxiv.org/abs/1609.01616Test

المؤلفون: Nguyen, Hiep H., Imine, Abdessamad, Rusinowitch, Michael

مصطلحات موضوعية: Computer Science - Social and Information Networks

الوصول الحر: http://arxiv.org/abs/1607.02060Test

المؤلفون: Nguyen, Hiep H., Imine, Abdessamad, Rusinowitch, Michaël

مصطلحات موضوعية: Computer Science - Social and Information Networks

الوصول الحر: http://arxiv.org/abs/1408.1209Test

المؤلفون: Anantharaman, Siva, Bouchard, Christopher, Narendran, Paliath, Rusinowitch, Michaël

المصدر: Logical Methods in Computer Science, Volume 10, Issue 1 (February 9, 2014) lmcs:808

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

الوصول الحر: http://arxiv.org/abs/1401.0445Test

المؤلفون: Eidizadehakhcheloo, Sanaz, Pijani, Bizhan, Alipour, Imine, Abdessamad, Rusinowitch, Michaël

المساهمون: Università degli Studi di Roma "La Sapienza" = Sapienza University Rome (UNIROMA), Proof techniques for security protocols (PESTO), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), TC 11, WG 11.3, Ken Barker

المصدر: Lecture Notes in Computer Science ; 35th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec) ; https://inria.hal.science/hal-03463902Test ; 35th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2021, Calgary, AB, Canada. pp.338-356, ⟨10.1007/978-3-030-81242-3_20⟩

مصطلحات موضوعية: Social Networks, Privacy, Attribute Inference Attack, Random Indexing, [INFO.INFO-SI]Computer Science [cs]/Social and Information Networks [cs.SI], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

جغرافية الموضوع: Calgary, AB

العلاقة: hal-03463902; https://inria.hal.science/hal-03463902Test; https://inria.hal.science/hal-03463902/documentTest; https://inria.hal.science/hal-03463902/file/main.pdfTest

الإتاحة: https://doi.org/10.1007/978-3-030-81242-3_20Test
https://inria.hal.science/hal-03463902Test
https://inria.hal.science/hal-03463902/documentTest
https://inria.hal.science/hal-03463902/file/main.pdfTest

المؤلفون: Belhadj-Cheikh, Noreddine, Imine, Abdessamad, Rusinowitch, Michaël

المساهمون: Proof techniques for security protocols (PESTO), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)

المصدر: PST 2021 - 18th Annual International Conference on Privacy, Security and Trust ; https://inria.hal.science/hal-03480304Test ; PST 2021 - 18th Annual International Conference on Privacy, Security and Trust, Dec 2021, Auckland/Virtual, New Zealand

مصطلحات موضوعية: Social Networks, Privacy, Adversarial Machine Learning, Explainability, [INFO.INFO-SI]Computer Science [cs]/Social and Information Networks [cs.SI], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

جغرافية الموضوع: Auckland/Virtual, New Zealand

العلاقة: hal-03480304; https://inria.hal.science/hal-03480304Test; https://inria.hal.science/hal-03480304/documentTest; https://inria.hal.science/hal-03480304/file/main-pst-final.pdfTest

الإتاحة: https://inria.hal.science/hal-03480304Test
https://inria.hal.science/hal-03480304/documentTest
https://inria.hal.science/hal-03480304/file/main-pst-final.pdfTest

المؤلفون: Ghabri, Hatem, Maatoug, Ghazi, Rusinowitch, Michael

المصدر: EPTCS 122, 2013, pp. 39-49

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

الوصول الحر: http://arxiv.org/abs/1307.8210Test