Proof-Carrying Data from Arithmetized Random Oracles
Megan Chen, Alessandro Chiesa, Tom Gur, Jack O’Connor, Nicholas Spooner
Topics & Concepts
Random oracleOracleComputer scienceTheoretical computer scienceConstruct (python library)Cryptographic primitiveHash functionCryptographyDiscrete mathematicsAlgorithmMathematicsCryptographic protocolPublic-key cryptographyProgramming languageEncryptionOperating systemCryptography and Data SecurityComplexity and Algorithms in GraphsCryptographic Implementations and Security