Bruno Blanchet, Pierre Boutry, Christian Dockzal, Benjamin Grégoire, Pierre-Yves Stub. CV2EC: Getting the Best of Both Worlds. To appear at CSF'24.
The source files are also included in the directory cv2EasyCrypt of CryptoVerif version 2.08. The files in the CryptoVerif distribution will be updated if needed as CryptoVerif and EasyCrypt evolve.