Nicolas Schnepf

According to our database, Nicolas Schnepf authored at least 9 papers between 2017 and 2022.

Collaborative distances:

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

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