Condense
发表于 2025-3-30 08:56:00
Secure Logging Schemes and Certificate Transparencye security properties. We consider two classes of security goals: those involving security against a malicious logger attempting to present different views of the log to different parties or at different points in time, and those involving security against malicious monitors who attempt to frame an
辩论
发表于 2025-3-30 14:00:07
http://reply.papertrans.cn/24/2339/233859/233859_52.png
nauseate
发表于 2025-3-30 18:14:02
DRE-ip: A Verifiable E-Voting Scheme Without Tallying Authoritiesthorities, 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
Admire
发表于 2025-3-30 21:03:36
When Are Three Voters Enough for Privacy Properties? 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.
GIBE
发表于 2025-3-31 02:21:50
Efficient Zero-Knowledge Contingent Payments in Cryptocurrencies Without Scriptsent 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
斜坡
发表于 2025-3-31 08:45:56
https://doi.org/10.1007/978-1-4612-6164-3d universal circuits for the execution of a MIPS CPU in each instruction step. We also explore various optimizations based on an offline analysis of the MIPS code to be executed, in order to minimize the overhead of executing each instruction while still maintaining security.