A clean room implementation of the Java Cryptograph Extension (JCE) API