Arthur Tran Van

According to our database, Arthur Tran Van authored at least 3 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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

Mealy Verifier: An Automated, Exhaustive, and Explainable Methodology for Analyzing State Machines in Protocol Implementations.

Arthur Tran Van, Olivier Levillain, Hervé Debar

Proceedings of the 19th International Conference on Availability, Reliability and Security, 2024

2023

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