In search of drugs to alleviate suppression of the host's innate immune responses against SARS-CoV-2 using a molecular modeling approach.
In search of drugs to alleviate suppression of the host's innate immune responses against SARS-CoV-2 using a molecular modeling approach.
复制标题
使用分子建模方法寻找药物来减轻宿主对 SARS-CoV-2 先天免疫反应的抑制。
DOI：
10.1007/978-3-319-11698-3_26
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Choudhury S
中科院分区：
文献类型：
--
作者：
Choudhury S
Helios是一个基于网络的端到端可验证的电子投票系统，据说适用于低强制环境。虽然许多互联网投票方案已在文献中提出，太阳神脱颖而出，其真实的世界的相关性。它已被用于世界各地大学校园的一些选举，最近也被IACR用于选举其董事会成员。有人指出，Helios中不诚实的服务器可以填充选票，这似乎限制了系统端到端可验证性的要求。在这项工作中，我们调查如何投票填充的问题可以得到解决，以最小的变化，目前在太阳神的投票经验，我们正式讨论我们的技术的安全性。我们的想法是直观的和一般的，足以适用于其他互联网投票计划的背景下，他们也解决了最近的攻击利用的选票在太阳神的可塑性。
Helios is a web-based end-to-end verifiable electronic voting system which has been said to be suitable for low-coercion environments. Although many Internet voting schemes have been proposed in the literature, Helios stands out for its real world relevance. It has been used in a number of elections in university campuses around the world and it has also been used recently by the IACR to elect its board members. It was noted that a dishonest server in Helios can stuff ballots and this seems to limit the claims of end-to-end verifiability of the system. In this work, we investigate how the issue of ballot stuffing can be addressed with minimum change to the current vote casting experience in Helios and we argue formally about the security of our techniques. Our ideas are intuitive and general enough to be applied in the context of other Internet voting scheme and they also address recent attacks exploiting the malleability of ballots in Helios.