Published January 10, 2025 | Version v1
Dataset Open

Experiment artifacts for ASIACCS 2025 submission #175

Authors/Creators

  • 1. ROR icon University of Carthage
  • 2. ROR icon Clermont Université
  • 3. EDMO icon Clermont Auvergne University
  • 4. ROR icon Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes
  • 5. ROR icon Université Clermont Auvergne

Description

Experiment artifacts for ASIACCS submission #175 

Paper: "Formal Analysis of SDNsec: Attacks and Corrections for Payload, Route Integrity and Accountability"

It contains 

# ProVerif Models

In folder [codes](codes/), one can find ProVerif models.

# Automatically Generated ProVerif Models for Topologies up to N

In folder [Route-N](Route-N/), one can find ProVerif models for our corrected version automatically generated for any given number of switches.

# RYU SDN Controller Implementation

In folder [ryu](ryu/), one can find implementations using RYU SDN controller.

Files

Files (174.1 kB)

Name Size Download all
md5:0c697f540018b636797d627433a1b0a9
174.1 kB Download

Additional details

Funding

Agence Nationale de la Recherche
SEVERITAS - Secure and Verifiable Test and Assessment System ANR-20-CE39-0009
Agence Nationale de la Recherche
PRIVA-SIQ - Privacy-preserving secure communications despite subversions, interceptions, and quantum adversaries ANR-23-CE39-0008

Software

Programming language
Python