Results 21 to 30 of about 6,639 (299)
Improved Verifiability for BeleniosVS [PDF]
, 2021 The BeleniosVS electronic voting scheme offers an attractive mix of verifiability and privacy properties. Moreover, using the ProVerif protocol-verification tool, BeleniosVS has automatic machine-aided analysis of (end-to-end) verifiability in 96 ...
Thomas Haines, Rajeev Gore
core
SeVEP: Secure and Verifiable Electronic Polling System
IEEE Access, 2019 Electronic polling systems promise benefits to voters such as accessibility and convenience that enable them to cast their votes at any time, from any Internet-connected computing device anywhere in the world.
Amna Qureshi +2 more
doaj +1 more source
Voting: You Can't Have Privacy without Individual Verifiability
, 2018 Electronic voting typically aims at two main security goals: vote privacy and verifiability. These two goals are often seen as antagonistic and some national agencies even impose a hierarchy between them: first privacy, and then verifiability as an ...
Lallemand, Joseph, Cortier, Véronique
core +4 more sources
Efficient certificateless searchable encryption scheme with verifiability
Tongxin xuebao, 2023 Searchable encryption offers an effective way to achieve data privacy protection and keyword search in cloud computing environments.Currently, the existing schemes not only lack dynamic update and efficient verification mechanism, but also suffer from ...
Xinhua CUI, Youliang TIAN, Qijia ZHANG
doaj +2 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 +4 more
doaj +1 more source
On the Verifiability of (Electronic) Exams
, 2015 The main concern for institutions that organize exams is to detect when students cheat. Actually more frauds are possible and even authorities can be dishonest.
Giustolisi, Rosario +4 more
core +4 more sources
Multikey Verifiable Homomorphic Encryption
IEEE Access, 2022 A homomorphic encryption (HE) scheme is an advanced encryption technology which allows any user receiving ciphertexts to perform computations over them in a public manner. An important application of an HE scheme is a private delegating computation where
Yi Lu, Keisuke Hara, Keisuke Tanaka
doaj +1 more source
CoRR, 2021 Optimization is used extensively in engineering, industry, and finance, and various methods are used to transform problems to the point where they are amenable to solution by numerical methods. We describe progress towards developing a framework, based on the Lean interactive proof assistant, for designing and applying such reductions in reliable and ...
Alexander Bentkamp, Jeremy Avigad
openaire +2 more sources
G. Ryle. Unverifiability-by-Me / trans. from Engl. V. V. Ogleznev [PDF]
Омский научный вестник: Серия "Общество. История. Современность"The paper presents an analysis of the notions of ‘verifiability-in-principle’ and ‘(un)verifiability-byme’. Based on the distinction between logical and causal possibility, it is shown that the pronoun ‘I’ is not a demonstrative symbol lacking any ...
V. V. Ogleznev
doaj +1 more source
Plaintext-Verifiably-Checkable Encryption and Its Extension in Dual-Server Setting
IEEE Access, 2020 Plaintext-checkable encryption (PCE), first introduced by Canard et al., allows users searching on encrypted data through plaintexts. It provides a useful primitive in the cloud computing security.
Yijian Zhong, Sha Ma, Qiong Huang
doaj +1 more source