Experiment artifacts for ASIACCS 2025 submission #175

DOI10.5281/zenodo.14629053Zenodo14629053MaRDI QIDQ6709663FDOQ6709663

Dataset published at Zenodo repository.

Ayoub Ben Hassen, Dhekra Mahmoud, Pascal Lafourcade, Maxime Puys

Publication date: 10 January 2025

Copyright license: Creative Commons Attribution-ShareAlike 4.0 International

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.

This page was built for dataset: Experiment artifacts for ASIACCS 2025 submission #175