I'd say that Ada would be well-suited for this. Particularly for implementing crypto. It has a steep learning curve, though. Edit: Sorry, wrote this too hasti

I'd say that Ada would be well-suited for this. Particularly for implementing crypto. It has a steep learning curve, though. Edit: Sorry, wrote this too hastily and want to put it in perspective. While Ada is well-suited for cryptography and has some good implementations, it is probably not as secure as C crypto libraries in practice. The reason is that the implementations I know don't do OS-specific things like locking memory or preventing core dumps, and doing this in Ada is a bit harder than in C.