Results 11 to 20 of about 20,882 (259)
Innovations in Systems and Software Engineering, 2021 A recent case study from AWS by Chong et al. proposes an effective methodology for Bounded Model Checking in industry. In this paper, we report on a follow up case study that explores the methodology from the perspective of three research questions: (a) can proof artifacts be used across verification tools; (b) are there bugs in verified code; and (c ...
Siddharth Priya +5 more
openaire +2 more sources
Verified Verifiers for Verifying Elections [PDF]
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019 The security and trustworthiness of elections is critical to democracy; alas, securing elections is notoriously hard. Powerful cryptographic techniques for verifying the integrity of electronic voting have been developed and are in increasingly common use. The claimed security guarantees of most of these techniques have been formally proved.
Thomas Haines +2 more
openaire +2 more sources
Journal of The Royal Society Interface, 2022 The formalization of biological systems using computational modelling approaches as an alternative to mathematical-based methods has recently received much interest because computational models provide a deeper mechanistic understanding of biological systems.
Savas Konur +2 more
openaire +3 more sources
Verifiable Computing Applications in Blockchain
IEEE Access, 2021 From weak clients outsourcing computational tasks to more powerful machines, to distributed blockchain nodes needing to agree on the state of the ledger in the presence of adversarial nodes, there is a growing need to efficiently verify the results of ...
Silvio Simunic +2 more
doaj +1 more source
Theoretical Computer Science, 2003 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gerwin Klein, Tobias Nipkow
openaire +2 more sources
The open verifier framework for foundational verifiers [PDF]
Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation, 2005 We present the Open Verifier approach for verifying untrusted code using customized verifiers. This approach can be viewed as an instance of foundational proof-carrying code where an untrusted program can be checked using the verifier most natural for it instead of using a single generic type system. In this paper we focus on a specialized architecture
Bor-Yuh Evan Chang +3 more
openaire +1 more source
A Certificateless Verifiable Strong Designated Verifier Signature Scheme
IEEE Access, 2019 Certificateless strong designated verifier signature schemes have realized the merit of CL-PKC against the traditional strong designated verifier signatures.
Shu Han +8 more
doaj +1 more source
SIGNED: Smart cIty diGital twiN vErifiable Data Framework
IEEE Access, 2023 Smart city digital twins can provide useful insights by making effective use of multidisciplinary urban data from diverse sources. Whilst these insights provide new information that helps cities in decision making, verifying the authenticity, integrity ...
Zeeshan Pervez +3 more
doaj +1 more source
Western Journal of Emergency Medicine, 2020 Introduction: We sought to examine the utility of self-reported pain scale by comparing emergency department (ED) triage pain scores of self-reported but non-verifiable painful conditions with those of verifiable painful conditions using a large ...
K. Tom Xu +2 more
doaj +1 more source
A Verifiable Fully Homomorphic Encryption Scheme for Cloud Computing Security
Technologies, 2019 Performing smart computations in a context of cloud computing and big data is highly appreciated today. It allows customers to fully benefit from cloud computing capacities (such as processing or storage) without losing confidentiality of sensitive data.
Ahmed EL-YAHYAOUI +1 more
doaj +1 more source