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 » Toward Correctness by Construction for Network Security Configuration

Toward Correctness by Construction for Network Security Configuration

Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza (2025) Toward Correctness by Construction for Network Security Configuration, In: The 8th International Conference, MobiSec 2024, Sapporo, Japan, December 17–19, 2024, Revised Selected Papers, pp. 391-404, ISBN: 9789819501717

Post navigation

  • Previous post A combined computational-clinical framework to investigate the impact of lower body negative pressure on the cardiovascular system
  • Back to post list
  • Next post Institutional embeddedness and dynamic capabilities in human-centric work-time innovation

Collaborations

 

© 2025 SmartData@PoliTO – All rights reserved

Homepage - Privacy - Cookie Policy - Contacts