Indistinguishability Beyond Diff-Equivalence in ProVerif | IEEE Conference Publication | IEEE Xplore