المؤلفون: Pijani, Bizhan, Alipour, 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), This work is supported by DIGITRUST (http://lue.univ-lorraine.fr/fr/article/digitrustTest/)., IMPACT-DIGITRUST, ANR-15-IDEX-0004,LUE,Isite LUE(2015)

المصدر: DEXA 2020 - 31st International Conference on Database and Expert Systems Applications ; https://inria.hal.science/hal-02988123Test ; DEXA 2020 - 31st International Conference on Database and Expert Systems Applications, Sep 2020, Bratislava, Slovakia. pp.33-47, ⟨10.1007/978-3-030-59051-2_3⟩

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

جغرافية الموضوع: Bratislava, Slovakia

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

الإتاحة: https://doi.org/10.1007/978-3-030-59051-2_3Test
https://inria.hal.science/hal-02988123Test
https://inria.hal.science/hal-02988123/documentTest
https://inria.hal.science/hal-02988123/file/dexa.pdfTest

المؤلفون: Pijani, Bizhan Alipour, 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), Université de Lorraine (UL), IMPACT-DIGITRUST, ANR-15-IDEX-0004,LUE,Isite LUE(2015)

المصدر: SAC '20 - 35th ACM/SIGAPP Symposium on Applied Computing ; https://inria.hal.science/hal-02974078Test ; SAC '20 - 35th ACM/SIGAPP Symposium on Applied Computing, Mar 2020, Brno, Czech Republic. pp.1826-1834, ⟨10.1145/3341105.3373943⟩

مصطلحات موضوعية: Social network, privacy, inference attack, gender inference, picture, Emojis, •Computer systems organization→Embedded systems, Redundancy, Robotics, •Networks→Network reliabilit, [INFO.INFO-SI]Computer Science [cs]/Social and Information Networks [cs.SI], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

جغرافية الموضوع: Brno, Czech Republic

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

الإتاحة: https://doi.org/10.1145/3341105.3373943Test
https://inria.hal.science/hal-02974078Test
https://inria.hal.science/hal-02974078/documentTest
https://inria.hal.science/hal-02974078/file/sac.pdfTest

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

المساهمون: Université de Lorraine (UL), 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), Stefanos Gritzalis, Edgar Weippl, Sok Katsikas, Gabriele Anderst-Kotsis, A Min Tjoa, Ismail Khalil, IMPACT-DIGITRUST

المصدر: TrustBus 2019 - 16th International Conference on Trust, Privacy and Security in Digital Business ; https://hal.univ-lorraine.fr/hal-02271825Test ; TrustBus 2019 - 16th International Conference on Trust, Privacy and Security in Digital Business, Aug 2019, Linz, Austria. pp.145--160, ⟨10.1007/978-3-030-27813-7_10⟩

مصطلحات موضوعية: social network, privacy, picture, gender inference, inference attack, [INFO.INFO-SI]Computer Science [cs]/Social and Information Networks [cs.SI]

جغرافية الموضوع: Linz, Austria

العلاقة: hal-02271825; https://hal.univ-lorraine.fr/hal-02271825Test; https://hal.univ-lorraine.fr/hal-02271825/documentTest; https://hal.univ-lorraine.fr/hal-02271825/file/Main.pdfTest

الإتاحة: https://doi.org/10.1007/978-3-030-27813-7_10Test
https://hal.univ-lorraine.fr/hal-02271825Test
https://hal.univ-lorraine.fr/hal-02271825/documentTest
https://hal.univ-lorraine.fr/hal-02271825/file/Main.pdfTest

المؤلفون: Pijani, Bizhan Alipour, 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), IMPACT-DIGITRUST, ANR-15-IDEX-0004,LUE,Isite LUE(2015)

المصدر: ISSN: 1559-6915 ; EISSN: 1931-0161.

مصطلحات موضوعية: Embedded systems, Redundancy, Robotics, Network reliability, Social network, privacy, inference attack, gender inference, picture, Emojis, graph embedding, [INFO.INFO-SI]Computer Science [cs]/Social and Information Networks [cs.SI], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

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

