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 » Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols

Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols

Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza, Jalolliddin - In: Handbook Of Formal Analysis And Verification In Cryptography Yusupov (2023) Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols, In: Handbook of Formal Analysis and Verification in Cryptography, ISBN: 978-0-367-54665-6

Post navigation

  • Previous post Deep learning-based algorithm for postoperative glioblastoma MRI segmentation: a promising new tool for tumor burden assessment
  • Back to post list
  • Next post GX-HUI: Global Explanations of AI Models based on High-Utility Itemsets

Collaborations

 

© 2025 SmartData@PoliTO – All rights reserved

Homepage - Privacy - Cookie Policy - Contacts