يعرض 1 - 10 نتائج من 41 نتيجة بحث عن '"Metere, Roberto"', وقت الاستعلام: 0.85s تنقيح النتائج
  1. 1
    مؤتمر
    Enhancing Expressiveness in Stochastic Modelling of Cyber-Physical Systems

    المؤلفون: Metere, Roberto, Czekster, Ricardo M., Arnaboldi, Luca

    المصدر: 2024 13th Mediterranean Conference on Embedded Computing (MECO) Embedded Computing (MECO), 2024 13th Mediterranean Conference on. :1-4 Jun, 2024

    Relation: 2024 13th Mediterranean Conference on Embedded Computing (MECO)

    Full Text Finder
    أضف إلى المفضلة
  2. 2
    تقرير
    Checking and Automating Confidentiality Theory in Isabelle/UTP

    المؤلفون: Bailey, Lex, Woodcock, Jim, Foster, Simon, Metere, Roberto

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

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

    أضف إلى المفضلة
  3. 3
    مؤتمر
    Automating Cryptographic Protocol Language Generation from Structured Specifications

    المؤلفون: Metere, Roberto, Arnaboldi, Luca

    المصدر: 2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2022 IEEE/ACM 10th International Conference on. :91-101 May, 2022

    Relation: 2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE)

    View Record from ACM Digital Library Full Text Finder
    أضف إلى المفضلة
  4. 4
    دورية أكاديمية
    A certificateless signature scheme and a certificateless public auditing scheme with authority trust level 3+

    المؤلفون: Li, Fei, Xie, DongqingAff1, IDs126520170553x_cor2, Gao, Wei, Chen, Kefei, Wang, Guilin, Metere, Roberto

    المصدر: Journal of Ambient Intelligence and Humanized Computing. 15(2):1317-1326

    Find this article in full text from Springer Verlag. Full Text Finder
    أضف إلى المفضلة
  5. 5
    تقرير
    An Overview of Cyber Security and Privacy on the Electric Vehicle Charging Infrastructure

    المؤلفون: Metere, Roberto, Pourmirza, Zoya, Walker, Sara, Neaimeh, Myriam

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

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

    أضف إلى المفضلة
  6. 6
    تقرير
    cyberaCTIve: a STIX-based Tool for Cyber Threat Intelligence in Complex Models

    المؤلفون: Czekster, Ricardo M., Metere, Roberto, Morisset, Charles

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

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

    أضف إلى المفضلة
  7. 7
    تقرير
    Automating Cryptographic Protocol Language Generation from Structured Specifications

    المؤلفون: Metere, Roberto, Arnaboldi, Luca

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

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

    أضف إلى المفضلة
  8. 8
    تقرير
    Securing the Electric Vehicle Charging Infrastructure

    المؤلفون: Metere, Roberto, Neaimeh, Myriam, Morisset, Charles, Maple, Carsten, Bellekens, Xavier, Czekster, Ricardo M.

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

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

    أضف إلى المفضلة
  9. 9
    تقرير
    Modelling Load-Changing Attacks in Cyber-Physical Systems

    المؤلفون: Arnaboldi, Luca, Czekster, Ricardo M., Metere, Roberto, Morisset, Charles

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

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

    أضف إلى المفضلة
  10. 10
    تقرير
    Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols

    المؤلفون: Arnaboldi, Luca, Metere, Roberto

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

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

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء