Results 31 to 40 of about 2,162 (138)
Verifiable outsourced attribute-based encryption with access update
网络与信息安全学报, 2019 In order to meet the secure and reliable access requirements for the encrypted data stored in the public cloud,a verifiable outsourced attribute-based encryption scheme with access update was proposed.Based on a standard KP-ABE scheme,verifiable ...
Suqing LIN
doaj +3 more sources
Digital Communications and Networks, 2017 Outsourcing computing allows users with resource-constrained devices to outsource their complex computation workloads to cloud servers that may not be honest.
Shuai Li +3 more
doaj +1 more source
Permissionless Blockchain Systems as Pseudo-Random Number Generators for Decentralized Consensus
IEEE Access, 2023 Consensus algorithms that function in permissionless blockchain systems must randomly select new block proposers in a decentralised environment. Our contribution is a new blockchain consensus algorithm called Proof-of-Publicly Verifiable Randomness ...
Riaan Bezuidenhout +2 more
doaj +1 more source
Information, 2023 Outsourcing computation has become increasingly popular due to its cost-effectiveness, enabling users with limited resources to conduct large-scale computations on potentially untrusted cloud platforms. In order to safeguard privacy, verifiable computing
Yang Yang, Guanghua Song
doaj +1 more source
Publicly Verifiable Multi-stage Secret Sharing on General Access Structures [PDF]
Jisuanji kexue yu tansuo, 2023 A publicly verifiable secret sharing allows anyone to detect the cheating of dealer or participants only from the public information. In order to expand the application scope of multi-secret sharing, firstly, a publicly verifiable multi-stage secret ...
SONG Yun, WANG Ningning, XIAO Menglin, SHAO Zhiyi
doaj +1 more source
Cryptography, 2020 Often clients (e.g., sensors, organizations) need to outsource joint computations that are based on some joint inputs to external untrusted servers.
Georgia Tsaloli +2 more
doaj +1 more source
Verified Computation with Probabilities [PDF]
, 2012 Because machine calculations are prone to errors that can sometimes accumulate disastrously, computer scientists use special strategies called verified computation to ensure output is reliable. Such strategies are needed for computing with probability distributions.
Ferson, Scott, Siegrist, Jack
openaire +2 more sources
Generalising KAT to Verify Weighted Computations [PDF]
Scientific Annals of Computer Science, 2019 Kleene algebra with tests (KAT) was introduced as an algebraic structure to model and reason about classic imperative programs, i.e. sequences of discrete transitions guarded by Boolean tests. This paper introduces two generalisations of this structure able to express programs as weighted transitions and tests with outcomes in non necessarily bivalent ...
Leandro Gomes +2 more
openaire +5 more sources
Journal of King Saud University: Computer and Information Sciences, 2023 As part of vehicle to everything (V2X) environments, intelligent connected vehicles (ICVs) generate a large amount of data, which can be exploited securely and effectively through decentralized techniques such as federated learning (FL).
Abla Smahi +6 more
doaj +1 more source
Verified Computations for Hyperbolic 3-Manifolds [PDF]
Experimental Mathematics, 2015 For a given cusped 3-manifold $M$ admitting an ideal triangulation, we describe a method to rigorously prove that either $M$ or a filling of $M$ admits a complete hyperbolic structure via verified computer calculations. Central to our method are an implementation of interval arithmetic and Krawczyk's Test. These techniques represent an improvement over
Hoffman, N. +5 more
openaire +3 more sources