Certified Synthesis of Efficient Batch Verifiers - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2014

Certified Synthesis of Efficient Batch Verifiers

Gilles Barthe
  • Function : Author
  • PersonId : 962305
Benedikt Schmidt
Pierre-Yves Strub
  • Function : Author
  • PersonId : 857170

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.
No file

Dates and versions

hal-01094565 , version 1 (12-12-2014)

Identifiers

Cite

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⟩

Collections

INRIA INRIA2
176 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More