Abstract Numerous approaches for cast-as-intended verifiability have been proposed in the literature on electronic voting, balancing practical aspects and security guarantees different ways. One of well-established methods involves use a second device that allows voters to audit their submitted ballots. This approach offers several benefits, including support flexible ballot election types an i...

Consider a weak client that wishes to delegate computation to an untrusted server and be able to succinctly verify the correctness of the result, all within one round of interaction. We provide solutions for two relaxed variants of this problem. Specifically: • We consider a model where the client delegates the computation to two or more servers, and is guaranteed to output the correct answer a...

conclusions our underlying hypothesis is that recapitulating the three-dimensional early embryonic structure, in order to reproduce better in vitro the three-dimensional morphogenetic-like re-arrangements, would improve cells differentiation, when in vivo transplanted; moreover, it could be used as a simplified cancer disease model and reliable drug evaluation method as well. results the proces...

conclusions the lack of difference between adma levels in patients with pa and eh suggests that endothelial dysfunction is more likely related to hypertension per se than to the specific etiology of elevated blood pressure. results patients with pa had significantly higher concentrations of adma than healthy controls (0.488 ± 0.085 vs. 0.433 ± 0.053 μmol/l, p = 0.027). no difference was found i...