Skip to Main content Skip to Navigation


hal-03518390v1  Book sections
Nicolas SchnepfRemi BadonnelAbdelkader LahmadiStephan Merz. Automated Orchestration of Security Chains Driven by Process Learning
Communication Networks and Service Management in the Era of Artificial Intelligence and Machine Learning, Wiley, 2021, 978-1-119-67550-1. ⟨10.1002/9781119675525.ch12⟩
...
hal-01892423v1  Conference papers
Nicolas SchnepfRemi BadonnelAbdelkader LahmadiStephan Merz. Rule-Based Synthesis of Chains of Security Functions for Software-Defined Networks
AVOCS 2018 - 18th International Workshop on Automated Verification of Critical Systems, Jul 2018, Oxford, United Kingdom
...
hal-02397981v1  Journal articles
Nicolas SchnepfRémi BadonnelAbdelkader LahmadiStephan Merz. Rule-Based Synthesis of Chains of Security Functions for Software-Defined Networks
Electronic Communications of the EASST, European Association of Software Science and Technology e.V, 2019, 076, ⟨10.14279/tuj.eceasst.76.1075.1042⟩
...
hal-01892397v1  Conference papers
Nicolas SchnepfRémi BadonnelAbdelkader LahmadiStephan Merz. Synaptic: A formal checker for SDN-based security policies
NOMS 2018 - IEEE/IFIP Network Operations and Management Symposium, Apr 2018, Taipei, Taiwan. ⟨10.1109/NOMS.2018.8406122⟩
...
hal-02111658v1  Conference papers
Nicolas SchnepfRémi BadonnelAbdelkader LahmadiStephan Merz. A Tool Suite for the Automated Synthesis of Security Function Chains
IFIP/IEEE IM 2019 - IFIP/IEEE International Symposium on Integrated Network Management, Apr 2019, Washington, United States
...
hal-02111656v1  Conference papers
Nicolas SchnepfRémi BadonnelAbdelkader LahmadiStephan Merz. Automated Factorization of Security Chains in Software-Defined Networks
IFIP/IEEE IM 2019 - IFIP/IEEE International Symposium on Integrated Network Management, Apr 2019, Washington, United States