Skip to content
Back Home
  • About
    • The mission
    • Contacts
    • People who are involved
    • External Advisory Board
  • News
  • Events
    • 10th SmartData@PoliTO Workshop – Present and Future Directions
    • 9th SmartData@PoliTO Workshop – SmartData@PoliTO meets AI-H@PoliTO
    • La biblioteca nel metaverso – la Reading & Machine
  • Workshops
    • Seminars
      • AI4Industry – the role of AI and Data-driven Analysis in the Future of European Industry
      • On the dynamics of music virality and its relation with mainstream success
      • Bypass frauds in cellular networks: from Financial strikes to Data poisoning
    • SmartTalks
  • Education
    • Courses for PhD students
    • PhD Course: Topological Data Analysis
    • PhD Course: Data Science for Networks
    • Corporate training on Digital Transformation
  • Research
    • Publications
    • Current PhD
    • Projects
    • Open Datasets & Libraries
    • Topics
  • Open Positions
    • open position – PhD student
    • open position – Assistant Professor with time contract (RTD-A)
    • open position – PostDoc researchers
    • Open position – Technologist
  • BigData Cluster
    • Computing Facilities
    • Request BigData@Polito Account
    • BigData@Polito Access Instructions
    • Run Jobs with Custom Packages
  • Private Area
  • Search
Back Home
  • About
    • The mission
    • Contacts
    • People who are involved
    • External Advisory Board
  • News
  • Events
    • 10th SmartData@PoliTO Workshop – Present and Future Directions
    • 9th SmartData@PoliTO Workshop – SmartData@PoliTO meets AI-H@PoliTO
    • La biblioteca nel metaverso – la Reading & Machine
  • Workshops
    • Seminars
      • AI4Industry – the role of AI and Data-driven Analysis in the Future of European Industry
      • On the dynamics of music virality and its relation with mainstream success
      • Bypass frauds in cellular networks: from Financial strikes to Data poisoning
    • SmartTalks
  • Education
    • Courses for PhD students
    • PhD Course: Topological Data Analysis
    • PhD Course: Data Science for Networks
    • Corporate training on Digital Transformation
  • Research
    • Publications
    • Current PhD
    • Projects
    • Open Datasets & Libraries
    • Topics
  • Open Positions
    • open position – PhD student
    • open position – Assistant Professor with time contract (RTD-A)
    • open position – PostDoc researchers
    • Open position – Technologist
  • BigData Cluster
    • Computing Facilities
    • Request BigData@Polito Account
    • BigData@Polito Access Instructions
    • Run Jobs with Custom Packages
  • Private Area
Home » Publications » Formal verification of a V2X scheme mixing traditional PKI and group signatures

Formal verification of a V2X scheme mixing traditional PKI and group signatures

Simone Bussa, Riccardo Sisto, Fulvio Valenza (2025) Formal verification of a V2X scheme mixing traditional PKI and group signatures, In: OPEN JOURNAL OF INFORMATION SECURITY AND APPLICATIONS, ISSN: 2374-6262

Post navigation

  • Previous post Structure and Shock Resistance in Financial Networks: A Numerical Study
  • Back to post list
  • Next post Enhancing sand table based incident command training with extended reality and interactive simulations: A use case in forest firefighting

Collaborations

 

© 2025 SmartData@PoliTO – All rights reserved

Homepage - Privacy - Cookie Policy - Contacts