[1] | Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, and Stephan Merz. Automated orchestration of security chains driven by process learning. In Nur Zincir-Heywood, Yixin Diao, and Marco Mellia, editors, Communication Networks and Service Management in the era of Artificial Intelligence and Machine Learning. Wiley-IEEE Press, 111 River Street Hoboken NJ 07030 USA, 2021, in press. |
[2] | S. Schmid, N. Schnepf, and J. Srba. Resilient Capacity-Aware Routing. In Proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2021), 2021. [ DOI | View pdf ] |
[3] | S. Schmid, N. Schnepf, and J. Srba. Reproducibility Package for TACAS'21 Paper Resilient Capacity-Aware Routing, January 2021. https://doi.org/10.5281/zenodo.4421365. [ DOI | View pdf ] |
[4] | Nicolas Schnepf. Orchestration et vérification de fonctions de sécurité pour des environnements intelligents. (Orchestration and verification of security functions for smart devices). PhD thesis, University of Lorraine, Nancy, France, 2019. [ View pdf ] |
[5] | Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, and Stephan Merz. Automated factorization of security chains in software-defined networks. In Joe Betser, Carol J. Fung, Alex Clemm, Jérôme François, and Shingo Ata, editors, IFIP/IEEE International Symposium on Integrated Network Management, IM 2019, Washington, DC, USA, April 09-11, 2019, pages 374--380. IFIP, 2019. [ View pdf ] |
[6] | Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, and Stephan Merz. A tool suite for the automated synthesis of security function chains. In Joe Betser, Carol J. Fung, Alex Clemm, Jérôme François, and Shingo Ata, editors, IFIP/IEEE International Symposium on Integrated Network Management, IM 2019, Washington, DC, USA, April 09-11, 2019, pages 716--717. IFIP, 2019. [ View pdf ] |
[7] | Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, and Stephan Merz. Rule-based synthesis of chains of security functions for software-defined networks. Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 76, 2018. [ DOI | View pdf ] |
[8] | Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, and Stephan Merz. Synaptic: A formal checker for sdn-based security policies. In 2018 IEEE/IFIP Network Operations and Management Symposium, NOMS 2018, Taipei, Taiwan, April 23-27, 2018, pages 1--2. IEEE, 2018. [ DOI | View pdf ] |
[9] | Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, and Stephan Merz. Generation of SDN policies for protecting android environments based on automata learning. In 2018 IEEE/IFIP Network Operations and Management Symposium, NOMS 2018, Taipei, Taiwan, April 23-27, 2018, pages 1--7. IEEE, 2018. [ DOI | View pdf ] |
[10] | Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, and Stephan Merz. Automated verification of security chains in software-defined networks with synaptic. In 2017 IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, pages 1--9. IEEE, 2017. [ DOI | View pdf ] |
This file was generated by bibtex2html 1.99.