Securing Scalable Real-time Multiparty Communications with Hybrid Information-centric Networking. - Luca Muscariello; Michele Papalini; Olivier Roques; Mauro Sardara; Arthur Tran Van (ACM Trans. Internet Techn., 2023)

Mealy Verifier: An Automated, Exhaustive, and Explainable Methodology for Analyzing State Machines in Protocol Implementations. - Arthur Tran Van; Olivier Levillain; Hervé Debar (ARES, 2024)

POMS : Proxy Offloading for Multicloud Storage with Keyword Search. - Adam Oumar Abdel-Rahman; Sofiane Azogagh; Zelma Aubin Birba; Arthur Tran Van (IACR Cryptol. ePrint Arch., 2024)