Sequential composition of protocols without simultaneous termination (2002)

by Yehuda Lindell, Anna Lysyanskaya, Tal Rabin
Venue:In PODC