A Detailed Analysis of Fiat-Shamir with Aborts
Julien Devevey, Pouria Fallahpour, Alain Passelègue, Damien Stehlé
Topics & Concepts
Random oracleComputer scienceHash functionCorrectnessBounded functionOracleSignature (topology)Theoretical computer scienceProtocol (science)Gas meter proverAbortDiscrete mathematicsAlgorithmMathematicsPublic-key cryptographyEncryptionComputer securityProgramming languageGeometryPathologyAlternative medicineMedicineMathematical proofMathematical analysisCryptography and Data SecurityCryptographic Implementations and SecurityPrivacy-Preserving Technologies in Data