Reasoning about Moving Target Defense in Attack Modeling Formalisms. - Gabriel Ballot; Vadim Malvone; Jean Leneutre; Etienne Borde (MTD@CCS, 2022)

Capacity ATL: Reasoning About Agent Profiles and Applications to Cybersecurity. - Gabriel Ballot (EUMAS, 2023)

Capacity ATL. - Gabriel Ballot; Vadim Malvone; Jean Leneutre; Youssef Laarouchi (CoRR, 2023)

Strategic Reasoning under Capacity-constrained Agents. - Gabriel Ballot; Vadim Malvone; Jean Leneutre; Youssef Laarouchi (AAMAS, 2024)

Alternating-time Temporal Logic with Stochastic Abilities. - Gabriel Ballot; Vadim Malvone; Jean Leneutre; Jingxuan Ma; Mourad Leslous (AAMAS, 2025)