asifmallik

require import AllCore Int Real Distr DBool.
require DiffieHellman.

  pragma -oldip.
  pragma +implicits.

clone import DiffieHellman as DH.


module type Adversary = {