tag:blogger.com,1999:blog-6839602.post6808416011239950610..comments2022-11-09T02:47:35.885-08:00Comments on Everyone Else is Crazy: Are there any Zero-Knowledge Proofs?Jim Applehttp://www.blogger.com/profile/11080395413026172939noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-6839602.post-52834445796535963152007-09-09T06:47:00.000-07:002007-09-09T06:47:00.000-07:00More research between types and cryptography: "Log...More research between types and cryptography: "Logical Relations for Encryption", "A Bisimulation for Dynamic Sealing" (<A HREF="http://www.kb.ecei.tohoku.ac.jp/~sumii/pub/" REL="nofollow">Eijiro Sumii and Benjamin C. Pierce</A>)Anonymousnoreply@blogger.com