Skip to Main content Skip to Navigation
Conference papers

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 metadata
Contributor : Benjamin Gregoire Connect in order to contact the contributor
Submitted on : Friday, December 12, 2014 - 3:15:07 PM
Last modification on : Thursday, January 20, 2022 - 5:30:46 PM




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⟩



Les métriques sont temporairement indisponibles