Results 31 to 40 of about 2,533 (255)
Hybrid Publicly Verifiable Computation [PDF]
, 2016 Publicly Verifiable Outsourced Computation PVC allows weak devices to delegate computations to more powerful servers, and to verify the correctness of results. Delegation and verification rely only on public parameters, and thus PVC lends itself to large multi-user systems where entities need not be registered.
Alderman, James +3 more
openaire +2 more sources
Permissionless Blockchain Systems as Pseudo-Random Number Generators for Decentralized Consensus
IEEE Access, 2023 Consensus algorithms that function in permissionless blockchain systems must randomly select new block proposers in a decentralised environment. Our contribution is a new blockchain consensus algorithm called Proof-of-Publicly Verifiable Randomness ...
Riaan Bezuidenhout +2 more
doaj +1 more source
Verifying spatial properties of array computations [PDF]
Proceedings of the ACM on Programming Languages, 2017 Arrays computations are at the core of numerical modelling and computational science applications. However, low-level manipulation of array indices is a source of program error. Many practitioners are aware of the need to ensure program correctness, yet very few of the techniques from the programming research community are applied by scientists. We aim
Dominic A. Orchard +3 more
openaire +3 more sources
Computable analysis for verified exact real computation [PDF]
, 2020 We use ideas from computable analysis to formalize exact real number computation in the Coq proof assistant. Our formalization is built on top of the Incone library, a Coq library for computable analysis. We use the theoretical framework that computable analysis provides to systematically generate target specifications for real number algorithms. First
Konečný, Michal +2 more
openaire +3 more sources
Cryptography, 2020 Often clients (e.g., sensors, organizations) need to outsource joint computations that are based on some joint inputs to external untrusted servers.
Georgia Tsaloli +2 more
doaj +1 more source
Fast, Verified Computation for Candle.
, 2023 This paper describes how we have added an efficient function for computation to the kernel of the Candle interactive theorem prover. Candle is a CakeML port of HOL Light which we have, in prior work, proved sound w.r.t. the inference rules of the higher-order logic.
Abrahamsson, Oskar, Myreen, Magnus O.
openaire +3 more sources
Verified Computations for Hyperbolic 3-Manifolds [PDF]
Experimental Mathematics, 2015 For a given cusped 3-manifold $M$ admitting an ideal triangulation, we describe a method to rigorously prove that either $M$ or a filling of $M$ admits a complete hyperbolic structure via verified computer calculations. Central to our method are an implementation of interval arithmetic and Krawczyk's Test. These techniques represent an improvement over
Neil R. Hoffman +5 more
openaire +3 more sources
Journal of King Saud University: Computer and Information Sciences, 2023 As part of vehicle to everything (V2X) environments, intelligent connected vehicles (ICVs) generate a large amount of data, which can be exploited securely and effectively through decentralized techniques such as federated learning (FL).
Abla Smahi +6 more
doaj +1 more source
A Hardware-Based Correct Execution Environment Supporting Virtual Memory
IEEE AccessThe rapid increase in data generation has led to outsourcing computation to cloud service providers, allowing clients to handle large tasks without investing resources.
Daehyeon Lee +8 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Pediatric gastroenteropancreatic neuroendocrine neoplasms (GEP‐NENs) are extremely rare and clinically heterogeneous. Management has largely been extrapolated from adult practice. This European Standard Clinical Practice Guideline (ESCP), developed by the EXPeRT network in collaboration with adult NEN experts, provides (adult) evidence ...
Michaela Kuhlen +23 more
wiley +1 more source