I går sendte jeg den endelige version af vores artikel Practical Short Signature Batch Verification ind til CT-RSA 2009. Der var dog en grænse på 16 sider alt inkl., så vi har også lagt den fulde version online på ePrint, samt under publikationer linket ovenfor. Hvis du er i tvivl om det kunne være interessant at læse artiklen, så kan du da tage et kig på følgende abstract 🙂
In many applications, it is desirable to work with signatures that are both short, and yet where many messages from different signers be verified very quickly. RSA signatures satisfy the latter condition, but are generally thousands of bits in length. Recent developments in pairing-based cryptography produced a number of short signatures which provide equivalent security in a fraction of the space. Unfortunately, verifying these signatures is computationally intensive due to the expensive pairing operation. In an attempt to simultaneously achieve “short and fast” signatures, Camenisch, Hohenberger and Pedersen (Eurocrypt 2007) showed how to batch verify two pairing-based schemes so that the total number of pairings was independent of the number of signatures to verify.
In this work, we present both theoretical and practical contributions. On the theoretical side, we introduce new batch verifiers for a wide variety of regular, identity-based, group, ring and aggregate signature schemes. These are the first constructions for batching group signatures, which answers an open problem of Camenisch et al. On the practical side, we implement each of these algorithms and compare each batching algorithm to doing individual verifications. Our goal is to test whether batching is practical; that is, whether the benefits of removing pairings significantly outweigh the cost of the additional operations required for batching, such as group membership testing, randomness generation, and additional modular exponentiations and multiplications. We experimentally verify that the theoretical results of Camenisch et al. and this work, indeed, provide an efficient, effective approach to verifying multiple signatures from (possibly) different signers.
Den forrige artikel af Camenisch et al. vi refererer til, er også en jeg har været medforfatter på, så egentlig er den nye artikel bare en fortsættelse af det arbejde, vi præsenterede på Eurocrypt konferencen i 2007.
Seneste kommentarer