Certified Synthesis of Efficient Batch Verifiers

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, January 11, 2018 - 4:23:44 PM

Identifiers

Collections

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⟩

Share

Metrics

Record views

279