Book Chapter
Optimal non-approximability of MaxClique
Mastin Mundhenk and Anna Slobodová
Lecture Notes in Computer Science, 1998, Volume 1367, Lectures on Proof Verification and Approximation Algorithms, Pages 235-248
Book Chapter
Computationally-sound checkers
Silvio Micali
Lecture Notes in Computer Science, 1998, Volume 1450, Mathematical Foundations of Computer Science 1998, Pages 94-116
Book Chapter
Inverse Problems Have Inverse Complexity
Tobias Berg and Harald Hempel
IFIP International Federation for Information Processing, 2008, Volume 273, Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008, Pages 73-86
Book Chapter
Sequential iteration of interactive arguments and an efficient zero-knowledge argument for NP
Ivan Damgård and Birgit Pfitzmann
Lecture Notes in Computer Science, 1998, Volume 1443, Automata, Languages and Programming, Pages 772-783
Book Chapter
Proof checking and non-approximability
Stefan Hougardy
Lecture Notes in Computer Science, 1998, Volume 1367, Lectures on Proof Verification and Approximation Algorithms, Pages 63-82
Book Chapter
Security analysis of a practical “on the fly” authentication and signature generation
Guillaume Poupard and Jacques Stern
Lecture Notes in Computer Science, 1998, Volume 1403, Advances in Cryptology — EUROCRYPT'98, Pages 422-436
Book Chapter
A Randomized Algorithm for BBCSPs in the Prover-Verifier Model
K. Subramani
Lecture Notes in Computer Science, 2007, Volume 4711, Theoretical Aspects of Computing – ICTAC 2007, Pages 455-466
Book Chapter
Non-clausal reasoning with propositional definite theories
Zbigniew Stachniak
Lecture Notes in Computer Science, 1998, Volume 1476, Artificial Intelligence and Symbolic Computation, Pages 296-307
Book Chapter
Fast batch verification for modular exponentiation and digital signatures
Mihir Bellare, Juan A. Garay and Tal Rabin
Lecture Notes in Computer Science, 1998, Volume 1403, Advances in Cryptology — EUROCRYPT'98, Pages 236-250
Journal Article
SZK Proofs for Black-Box Group Problems
V. Arvind and Bireswar Das
Theory of Computing Systems, 2008, Volume 43, Number 2, Pages 100-117