Search Results for 'Sound approximations to diffie hellman utilizing revise rules'