>>> 哲学 经济学 法学 教育学 文学 历史学 理学 工学 农学 医学 军事学 管理学 旅游学 文化学 特色库
搜索结果: 1-11 共查到helios相关记录11条 . 查询时间(0.054 秒)
We study game-based definitions of individual and universal verifiability by Smyth, Frink & Clarkson. We prove that building voting systems from El Gamal coupled with proofs of correct key generation ...
Adapting Helios for provable ballot privacy     voting  helios  privacy       2016/12/10
Recent results show that the current implementation of Helios, a practical e-voting protocol, does not ensure independence of the cast votes, and demonstrate the impact of this lack of independence on...
This paper is concerned with two variants of the transformation that appear but have not been clearly delineated in existing literature. Both variants start with the prover making a commitment. The st...
The Helios voting scheme is well studied including formal proofs for verifiability and ballot privacy, but it does not provide participation privacy (i.e. it reveals who participated in the election...
Definitions of election verifiability in the computational model of cryptography are proposed. The definitions formalize notions of voters verifying their own votes, auditors verifying the tally of vo...
Feature-detection methods are applied to drive Cartesian-based adaptive mesh re nement for improved vortex resolution in aerodynamics ow elds. Several approaches such as the Q-criterion, the eigenvalu...
Most voting schemes aim at providing verifiability: voters should be able to check that their ballots did contribute to the outcome (individual verifiability) and that the tallying authorities did the...
2012年9月27日上午,中国科学院蛋白质科学研究平台Helios Nanolab 600i双束扫描电镜验收会在生物物理研究所召开。会议由孙飞研究员主持,资产处处长韩玉刚、平台主任王翔参加会议。验收专家组由生物物理所徐伟研究员、孙飞研究员、季刚高级工程师组成。用户代表由生物物理所脑与认知国家重点实验室邱荣、姜丽芬组成,电镜厂商代表包括FEI公司客户服务经理王善刚、工程师张新。
Helios is an open-source web-based end-to-end verifiable electronic voting system, suitable for use in low-coercion environments. In this paper, we analyse ballot secrecy and discover a vulnerability ...
An optimized condition for particle bombardment is necessary for efficient genetic transformation. Parameters for Helios gene gun, the new system for nucleic acid delivery which is mainly consists of...
Photonics and Electronics integration is considered using molecular wafer bonding of an optical SOI processed wafer on top of an electronics wafer. InP sources and Ge photodetectors are processed toge...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...