Modular code-based cryptographic verification

Modular code-based cryptographic verification. Fournet, C., Kohlweiss, M., & Strub, P. In Chen, Y., Danezis, G., & Shmatikov, V., editors, Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011, pages 341–350, 2011. ACM.

Paper doi bibtex 1 download

@inproceedings{DBLP:conf/ccs/FournetKS11,
  author = {C{\'{e}}dric Fournet and Markulf Kohlweiss and
Pierre{-}Yves Strub},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/ccs/FournetKS11.bib},
  booktitle = {Proceedings of the 18th {ACM} Conference on Computer
and Communications Security, {CCS} 2011, Chicago,
Illinois, USA, October 17-21, 2011},
  doi = {10.1145/2046707.2046746},
  editor = {Yan Chen and George Danezis and Vitaly Shmatikov},
  isbn = {978-1-4503-0948-6},
  pages = {341--350},
  publisher = {{ACM}},
  timestamp = {Tue, 10 Nov 2020 19:56:39 +0100},
  title = {Modular code-based cryptographic verification},
  url = {https://doi.org/10.1145/2046707.2046746},
  year = {2011}
}

Downloads: 1