Design And Analysis Of Privacy-Preserving Protocols