الإتاحة: https://doi.org/10.1145/3412816.3412819Test
https://inria.hal.science/hal-02996034Test
https://inria.hal.science/hal-02996034/documentTest
https://inria.hal.science/hal-02996034/file/attribute.pdfTest

المؤلفون: Macwan, Kamal, 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), LUE Digitrust

المصدر: The 9th International Conference on Social Networks Analysis, Management and Security ; https://inria.hal.science/hal-03937249Test ; The 9th International Conference on Social Networks Analysis, Management and Security, Nov 2022, Milan, Italy

مصطلحات موضوعية: Social Network, Recommendation, Attribute Privacy, Differential Privacy, Local Differential Privacy, [INFO]Computer Science [cs]

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

العلاقة: hal-03937249; https://inria.hal.science/hal-03937249Test

الإتاحة: https://inria.hal.science/hal-03937249Test

المؤلفون: Pijani, Bizhan Alipour, 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), Université de Lorraine (UL), IMPACT-DIGITRUST, ANR-15-IDEX-0004,LUE,Isite LUE(2015), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)

المصدر: SAC '20-35th ACM/SIGAPP Symposium on Applied Computing
SAC '20-35th ACM/SIGAPP Symposium on Applied Computing, Mar 2020, Brno, Czech Republic. pp.1826-1834, ⟨10.1145/3341105.3373943⟩

مصطلحات موضوعية: Social network, •Computer systems organization→Embedded systems, Redundancy, Robotics, •Networks→Network reliabilit, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], inference attack, picture, privacy, [INFO.INFO-SI]Computer Science [cs]/Social and Information Networks [cs.SI], gender inference, Emojis

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4510c0603b627c247698e4bed5fe7907Test
https://inria.hal.science/hal-02974078/file/sac.pdfTest

المؤلفون: Abdessamad Imine, Sourya Joyee De

المساهمون: 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), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Imine, Abdessamad

المصدر: SAC 2018-The 33rd ACM/SIGAPP Symposium On Applied Computing
SAC 2018-The 33rd ACM/SIGAPP Symposium On Applied Computing, Apr 2018, Pau, France. pp.1157--1164
SAC

مصطلحات موضوعية: Social network, business.industry, Computer science, [INFO.INFO-SI] Computer Science [cs]/Social and Information Networks [cs.SI], 05 social sciences, Internet privacy, social benefits, 050801 communication & media studies, harm trees, Revelation, [INFO.INFO-SI]Computer Science [cs]/Social and Information Networks [cs.SI], Task (project management), Data sharing, Online Social Networks (OSN), 0508 media and communications, Harm, Identity theft, 0502 economics and business, privacy risks, business, 050203 business & management, Integer Programming, User-centered design

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7067c84eb22e17c642e4d50c70336efdTest
https://hal.science/hal-01938876Test

المؤلفون: Abdessamad Imine, Sourya Joyee De

المساهمون: 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), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Imine, Abdessamad, 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)

المصدر: Lecture Notes in Computer Science ISBN: 9783319766867
CRiSIS
CRiSIS 2017-The 12th International Conference on Risks and Security of Internet and Systems
CRiSIS 2017-The 12th International Conference on Risks and Security of Internet and Systems, Sep 2017, Dinard, France

مصطلحات موضوعية: Risk analysis, Social graph, Social network, business.industry, Computer science, [INFO.INFO-SI] Computer Science [cs]/Social and Information Networks [cs.SI], Visibility (geometry), 020207 software engineering, 02 engineering and technology, harm trees, [INFO.INFO-SI]Computer Science [cs]/Social and Information Networks [cs.SI], Online Social Networks (OSN), [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Information sensitivity, Harm, Risk analysis (engineering), privacy harms, Identity theft, privacy score, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Privacy Risk Analysis (PRA), business, Social circle, [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR]

وصف الملف: application/pdf

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3a48583fcbd8639ef1b6b03d7a3a61a8Test
https://doi.org/10.1007/978-3-319-76687-4_16Test