@inproceedings{akinyele:hal-01094565, TITLE = {{Certified Synthesis of Efficient Batch Verifiers}}, AUTHOR = {Akinyele, Joseph A. and Barthe, Gilles and Gr{\'e}goire, Benjamin and Schmidt, Benedikt and Strub, Pierre-Yves}, URL = {https://inria.hal.science/hal-01094565}, BOOKTITLE = {{CSF 2014 - IEEE 27th Computer Security Foundations Symposium}}, ADDRESS = {Vienna, Austria}, SERIES = {27th Computer Security Foundations Symposium, \{CSF\} 2014}, PAGES = {153 - 165}, YEAR = {2014}, MONTH = Jul, DOI = {10.1109/CSF.2014.19}, HAL_ID = {hal-01094565}, HAL_VERSION = {v1}, }