Results 231 to 240 of about 2,533 (255)

Verifiable Computation for Randomized Algorithm

2016
Verifiable computation enables a computationally weak client to delegate the difficult computation to a more powerful cloud server. When the client receives the returned result, it can verify the correctness of the result. As a new computing model, it has been widely studied.
Muhua Liu, Ying Wu 0008, Rui Xue 0001
openaire   +1 more source

Modular Synthesis of Verified Verifiers of Computation with STV Algorithms

2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE), 2019
Single transferable vote (STV) is a family of preferential voting systems, different instances of which are used in binding elections throughout the world. We give a formal specification of this family, from which we derive fully verified tools that verify the computation for various instances of STV vote counting.
Milad K. Ghale, Dirk Pattinson, Michael Norrish   +2 more
openaire   +1 more source

Verified computation of the matrix exponential

Advances in Computational Mathematics, 2018
There are many traps to numerically computing the exponential of an $n \times n$ complex matrix $A$ (see, for example, [\textit{C. Moler} and \textit{C. Van Loan}, SIAM Rev. 45, No. 1, 3--49 (2003; Zbl 1030.65029)]). This paper analyzes two methods to compute interval matrices for $\exp (A)$.
openaire   +1 more source

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. In this scenario, the minimum security requirement is that the result returned by the server must be correct. Publicly verifiable computation (PVC) has
Jiameng Sun, Binrui Zhu, Jing Qin 0002, Jiankun Hu, Qianhong Wu   +4 more
openaire   +2 more sources

Verified Computation of Fast Decreasing Polynomials

Reliable Computing, 1999
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Neli S. Dimitrova, Svetoslav M. Markov
openaire   +2 more sources

Comments on “Publicly Verifiable Computation of Polynomials Over Outsourced Data With Multiple Sources”

IEEE Transactions on Information Forensics and Security, 2020
Kim-Kwang Raymond Choo, Xu An Wang, Jian Weng   +2 more
exaly  

New publicly verifiable computation for batch matrix multiplication

Information Sciences, 2019
Xiaofeng Chen, Aniello Castiglione, Kuan-Ching Li   +2 more
exaly  

Verifiable Encrypted Computations

"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 data and perform heavy computations on them without the need to manage complex local computing resources.
openaire   +2 more sources

Private and verifiable computation

The rise of cloud computing and big data analytics offers significant benefits for individuals and organizations as they enable a plethora of applications in diverse fields such as healthcare, home automation, and many more. These technologies enable individuals and organizations to adjust computational resources effortlessly and take advantage of ...
openaire   +2 more sources

MedCop: Verifiable Computation for Mobile Healthcare System

Communications in Computer and Information Science, 2019
Das Manik Lal
exaly