Unexpected results when checking authenticity properties with ProVerif 2.02
In Diplodocus modeling, authenticity properties seem to be unsatisfied when checking them on channels relying on private buses (security verification is done with the latest ProVerif version, i.e. 2.02pl1).