Arthur Tran Van

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Sequence Diagrams

Recurrent Networks

Top Venues

ACM Trans. Internet Techn.

Publications

Arthur Tran Van, Olivier Levillain, Hervé Debar
Mealy Verifier: An Automated, Exhaustive, and Explainable Methodology for Analyzing State Machines in Protocol Implementations. ARES (2024)
Luca Muscariello, Michele Papalini, Olivier Roques, Mauro Sardara, Arthur Tran Van
Securing Scalable Real-time Multiparty Communications with Hybrid Information-centric Networking. ACM Trans. Internet Techn. 23 (2) (2023)