Non-Transitive Transfer of Confidence: A Perfect Zero-Knowledge Interactive Protocol for SAT and Beyond

Gilles Brassard, Claude Crpeau

Browse the full FOCS paper archive.