Guidelines for Writing Cryptography Specifications · HackerTrans