Results 31 to 40 of about 37,961 (305)
Verifiable Functional Encryption [PDF]
, 2016 In light of security challenges that have emerged in a world with complex networks and cloud computing, the notion of functional encryption has recently emerged.
Saikrishna Badrinarayanan +3 more
core +1 more source
The publicly-verifiable scheme architecture.
, 2021 The publicly-verifiable scheme architecture.
Faguo Wu (3337191) +3 more
core +1 more source
ComputerDecentralized AI agent networks, such as Gaia, allows individuals to run customized LLMs on their own computers and then provide services to the public. However, in order to maintain service quality, the network must verify that individual nodes are running their designated LLMs.
Michael J. Yuan +4 more
openaire +4 more sources
Analysis of an ABE Scheme with Verifiable Outsourced Decryption
Sensors, 2018 Attribute-based encryption (ABE) is a popular cryptographic technology to protect the security of users’ data in cloud computing. In order to reduce its decryption cost, outsourcing the decryption of ciphertexts is an available method, which enables ...
Yongjian Liao +4 more
doaj +1 more source
Private Coin Verifiable Delay Function [PDF]
, 2023 We construct the first tight verifiable delay function (VDF) where the evaluation algorithm only evaluates sequentially the function and hence outputs and empty proof, verification is independent of time parameter $T$ and setup has constant size ...
Peter Chvojka
core
Verifiable attribute-based searchable encryption scheme based on blockchain
Tongxin xuebao, 2020 For the problem that the shared decryption key lacks of fine-grained access control and the search results lacks of correctness verification under one-to-many search model,a verifiable attribute-based searchable encryption scheme based on blockchain was ...
Xixi YAN +3 more
doaj
Verified Bytecode Verifiers [PDF]
, 2001 Using the theorem prover Isabelle/HOL we have formalized and proved correct an executable bytecode verifier in the style of Kildall's algorithm for a significant subset of the Java Virtual Machine. First an abstract framework for proving correctness of data flow based type inference algorithms for assembly languages is formalized.
openaire +1 more source
Federify: A Verifiable Federated Learning Scheme Based on zkSNARKs and Blockchain
IEEE AccessFederated learning (FL) has emerged as an alternative to traditional machine learning in scenarios where training data is sensitive. In federated learning, training is held at end devices, and thus data does not need to leave users’ devices ...
Ghazaleh Keshavarzkalhori +4 more
doaj +1 more source
Training verified learners with learned verifiers
CoRR, 2018 This paper proposes a new algorithmic framework, predictor-verifier training, to train neural networks that are verifiable, i.e., networks that provably satisfy some desired input-output properties. The key idea is to simultaneously train two networks: a predictor network that performs the task at hand,e.g., predicting labels given inputs, and a ...
Krishnamurthy Dvijotham +6 more
openaire +2 more sources
Verifying the Verifier: eBPF Range Analysis Verification
, 2023 AbstractThis paper proposes an automated method to check the correctness of range analysis used in the Linux kernel ’s eBPF verifier. We provide the specification of soundness for range analysis performed by the eBPF verifier. We automatically generate verification conditions that encode the operation of the eBPF verifier directly from the Linux kernel
Harishankar Vishwanathan +3 more
openaire +2 more sources