A Machine-Checked Formalization of the Random Oracle Model

This publication has 15 references indexed in Scilit:

• A Machine-Checked Formalization of the Generic Model and the Random Oracle Model
  Published by Springer Nature ,2004
• Setoids in type theory
  Journal of Functional Programming, 2003
• Security of Blind Discrete Log Signatures against Interactive Attacks
  Published by Springer Nature ,2001
• Non-Interactive Zero-Knowledge Proof of Knowledge and Chosen Ciphertext Attack
  Published by Springer Nature ,2001
• Proof-Assistants Using Dependent Type Systems
  Published by Elsevier ,2001
• A Public Key Cryptosystem and a Signature Scheme Based on Discrete Logarithms
  Published by Springer Nature ,2000
• Prudent engineering practice for cryptographic protocols
  IEEE Transactions on Software Engineering, 1996
• Complexity of a determinate algorithm for the discrete logarithm
  Mathematical Notes, 1994
• Random oracles are practical
  Published by Association for Computing Machinery (ACM) ,1993
• New directions in cryptography
  IEEE Transactions on Information Theory, 1976