Titlebook: Computer Security – ESORICS 2016; 21st European Sympos Ioannis Askoxylakis,Sotiris Ioannidis,Catherine Me Conference proceedings 2016 Sprin

Condense

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

辩论

nauseate

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

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

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

斜坡

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.