| 2025 | ICCCN | A Security Framework leveraging Programmable Data Planes for Detecting PTP Time-delay Attacks. | Huu Nghia Nguyen, Edgardo Montes de Oca, Frank Drr, Jos Costa-Requena, Marilet De Andrade |
| 2023 | NOMS | A Comprehensive P4-based Monitoring Framework for L4S leveraging In-band Network Telemetry. | Huu Nghia Nguyen, Bertrand Mathieu, Marius Letourneau, Guillaume Doyen, Stphane Tuffin, Edgardo Montes de Oca |
| 2022 | ICSoft | A Formal Approach for Complex Attacks Generation based on Mutation of 5G Network Traffic. | Zujany Salazar, Fatiha Zadi, Wissam Mallouli, Ana Rosa Cavalli, Huu Nghia Nguyen, Edgardo Montes de Oca |
| 2021 | CNSM | Assessing the Threats Targeting Low Latency Traffic: the Case of L4S. | Marius Letourneau, Kouame Boris N'Djore, Guillaume Doyen, Bertrand Mathieu, Rmi Cogranne, Huu Nghia Nguyen |
| 2016 | SEKE | Effectively Testing of Timed Composite Systems using Test Case Prioritization. | Huu Nghia Nguyen, Fatiha Zadi, Ana R. Cavalli |
| 2014 | APSEC | A Framework for Distributed Testing of Timed Composite Systems. | Huu Nghia Nguyen, Fatiha Zadi, Ana R. Cavalli |
| 2014 | SEKE | Formal Verification of Coordination Systems' Requirements - A Case Study on the European Train Control System. | Huu Nghia Nguyen, Ana R. Cavalli |
| 2013 | ISSRE | Automatic skeleton generation for data-aware service choreographies. | Huu Nghia Nguyen, Pascal Poizat, Fatiha Zadi |
| 2012 | ICSOC | A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies. | Huu Nghia Nguyen, Pascal Poizat, Fatiha Zadi |
| 2012 | SAC | Passive conformance testing of service choreographies. | Huu Nghia Nguyen, Pascal Poizat, Fatiha Zadi |