Modularity of mix-server security proofs in the CCSA logic: case of Bayer-Groth protocol

Date: 24-26 March 2026   At: Luz-Saint-Sauveur, France -- GT MFS days