Results 1 to 10 of about 6,639 (299)
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
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
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
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
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
Advancing Federated Learning through Verifiable Computations and Homomorphic Encryption
Entropy, 2023 Federated learning, as one of the three main technical routes for privacy computing, has been widely studied and applied in both academia and industry.
Bingxue Zhang +4 more
doaj +1 more source
Blockchain Secured Dynamic Machine Learning Pipeline for Manufacturing
Applied Sciences, 2023 ML-based applications already play an important role in factories in areas such as visual quality inspection, process optimization, and maintenance prediction and will become even more important in the future.
Fatemeh Stodt +2 more
doaj +1 more source
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