Software-Defined Networks: Improving Network Management with SDN, IEEE Communications Magazine, 2013. ,
Towards Generation of SDN Policies for Protecting Android Environments based on Automata Learning, Proceedings of the 16th Network Operations and Management Symposium (IEEE/IFIP NOMS'18), 2018. ,
Languages for Software-Defined Networks, 2016. ,
Frenetic, a Network Programming Language, Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming (ICFP'11), 2011. ,
FlowChecker, Configuration Analysis and Verification of Federated OpenFlow Infrastructures, Proceedings of the 3rd ACM Workshop on Assurable and Usable Security Configuration (CCS'10), 2010. ,
Vericon: Towards Verifying Controller Programs in Software-Defined Networks, Proc. 35th ACM SIGPLAN Intl. Conf. Programming Language Design (PLDI'14), pp.282-293, 2014. ,
Kinetic: Verifiable Dynamic Network Control, Proceedings of the 12th USENIX Conference on Networked Systems Design and Implementation (NSDI'15), 2015. ,
A platform for the analysis and visualization of network flow data of android environments, IFIP/IEEE International Symposium on Integrated Network Management (IM), 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01242911
Automated factorization of security chains in software-defined networks, Proceedings of the 16th IFIP/IEEE Symposium on Integrated Network and Service Management, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02111656
, Rule-Based Synthesis of Chains of Security Functions for Software-Defined Networks, Proceedings of the 18th International Workshop on Automated Verification of Critical Systems (AVOCS'18), 2018.