Verilog simulation & synthesis of Diffie-Hellman key exchange
Look on opencores within the vhdl section.  

There are some older dos-era vhdl programs on simtel that have parsed-out statements so it might be more trouble than it is worth, but at least you could look under the hood of each function, grab what you need, run a lint checker etc, then perform verification.