A security architecture for the internet protocolP.-C. ChengJuan A. Garayet al.1998IBM Systems Journal
On the composition of zero-knowledge proof systemsOded GoldreichHugo Krawczyk1996SIAM Journal on Computing