Results 91 to 100 of about 6,639 (299)
(Public) Verifiability For Composable Protocols Without Adaptivity Or Zero-Knowledge [PDF]
, 2021 The Universal Composability (UC) framework (FOCS \u2701) is the current standard for proving security of cryptographic protocols under composition. It allows to reason about complex protocol structures in a bottom-up fashion: any building block that is ...
Bernardo David +2 more
core
Transparent, Auditable, and Stepwise Verifiable Online E-Voting Enabling an Open and Fair Election
Cryptography, 2017 Many e-voting techniques have been proposed but not widely used in reality. One of the problems associated with most existing e-voting techniques is the lack of transparency, leading to a failure to deliver voter assurance. In this work, we p verifiable,
Xukai Zou +4 more
doaj +1 more source
Risk‐aware safe reinforcement learning for control of stochastic linear systems
Asian Journal of Control, EarlyView.Abstract This paper presents a risk‐aware safe reinforcement learning (RL) control design for stochastic discrete‐time linear systems. Rather than using a safety certifier to myopically intervene with the RL controller, a risk‐informed safe controller is also learned besides the RL controller, and the RL and safe controllers are combined together ...
Babak Esmaeili +2 more
wiley +1 more source
Mental Models of Verifiability in Voting
, 2013 In order for voters to verify their votes, they have to carry out additional steps besides selecting a candidate and submitting their vote. In previous work, voters have been found to be confused about the concept of and motivation for verifiability in ...
Volkamer, Melanie +2 more
core +1 more source
Journal of Symbolic Computation, 1987 This paper describes a new procedure, based on string rewriting rules, for verifying that a finitely presented group G is nilpotent. If G is not nilpotent, the procedure may not terminate. A preliminary computer implementation of the procedure has been used to prove a theorem about minimal presentations of free nilpotent groups of class 3.
openaire +2 more sources
British Journal of Clinical Pharmacology, EarlyView.Abstract Despite regulatory progress being made in the past two decades, off‐label drug use in paediatrics remains pervasive, with prevalence estimated between 3% and 97% of prescriptions across different clinical settings. Off‐label use—defined as prescribing outside the conditions described in the Summary of Product Characteristics (SmPC)—is often ...
Tjitske M. van der Zanden +3 more
wiley +1 more source
Privacy-Preserving Verifiability: A Case for an Electronic Exam Protocol [PDF]
, 2017 peer reviewedWe introduce the notion of privacy-preserving verifiability for security protocols. It holds when a protocol admits a verifiability test that does not reveal, to the verifier that runs it, more pieces of information about the protocol’s ...
Rosario Giustolisi +6 more
core +1 more source
LWE‐based verifiable essential secret image sharing scheme ((t,s,k,n)$( {t,s,k,n} )$ ‐ VESIS)
IET Image ProcessingIn traditional secret image sharing schemes, shareholders have similar situations, and to recover the secret image, they must be present as many as the threshold.
Massoud Hadian Dehkordi +2 more
doaj +1 more source
Restoring Trust: Rebuilding the Forest Carbon Credit System Through Scientific Rigor
Biological Diversity, EarlyView.ABSTRACT As pivotal nature‐based climate solutions (NbCS), forests are increasingly recognized for their climate mitigation potential. However, this potential is undermined by fundamental flaws in current carbon credit systems. Our analysis identifies four interconnected systemic challenges: (1) subjective additionality assessments arising from ...
Xiaoqian Chen, Shaokun Li
wiley +1 more source
Business Strategy and the Environment, EarlyView.ABSTRACT This study assesses the degree of alignment with and eligibility to the EU Taxonomy of non‐financial firms and investigates its relationship with their Cost of Debt (CoD). The empirical analysis is based on a sample of 306 non‐financial firms listed on the Stoxx Europe 600 Index across 15 European countries. Taxonomy‐related data were manually
Fabio Rizzato +3 more
wiley +1 more source