Results 1 to 10 of about 30,718 (224)
The Topology of Statistical Verifiability [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Topological models of empirical and formal inquiry are increasingly prevalent. They have emerged in such diverse fields as domain theory [1, 16], formal learning theory [18], epistemology and philosophy of science [10, 15, 8, 9, 2], statistics [6, 7] and
Konstantin Genin, Kevin T. Kelly
doaj +3 more sources
TKSE: Trustworthy Keyword Search Over Encrypted Data With Two-Side Verifiability via Blockchain
IEEE Access, 2018 As a very attractive computing paradigm, cloud computing makes it possible for resource-constrained users to enjoy cost-effective and flexible resources of diversity. Considering the untrustworthiness of cloud servers and the data privacy of users, it is
Yinghui Zhang +2 more
exaly +3 more sources
A provably secure coercion-resistant e-voting scheme with confidentiality, anonymity, unforgeability, and CAI verifiability. [PDF]
PLoS ONEEnsuring both cast-as-intended (CAI) verifiability and coercion-resistance in e-voting remains a critical challenge. The e-voting scheme proposed by Finogina and Herranz in 2023 represents the first notable advancement in reconciling these conflicting ...
Yun-Xing Kho +3 more
doaj +2 more sources
ERA: Towards privacy preservation and verifiability for online ad exchanges
Journal of Network and Computer Applications, 2017 Ad exchanges are kind of the most popular online advertising marketplaces for trading ad spaces over the Internet. Ad exchanges run auctions to sell diverse ad spaces on the publishers' web-pages to advertisers, who want to display ads on ad spaces ...
Chaoyue Niu, Zhenzhe Zheng, Fan Wu
exaly +3 more sources
Extensions for Apple-Google exposure notification mechanism [PDF]
Bulletin of the Polish Academy of Sciences: Technical Sciences, 2021 We analyze the Google-Apple exposure notification mechanism designed by the Apple-Google consortium and deployed on a large number of Corona-warn apps.
Adam Bobowski +2 more
doaj +1 more source
International Journal of Financial Studies, 2022 The purpose of this study is to look into the role of internal audit (IA) in reducing the effects of creative accounting (CA) on financial statement reliability in Jordanian Islamic Banks.
Baker Akram Falah Jarah +3 more
doaj +1 more source
Communication-Efficient and Privacy-Preserving Verifiable Aggregation for Federated Learning
Entropy, 2023 Federated learning is a distributed machine learning framework, which allows users to save data locally for training without sharing data. Users send the trained local model to the server for aggregation.
Kaixin Peng +4 more
doaj +1 more source
A Verifiable Arbitrated Quantum Signature Scheme Based on Controlled Quantum Teleportation
Entropy, 2022 In this paper, we present a verifiable arbitrated quantum signature scheme based on controlled quantum teleportation. The five-qubit entangled state functions as a quantum channel.
Dianjun Lu +3 more
doaj +1 more source
Secure efficient and verifiable large linear equations solve outsourcing computing scheme
网络与信息安全学报, 2017 A secure,efficient and verifiable outsourcing computation scheme was proposed based on the current problems of leaking users information and tampering with the calculating results,which were encountered while solving large-scale linear equations in ...
Xing-lan ZHANG,Xiang LIU
doaj +3 more sources
BMC Public Health, 2008 Background Disability benefits exist to redeem social and financial consequences of reduced work ability from medical conditions. Physicians are responsible for identifying the medical grounds for benefit claims.
Johansen Kristian +3 more
doaj +1 more source