12 RFCs mentioned in the text of RFC 6234 (US Secure Hash Algorithms (SHA and SHA-based HMAC and HKDF))