Karim Baghery: Subversion-Resistant Simulation (Knowledge) Sound NIZKs. IMACC 2019: 42-63