Provably Correct Crypto?

[Futplex]

Phil writes:
> Or perhaps just rewrite the program to use plain arrays instead of
> pointers. ;-)

How about Java-PGP ?  ;)

-Futplex