Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Naturally Rehearsing Passwords., , and . IACR Cryptology ePrint Archive, (2015)Coin Flipping by Telephone - A Protocol for Solving Impossible Problems.. COMPCON, page 133-137. IEEE Computer Society, (1982)Reducibility Among Protocols., , and . CRYPTO, page 137-146. Plenum Press, New York, (1983)Program Checking.. FSTTCS, volume 560 of Lecture Notes in Computer Science, page 1-9. Springer, (1991)Understanding and Inductive Inference.. COCOON, volume 6196 of Lecture Notes in Computer Science, page 1. Springer, (2010)Self-Correcting for Function Fields Transcendental Degree., , , and . ICALP, volume 944 of Lecture Notes in Computer Science, page 547-557. Springer, (1995)Designing Programs to Check Their Work (Abstract).. ISSTA, page 1. ACM, (1993)Verbosity: a game for collecting common-sense facts., , and . CHI, page 75-78. ACM, (2006)AI Consciousness is Inevitable: A Theoretical Computer Science Perspective, and . (2024)Time Bounds for Selection., , , , and . J. Comput. Syst. Sci., 7 (4): 448-461 (1973)