Skip to Main content Skip to Navigation
Conference papers

Certified Synthesis of Efficient Batch Verifiers

Joseph A. Akinyele 1 Gilles Barthe 2 Benjamin Grégoire 3 Benedikt Schmidt 2 Pierre-Yves Strub 2
1 JHU - Johns Hopkins University
2 Institute IMDEA Software [Madrid]
3 MARELLE - Mathematical, Reasoning and Software
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : Many algorithms admit very efficient batch versions that compute simultaneously the output of the algorithms on a set of inputs. Batch algorithms are widely used in cryptography, especially in the setting of pairing-based computations, where they deliver significant speed-ups.
Document type :
Conference papers
Complete list of metadatas
https://hal.inria.fr/hal-01094565
Contributor : Benjamin Gregoire <>
Submitted on : Friday, December 12, 2014 - 3:15:07 PM
Last modification on : Thursday, March 5, 2020 - 5:34:29 PM

Identifiers

Collections

INRIA

Citation

Joseph A. Akinyele, Gilles Barthe, Benjamin Grégoire, Benedikt Schmidt, Pierre-Yves Strub. Certified Synthesis of Efficient Batch Verifiers. CSF 2014 - IEEE 27th Computer Security Foundations Symposium, Jul 2014, Vienna, Austria. pp.153 - 165, ⟨10.1109/CSF.2014.19⟩. ⟨hal-01094565⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

321

 

Contact                    Legal Notice                    Personal Data