1 paper · 1 filter
Maria Spichkova, Radhika Bhat
To analyse cryptographic properties of distributed systems in a systematic way, a formal theory is required. In this paper, we present a theory that allows (1) to specify distribut…