Publication | Closed Access
Batch Processing for Proofs of Partial Knowledge and Its Applications
12
Citations
6
References
2008
Year
Cryptographic PrimitiveEngineeringInformation SecurityVerificationAutomated ProofCryptographic ProtocolFormal VerificationHardware SecurityProof ComplexitySecure ComputingBatch Processing ProtocolsBatch ProcessingSecure ProtocolSecure Multi-party ComputationPartial KnowledgeKnowledge DiscoveryComputer EngineeringProof TheoryComputer ScienceData SecurityCryptographyAutomated ReasoningFormal MethodsProof AssistantProof System
This paper presents batch processing protocols for efficiently proving a great deal of partial knowledge. These protocols reduce the computation and communication costs for a MIX-net and secure circuit evaluation. The efficiency levels of the proposed protocols are estimated based on the implementation results of a secure circuit evaluation with batch processing.
| Year | Citations | |
|---|---|---|
Page 1
Page 1