%0 Conference Proceedings %T Certified Synthesis of Efficient Batch Verifiers %+ Johns Hopkins University (JHU) %+ Institute IMDEA Software [Madrid] %+ Mathematical, Reasoning and Software (MARELLE) %A Akinyele, Joseph A. %A Barthe, Gilles %A Grégoire, Benjamin %A Schmidt, Benedikt %A Strub, Pierre-Yves %< avec comité de lecture %B CSF 2014 - IEEE 27th Computer Security Foundations Symposium %C Vienna, Austria %3 27th Computer Security Foundations Symposium, {CSF} 2014 %P 153 - 165 %8 2014-07-19 %D 2014 %R 10.1109/CSF.2014.19 %Z Computer Science [cs]/Cryptography and Security [cs.CR]Conference papers %X Many algorithms admit very efficient batch versionsthat compute simultaneously the output of the algorithms on aset of inputs. Batch algorithms are widely used in cryptography,especially in the setting of pairing-based computations, wherethey deliver significant speed-ups. %G English %L hal-01094565 %U https://inria.hal.science/hal-01094565 %~ INRIA %~ INRIA-SOPHIA %~ INRIASO %~ INRIA_TEST %~ TESTALAIN1 %~ INRIA2 %~ TEST3-HALCNRS %~ INRIA-ETATSUNIS