Results 261 to 270 of about 4,798 (280)

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

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

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

Stateful Multi-client Verifiable Computation

2018
This paper develops an asynchronous cryptographic protocol for outsourcing arbitrary stateful computation among multiple clients to an untrusted server, while guaranteeing integrity of the data. The clients communicate only with the server and merely store a short authenticator to ensure that the server does not cheat.
Christian Cachin, Esha Ghosh, Dimitrios Papadopoulos 0001, Björn Tackmann   +3 more
openaire   +2 more sources

FVP-EOC: Fair, Verifiable, and Privacy-Preserving Edge Outsourcing Computing in 5G-Enabled IIoT

IEEE Transactions on Industrial Informatics, 2023
Youliang Tian, Jinbo Xiong, Md Zakirul Alam Bhuiyan   +2 more
exaly  

Privacy-Preserving and Verifiable Federated Learning Framework for Edge Computing

IEEE Transactions on Information Forensics and Security, 2023
Hao Zhou, Geng Yang, Yuxian Huang
exaly  

Efficient verifiable databases with additional insertion and deletion operations in cloud computing

Future Generation Computer Systems, 2021
Zifeng Xu
exaly  

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

Comments on “Verifiable and Exculpable Outsourced Attribute-Based Encryption for Access Control in Cloud Computing”

IEEE Transactions on Dependable and Secure Computing, 2017
Hu Xiong, Jianfei Sun
exaly