A Usability Study of Cryptographic API Design