Certified Synthesis of Efficient Batch Verifiers

Certified Synthesis of Efficient Batch Verifiers. Akinyele, J. A., Barthe, G., Grégoire, B., Schmidt, B., & Strub, P. In IEEE 27th Computer Security Foundations Symposium, CSF 2014, Vienna, Austria, 19-22 July, 2014, pages 153–165, 2014. IEEE Computer Society.

Paper doi bibtex

@inproceedings{DBLP:conf/csfw/AkinyeleBGSS14,
  author = {Joseph A. Akinyele and Gilles Barthe and
Benjamin Gr{\'{e}}goire and Benedikt Schmidt and
Pierre{-}Yves Strub},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/csfw/AkinyeleBGSS14.bib},
  booktitle = {{IEEE} 27th Computer Security Foundations Symposium,
{CSF} 2014, Vienna, Austria, 19-22 July, 2014},
  doi = {10.1109/CSF.2014.19},
  isbn = {978-1-4799-4290-9},
  pages = {153--165},
  publisher = {{IEEE} Computer Society},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  title = {Certified Synthesis of Efficient Batch Verifiers},
  url = {https://doi.org/10.1109/CSF.2014.19},
  year = {2014}
}

Downloads: 0