Securing the Standards: Bringing Cryptographic Security Proofs Closer to the Real World