Digital signatures from probabilistically checkable proofs
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1995.
Main Author: | Sidney, Raymond M. (Raymond Mark) |
---|---|
Other Authors: | Silvio Micali. |
Format: | Thesis |
Language: | eng |
Published: |
Massachusetts Institute of Technology
2007
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/36627 |
Similar Items
-
Probabilistically checkable proofs
by: Sudan, Madhu
Published: (2010) -
Probabilistically checkable proofs and the testing of Hadamard-like codes
by: Kiwi, Marcos
Published: (2005) -
Implementing Probabilistically Checkable Proofs of Proximity
by: Bhattacharyya, Arnab
Published: (2005) -
Machine-Checkable Correctness Proofs forIntra-procedural Dataflow Analyses
by: Salcianu, Alexandru, et al.
Published: (2005) -
The Revitalized Relationship Between Probabilistically Checkable Debate Systems, IP, and PSpace
by: Russell, Alexander, et al.
Published: (2023)