Work on DHKE protocol