Adaptive Soundness of Static Equivalence.

Steve Kremer, Laurent Mazar

Browse the full ESORICS paper archive.