Results 31 to 40 of about 4,798 (280)
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
E-Voting in an ubicomp world: trust, privacy, and social implications [PDF]
, 2008 The advances made in technology have unchained the user from the desktop into interactions where access is anywhere, anytime. In addition, the introduction of ubiquitous computing (ubicomp) will see further changes in how we interact with technology and ...
Storer, T. +8 more
core +1 more source
Interactive Proofs for Rounding Arithmetic
IEEE Access, 2022 Interactive proofs are a type of verifiable computing that secures the integrity of computations. The need is increasing as more computations are outsourced to untrusted parties, e.g., cloud computing platforms.
Shuo Chen +3 more
doaj +1 more source
Verified Self-Explaining Computation [PDF]
, 2019 Common programming tools, like compilers, debuggers, and IDEs, crucially rely on the ability to analyse program code to reason about its behaviour and properties. There has been a great deal of work on verifying compilers and static analyses, but far less on verifying dynamic analyses such as program slicing.
Jan Stolarek, James Cheney
openaire +2 more sources
RAitc: Securely Auditing the Remotely Executed Applications
IEEE Access, 2020 One of the most important security challenges in remote computing (e.g., cloud computing) is protecting users’ applications running on the service platform from malicious attacks.
Lei Zhou, Entao Luo, Guojun Wang
doaj +1 more source
Verifying Outsourced Computation in an Edge Computing Marketplace
Machine Learning & Applications, 2022 An edge computing marketplace could enable IoT devices (Outsourcers) to outsource computation to any participating node (Contractors) in their proximity. In return, these nodes receive a reward for providing computation resources. In this work, we propose a scheme that verifies the integrity of arbitrary deterministic functions in the presence of both ...
Christopher Harth-Kitzerow +1 more
openaire +2 more sources
Adaptive Verifiable Coded Computing: Towards Fast, Secure and Private Distributed Machine Learning
, 2022 Stragglers, Byzantine workers, and data privacy are the main bottlenecks in distributed cloud computing. Some prior works proposed coded computing strategies to jointly address all three challenges.
Annavaram, Murali +5 more
core +1 more source
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 ...
Gomes, Leandro +2 more
openaire +6 more sources
Towards Multi-User, Secure, and Verifiable $k$NN Query in Cloud Database
, 2023 With the boom in cloud computing, data outsourcing in location-based services is proliferating and has attracted increasing interest from research communities and commercial applications.
Qian, Kang +13 more
core +1 more source
Verifiable Public Key Encryption Scheme With Equality Test in 5G Networks [PDF]
, 2017 The emergence of 5G networks will allow cloud computing providers to offer more convenient services. However, security and privacy issues of cloud services in 5G networks represent huge challenges.
Ming Wang +12 more
core +1 more source