PARI/GP implementations of key exchange protocols