Andrea Bisegna, Matteo Bitussi, Roberto Carbone, Silvio Ranise. Enhancing Security Testing for Identity Management Implementations: Introducing Micro-Id-Gym Language and Micro-Id-Gym Testing Tool. IEEE Security & Privacy, 22(6):50-61, November - December 2024. [doi]
Abstract is missing.