Nominal State-Separating Proofs. - Markus Krabbe Larsen; Carsten Schürmann (IACR Cryptol. ePrint Arch., 2025)

An Induction Principle for Hybrid Arguments in Nominal-SSProve. - Markus Krabbe Larsen; Carsten Schürmann (IACR Cryptol. ePrint Arch., 2025)