All graph state verification protocols are composably secure. - Léo Colisson; Damian Markham; Raja Yehia (CoRR, 2024)