Results 21 to 30 of about 54,744 (297)

Information Privacy Protection Based on Verifiable (t, n)-Threshold Multi-Secret Sharing Scheme

open access: yesIEEE Access, 2020
General secret sharing schemes comprise a secret dealer and a number of participants. The dealer can randomly generate a secret and then distribute shares of the secret to the participants.
Na Wang   +3 more
doaj   +1 more source

The publicly-verifiable scheme architecture.

open access: yes, 2021
The publicly-verifiable scheme architecture.
Faguo Wu (3337191)   +3 more
core   +1 more source

Verifiable Offers and the Relationship Between Auctions and Multilateral Negotiations

open access: yes, 2005
We use the experimental method to compare second-price auctions with 'verifiable' multilateral negotiations in which the sole buyer can credibly reveal to sellers the best price offer he currently holds. Despite the two institutions' seeming equivalence,
Bart J. Wilson, Charles J. Thomas
core   +3 more sources

Protecting Function Privacy and Input Privacy in the Publicly Verifiable Outsourcing Computation of Polynomial Functions

open access: yesFuture Internet, 2023
With the prevalence of cloud computing, the outsourcing of computation has gained significant attention. Clients with limited computing power often outsource complex computing tasks to the cloud to save on computing resources and costs.
Beibei Song   +5 more
doaj   +1 more source

Verified bytecode verifiers

open access: yesTheoretical Computer Science, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gerwin Klein, Tobias Nipkow
openaire   +3 more sources

An Efficient and Verifiable Solution to the Millionaire Problem [PDF]

open access: yes, 2005
A new solution to the millionaire problem is designed on the base of two new techniques: zero test and batch equation. Zero test is a technique used to test whether one or more ciphertext contains a zero without revealing other information.
Byoungcheon Lee   +7 more
core   +2 more sources

A Certificateless Verifiable Strong Designated Verifier Signature Scheme

open access: yesIEEE Access, 2019
Certificateless strong designated verifier signature schemes have realized the merit of CL-PKC against the traditional strong designated verifier signatures.
Shu Han   +8 more
doaj   +1 more source

A Survey of Two Verifiable Delay Functions [PDF]

open access: yes, 2020
A verifiable delay function (VDF) is an important tool used for adding delay in decentralized applications. This short note briefly surveys and compares two recent beautiful Verifiable Delay Functions (VDFs), one due to Pietrzak and the other due to ...
Benedikt Bünz, Dan Boneh, Ben Fisch
core   +1 more source

Verifiable Computing Applications in Blockchain

open access: yesIEEE Access, 2021
From weak clients outsourcing computational tasks to more powerful machines, to distributed blockchain nodes needing to agree on the state of the ledger in the presence of adversarial nodes, there is a growing need to efficiently verify the results of ...
Silvio Simunic   +2 more
doaj   +1 more source

The open verifier framework for foundational verifiers [PDF]

open access: yesProceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation, 2005
We present the Open Verifier approach for verifying untrusted code using customized verifiers. This approach can be viewed as an instance of foundational proof-carrying code where an untrusted program can be checked using the verifier most natural for it instead of using a single generic type system. In this paper we focus on a specialized architecture
Bor-Yuh Evan Chang   +3 more
openaire   +1 more source

Home - About - Disclaimer - Privacy