Verifying Privacy by Little Interaction and No Process Equivalence.

Denis Butin, Giampaolo Bella

Browse the full SECRYPT paper archive.