Computational Soundness for Interactive Primitives.

Michael Backes, Esfandiar Mohammadi, Tim Ruffing

Browse the full ESORICS paper archive.