BibTeX record conf/ccs/ArnaboldiM19

download as .bib file

@inproceedings{DBLP:conf/ccs/ArnaboldiM19,
  author    = {Luca Arnaboldi and
               Roberto Metere},
  editor    = {Lorenzo Cavallaro and
               Johannes Kinder and
               XiaoFeng Wang and
               Jonathan Katz},
  title     = {Poster: Towards a Data Centric Approach for the Design and Verification
               of Cryptographic Protocols},
  booktitle = {Proceedings of the 2019 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, {CCS} 2019, London, UK, November 11-15, 2019},
  pages     = {2585--2587},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1145/3319535.3363262},
  doi       = {10.1145/3319535.3363262},
  timestamp = {Fri, 06 Mar 2020 13:19:56 +0100},
  biburl    = {https://dblp.org/rec/conf/ccs/ArnaboldiM19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics