Skip to search formSkip to main contentSkip to account menu

Verifiable computing

Known as: Verified computing 
Verifiable computing (or verified computation or verified computing) is enabling a computer to offload the computation of some function, to other… 
Wikipedia (opens in a new tab)

Related topics

Related topics

21 relations
Boolean circuitClient–server modelCloud computingCode

Broader (2)

Distributed computingSecure communication

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
Privately and Publicly Verifiable Computing Techniques - A Survey
This book presents the first comprehensive overview of various verifiable computing techniques, which allow the computation of a… 
2015
2015
Global bifurcation diagram of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
In this paper, we use rigorous numerics to compute several global smooth branches of steady states for a system of three reaction… 
2013
2013
Implementing Resettable UC-Functionalities with Untrusted Tamper-Proof Hardware-Tokens
Resettable hardware tokens, usually in the form of smart cards, are used for a variety of security-critical tasks in open… 
2012
2012
A Comparison of verified distance computation between implicit objects using different arithmetics for range enclosure
This paper describes a new algorithm for computing verified bounds on the distance between two arbitrary fat implicit objects… 
2008
2008
Dense Linear System: A Parallel Self-verified Solver
This article presents a parallel self-verified solver for dense linear systems of equations. This kind of solver is commonly used… 
2008
2008
Parallel Verified Linear System Solver for Uncertain Input Data
This paper presents a new parallel implementation for solving dense interval linear systems with verified computing. The use of… 
2007
2007
Rigorous numerics for symmetric homoclinic orbits in reversible dynamical systems
We propose a new rigorous numerical technique to prove the existence of symmetric homoclinic orbits in reversible dynamical… 
2004
2004
Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies
As interval analysis-based reliable computations find wider application, more software is becoming available. Simultaneously, the… 
2003
2003
Interval Algorithms in Modeling of Multibody Systems
We will show how a variety of interval algorithms have found their use in the multibody modeling program MOBILE. This paper… 
2002
2002
The Conley Index and Rigorous Numerics for Attracting Periodic Orbits
Despite the enormous number of papers devoted to the problem of the existence of periodic trajectories of differential equations… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)