habile
发表于 2025-3-28 15:38:48
http://reply.papertrans.cn/24/2339/233859/233859_41.png
江湖骗子
发表于 2025-3-28 22:28:18
Soil Productivity and Nutrition,thorities, similar to DRE-i, but with a significantly stronger guarantee on voter privacy. In the event that the voting machine is fully compromised, the assurance on tallying integrity remains intact and the information leakage is limited to the minimum: only the partial tally at the time of compro
侵略者
发表于 2025-3-29 01:56:38
,Rule and Rebellion (1826–1871), of our results on several case studies, including different versions of Helios and Prêt-à-Voter, as well as the JCJ protocol. For some of these protocols we can use the ProVerif tool to provide the first formal proofs of privacy for an unbounded number of voters.
小官
发表于 2025-3-29 06:58:28
,Rule and Rebellion (1826–1871),ent smart contracts using the standard transactions only?” We answer this question affirmatively, by constructing efficient Zero-Knowledge Contingent Payment protocol for a large class of NP-relations. This includes the relations for which efficient sigma protocols exist. In particular, our protocol
Antagonist
发表于 2025-3-29 10:54:35
Towards Efficient Evaluation of a Time-Driven Cache Attack on Modern Processorsne their corresponding attacks. As an additional benefit, combined attacks simplify a comprehensive evaluation of cryptographic software across multiple different processors. We finally formulate practical evaluation suggestions based on the results of our case study.
infatuation
发表于 2025-3-29 13:35:59
More Practical and Secure History-Independent Hash Tableshe data structures. In this work, we present and analyze an efficient hash table data structure that simultaneously achieves the following properties:.To our knowledge, our hash table construction is the first data structure that combines history-independence and protection against a form of timing
paleolithic
发表于 2025-3-29 18:37:28
http://reply.papertrans.cn/24/2339/233859/233859_47.png
Narrative
发表于 2025-3-29 21:53:06
http://reply.papertrans.cn/24/2339/233859/233859_48.png
cushion
发表于 2025-3-30 03:44:54
Compiling Low Depth Circuits for Practical Secure Computationion techniques and implement these in the existing CBMC-GC compiler. Our experiments show significant depth reductions over hand-optimized constructions (for some applications up to 2.5.), while maintaining a circuit size that is competitive with size-minimizing compilers. Evaluating exemplary funct
ALTER
发表于 2025-3-30 07:36:27
http://reply.papertrans.cn/24/2339/233859/233859_50.png