BibTeX record conf/ccs/AlmeidaBBDGLP17

download as .bib file

@inproceedings{DBLP:conf/ccs/AlmeidaBBDGLP17,
  author    = {Jos{\'{e}} Bacelar Almeida and
               Manuel Barbosa and
               Gilles Barthe and
               Fran{\c{c}}ois Dupressoir and
               Benjamin Gr{\'{e}}goire and
               Vincent Laporte and
               Vitor Pereira},
  editor    = {Bhavani M. Thuraisingham and
               David Evans and
               Tal Malkin and
               Dongyan Xu},
  title     = {A Fast and Verified Software Stack for Secure Function Evaluation},
  booktitle = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 -
               November 03, 2017},
  pages     = {1989--2006},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3133956.3134017},
  doi       = {10.1145/3133956.3134017},
  timestamp = {Sat, 19 Oct 2019 20:06:16 +0200},
  biburl    = {https://dblp.org/rec/conf/ccs/AlmeidaBBDGLP17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics