Sound Approximations to Diffie-Hellman Using Rewrite Rules.

Christopher Lynch, Catherine Meadows

Browse the full ICICS paper archive.