Springer eBooksInteractive Proof SystemsDaniele Micciancio, Shafi GoldwasserPublished Jan 1, 2002• 4 citationsPublisherDOI10.1007/978-1-4615-0897-7_9