FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1922876719> ?p ?o ?g. }

• W1922876719 endingPage "912" @default.
• W1922876719 startingPage "867" @default.
• W1922876719 abstract "As devices everywhere increasingly communicate with each other, many security applications will require low-bandwidth signatures that can be processed quickly. Pairing-based signatures can be very short, but are often costly to verify. Fortunately, they also tend to have efficient batch verificatio n algorithms. Finding these batching algorithms by hand, however, can be tedious and error prone. We address this by presenting AutoBatch, an automated tool for generating batch verification code in either Python or C++ from a high level representation of a signature scheme. AutoBatch outputs both software and, for transparency, a LaTeX file describing the batching algorithm and arguing that it preserves the unforgeability of the original scheme. We tested AutoBatch on over a dozen pairing-based schemes to demonstrate that a computer could find competitive batching solutions in a reasonable amount of time. In particular, it found an algorithm that is faster than a batching algorithm from Eurocrypt 2010. Another novel contribution is that it handles cross-scheme batching, where it searches for a common algebraic structure between two distinct schemes and attempts to batch them together. In this work, we expand upon our paper on AutoBatch appearing in ACM CCS 2012 [in: Proceedings of the 2012 ACM Conference on Computer and Communications Security, CCS'12, ACM, New York, NY, USA, 2012, pp. 474–487] in a number of ways. We add a new loop-unrolling technique and show that it helps cut the batch verification cost of one scheme by roughly half. We describe our pruning and search algorithms in greater detail, including pseudocode and diagrams. All experiments were also re-run using the RELIC pairing library. We compare those results to our earlier results using the MIRACL library, and discuss why RELIC outperforms MIRACL in all but two cases. Automated proofs of several new batching algorithms are also included. AutoBatch is a useful tool for cryptographic designers and implementors, and to our knowledge, it is the first attempt to outsource to machines the design, proof writing and implementation of signature batch verification schemes." @default.
• W1922876719 created "2016-06-24" @default.
• W1922876719 creator A5013601672 @default.
• W1922876719 creator A5034127630 @default.
• W1922876719 creator A5072635090 @default.
• W1922876719 creator A5083731744 @default.
• W1922876719 date "2014-12-16" @default.
• W1922876719 modified "2023-10-10" @default.
• W1922876719 title "Machine-generated algorithms, proofs and software for the batch verification of digital signature schemes" @default.
• W1922876719 cites W118658755 @default.
• W1922876719 cites W1480225633 @default.
• W1922876719 cites W1484751769 @default.
• W1922876719 cites W1503167707 @default.
• W1922876719 cites W1512399872 @default.
• W1922876719 cites W1514780971 @default.
• W1922876719 cites W1519972057 @default.
• W1922876719 cites W1537942726 @default.
• W1922876719 cites W1547442962 @default.
• W1922876719 cites W1551056197 @default.
• W1922876719 cites W1569083856 @default.
• W1922876719 cites W1569543440 @default.
• W1922876719 cites W1586882471 @default.
• W1922876719 cites W1592092778 @default.
• W1922876719 cites W1599369946 @default.
• W1922876719 cites W1602903055 @default.
• W1922876719 cites W1604877855 @default.
• W1922876719 cites W1643928249 @default.
• W1922876719 cites W174193449 @default.
• W1922876719 cites W1888254701 @default.
• W1922876719 cites W1900771389 @default.
• W1922876719 cites W1910390680 @default.
• W1922876719 cites W192109078 @default.
• W1922876719 cites W1946499719 @default.
• W1922876719 cites W1994278052 @default.
• W1922876719 cites W2000600617 @default.
• W1922876719 cites W2001084165 @default.
• W1922876719 cites W2014239329 @default.
• W1922876719 cites W2018680338 @default.
• W1922876719 cites W2019360894 @default.
• W1922876719 cites W2030914912 @default.
• W1922876719 cites W2078590992 @default.
• W1922876719 cites W2097475480 @default.
• W1922876719 cites W2098104887 @default.
• W1922876719 cites W2098147685 @default.
• W1922876719 cites W2099725934 @default.
• W1922876719 cites W2109365902 @default.
• W1922876719 cites W2112914778 @default.
• W1922876719 cites W2123991163 @default.
• W1922876719 cites W2125795633 @default.
• W1922876719 cites W2129184440 @default.
• W1922876719 cites W2129483619 @default.
• W1922876719 cites W2136781432 @default.
• W1922876719 cites W2138582578 @default.
• W1922876719 cites W2141117846 @default.
• W1922876719 cites W2141776264 @default.
• W1922876719 cites W2148489537 @default.
• W1922876719 cites W2151413173 @default.
• W1922876719 cites W2152924492 @default.
• W1922876719 cites W2152974513 @default.
• W1922876719 cites W2159617506 @default.
• W1922876719 cites W2163902533 @default.
• W1922876719 cites W2172028352 @default.
• W1922876719 cites W2175137100 @default.
• W1922876719 cites W2186153718 @default.
• W1922876719 cites W2893690186 @default.
• W1922876719 cites W70239856 @default.
• W1922876719 doi "https://doi.org/10.3233/jcs-140507" @default.
• W1922876719 hasPublicationYear "2014" @default.
• W1922876719 type Work @default.
• W1922876719 sameAs 1922876719 @default.
• W1922876719 citedByCount "1" @default.
• W1922876719 countsByYear W19228767192019 @default.
• W1922876719 crossrefType "journal-article" @default.
• W1922876719 hasAuthorship W1922876719A5013601672 @default.
• W1922876719 hasAuthorship W1922876719A5034127630 @default.
• W1922876719 hasAuthorship W1922876719A5072635090 @default.
• W1922876719 hasAuthorship W1922876719A5083731744 @default.
• W1922876719 hasBestOaLocation W19228767192 @default.
• W1922876719 hasConcept C11413529 @default.
• W1922876719 hasConcept C118463975 @default.
• W1922876719 hasConcept C134306372 @default.
• W1922876719 hasConcept C169590947 @default.
• W1922876719 hasConcept C199360897 @default.
• W1922876719 hasConcept C2524010 @default.
• W1922876719 hasConcept C2777904410 @default.
• W1922876719 hasConcept C2779696439 @default.
• W1922876719 hasConcept C33923547 @default.
• W1922876719 hasConcept C41008148 @default.
• W1922876719 hasConcept C519991488 @default.
• W1922876719 hasConcept C76970557 @default.
• W1922876719 hasConcept C77618280 @default.
• W1922876719 hasConcept C80444323 @default.
• W1922876719 hasConcept C99138194 @default.
• W1922876719 hasConceptScore W1922876719C11413529 @default.
• W1922876719 hasConceptScore W1922876719C118463975 @default.
• W1922876719 hasConceptScore W1922876719C134306372 @default.
• W1922876719 hasConceptScore W1922876719C169590947 @default.
• W1922876719 hasConceptScore W1922876719C199360897 @default.

• next