Random oracle model proofs and programmability Posted by dira, at crypto.stackexchange.com, 07 Dec 2011 Proving the security of a scheme with the random oracle model (ROM) involves two steps: first you prove that the scheme is…