A deterministic implementation of some of the OpenSSL functionalities