440 likes | 565 Views
Highlights of past lectures. Presented a basic framework for analyzing the security of protocols for multi-party function evaluation.Presented the notion of modular composition.Stated and proved the non-concurrent. composition theoremShowed how to capture ZK and PoK within this framework.Used t
E N D