Results 11 to 20 of about 37,961 (305)
The Utility of Pain Scale to Assess Verifiable vs Non-Verifiable Pain in United States Emergency Departments [PDF]
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 +2 more sources
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
Ersetzen künftig «Verifiable Credentials» X.509-Zertifikate? [PDF]
, 2021 X.509-Zertifikate gibt es schon seit über 40 Jahren. Sie werden für die Identifikation von Subjekten (Web-Servern, Personen, usw.) verwendet. Sie gelten als vertrauenswürdige und erprobte Berechtigungsnachweise und wir verlassen uns tagtäglich auf sie ...
Hassenstein, Gerhard, Laube, Annett
core +1 more source
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
Interpretable and verifiable planning and prediction for autonomous vehicles [PDF]
, 2023 Autonomous driving (AD) has gained much attention in recent years due to its many potential benefits such as improving safety and increasing efficiency. However, AD is a difficult problem with challenges such as handling interactions with other vehicles ...
Brewitt, Cillian
core +1 more source
Verifiable Decryption for BGV [PDF]
, 2022 In this work we present a direct construction for verifiable decryption for the BGV encryption scheme by combining existing zero-knowledge proofs for linear relations and bounded values.
Silde, Tjerand
core +1 more source
Towards Multi-User, Secure, and Verifiable $k$NN Query in Cloud Database
, 2023 With the boom in cloud computing, data outsourcing in location-based services is proliferating and has attracted increasing interest from research communities and commercial applications.
Qian, Kang +13 more
core +1 more source
Verifiable rotation of homomorphic encryptions [PDF]
, 2009 Similar to verifiable shuffling (mixing), we consider the problem of verifiable rotating a given list of homomorphic encryptions. The offset by which the list is rotated (cyclic shift) should remain hidden.
Skoric, B Boris +3 more
core +3 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