Results 11 to 20 of about 4,798 (280)
A Certified Compiler for Verifiable Computing [PDF]
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 2016 International audienceIn cryptology, verifiable computing aims at verifying the remote execution of a program on an untrusted machine, based on its I/O and constant-sized evidence collected during its execution. Recent cryptographic schemes and compilers
Fournet, Cédric +2 more
core +5 more sources
Achieving Verifiable Decision Tree Prediction on Hybrid Blockchains
Entropy, 2023 Machine learning has become increasingly popular in academic and industrial communities and has been widely implemented in various online applications due to its powerful ability to analyze and use data.
Moxuan Fu +5 more
doaj +2 more sources
A Survey of Verifiable Computation
Mobile Networks and Applications, 2022 Internet of Things (IoT) has taken place to motivate various intelligent applications with the data collected by the things”. Meanwhile, Cloud computing offers an efficient and convenient way to store, process and analyze huge amount of data.
Yu, X, Yan, Z, Vasilakos, AV
core +2 more sources
网络与信息安全学报With the development of cloud computing and internet of things technology, verifiable computing has been widely used as a new computing technology. While verifiable computing brings convenience to users, there are also security challenges: data privacy ...
Tianpeng ZHANG, Zhiyu REN, Xuehui DU, Haichao WANG
doaj +6 more sources
Verifiable Computing for Approximate Computation [PDF]
IACR Cryptol. ePrint Arch., 2019 Verifiable computing (VC) is a complexity-theoretic method to secure the integrity of computations. The need is increasing as more computations are outsourced to untrusted parties, e.g., cloud platforms. Existing techniques, however, only deal with exact
Dongwoo Kim +3 more
core +2 more sources
Verifiable Privacy-Preserving Computing
CoRR, 2023 Privacy-preserving computation (PPC) methods, such as secure multiparty computation (MPC) and homomorphic encryption (HE), are deployed increasingly often to guarantee data confidentiality in computations over private, distributed data.
Karastoyanova, Dimka +2 more
core +2 more sources
Confidentiality-Preserving Publicly Verifiable Computation
International Journal of Foundations of Computer Science, 2017 Cloud computing enables users to outsource complicated computational tasks to a commercial computing server and relieves the users from establishing and maintaining expensive local computation systems.
Binrui Zhu +4 more
core +3 more sources
Lattice-based verifiable timed signature and application [PDF]
Tongxin xuebaoAiming at the problem that current verifiable timed signature (VTS) schemes cannot effectively resist the threat of quantum computing attacks, a lattice-based verifiable timed signature (LVTS) scheme was proposed, founded on challenging problems over ...
CHEN Huiyan +4 more
doaj +2 more sources
Verifiable encrypted computations
Tsoutsos, Nektarios G.The ubiquitous usage of cloud computing has revolutionized the way individuals and organizations access and process their data. By delivering numerous services on the internet, cloud computing allows users to store vast amounts of ...
Ahmed, Omar Atef Abdelaleem
core +3 more sources
Interactive Verifiable Secret Sharing Scheme
Безопасность информационных технологий, 2010 Commitment schemes, secret sharing schemes, interactive zero-knowledge proofs which underlie the offered interactive secrete sharing schemes are considered. Such schemes are one of the main computing primitives in the theory of secure computations.
O. V. Kazarin
doaj +1 more source