Nicolas Schnepf

According to our database, Nicolas Schnepf authored at least 11 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Eagle: Vulnerability and Congestion Aware Software Update Synthesis in Softwarized Networks with a 5G Network Case Study.

Nicolas Schnepf, Remi Badonnel, Damien Saucez, Stefan Schmid, Jirí Srba

Proceedings of the NOMS 2025 IEEE Network Operations and Management Symposium, 2025

Enhancing Artificial Intelligence with Verification Techniques to Support Automated Moving Target Defense in Cloud Composite Services.

Mohamed Oulaaffart, Rémi Badonnel, Nicolas Schnepf, Christophe Bianco

Proceedings of the 11th IEEE International Conference on Network Softwarization, 2025

2022

The Hazard Value: A Quantitative Network Connectivity Measure Accounting for Failures.

Pieter Cuijpers, Stefan Schmid, Nicolas Schnepf, Jirí Srba

Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022

2021

Resilient Capacity-Aware Routing.

Stefan Schmid, Nicolas Schnepf, Jirí Srba

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2019

Orchestration et vérification de fonctions de sécurité pour des environnements intelligents. (Orchestration and verification of security functions for smart devices).

Nicolas Schnepf

PhD thesis, 2019

A Tool Suite for the Automated Synthesis of Security Function Chains.

Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz

Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management, 2019

Automated Factorization of Security Chains in Software-Defined Networks.

Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz

Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management, 2019

2018

Rule-Based Synthesis of Chains of Security Functions for Software-Defined Networks.

Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018

Generation of SDN policies for protecting android environments based on automata learning.

Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz

Proceedings of the 2018 IEEE/IFIP Network Operations and Management Symposium, 2018

Synaptic: A formal checker for SDN-based security policies.

Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz

Proceedings of the 2018 IEEE/IFIP Network Operations and Management Symposium, 2018

2017

Automated verification of security chains in software-defined networks with synaptic.

Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz

Proceedings of the 2017 IEEE Conference on Network Softwarization, 2017