Results 11 to 20 of about 54,744 (297)
Verifiable Delay Function and Its Blockchain-Related Application: A Survey
Sensors, 2022 The concept of verifiable delay functions has received attention from researchers since it was first proposed in 2018. The applications of verifiable delay are also widespread in blockchain research, such as: computational timestamping, public random ...
Yongjun Ren, Shan Ji, Qiang Wu
exaly +3 more sources
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
KATENA: a verifiable governance architecture for encrypted cloud storage systems [PDF]
Frontiers in Big DataModern data-intensive infrastructures increasingly rely on cloud storage and client-controlled encryption to protect the confidentiality of outsourced information.
Jesús F. Rodríguez-Aragón +4 more
doaj +2 more sources
Visual secret sharing and related Works -A Review [PDF]
مجلة جامعة الانبار للعلوم الصرفة, 2023 The accelerated development of network technology and internet applications has increased the significance of protecting digital data and images from unauthorized access and manipulation. The secret image-sharing network (SIS) is a crucial technique used
Nahidah Darweesh, Ali Sagheer
doaj +1 more source
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 +3 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
Applied Sciences, 2023 Public key encryption with keyword search (PEKS) allows users to perform keyword searches of ciphertext on untrusted cloud storage servers, protecting data privacy while sharing data. However, it faces several security problems in practical applications.
Yingying Tang +4 more
doaj +1 more source
Encryption Scheme of Verifiable Search Based on Blockchain in Cloud Environment
Cryptography, 2023 While transferring data to cloud servers frees users from having to manage it, it eventually raises new problems, such as data privacy. The concept of searchable encryption has drawn more and more focus in research as a means of resolving the tension ...
Buzhen He, Tao Feng
doaj +1 more source
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
Achieving Verifiable Decision Tree Prediction on Hybrid Blockchains
Entropy, 2023 Machine learning has become increasingly popular in academic and industrial communities and has been widely implemented in various online applications due to its powerful ability to analyze and use data.
Moxuan Fu +5 more
doaj +1 more source