BibTeX record conf/acsac/KimHHJ17

download as .bib file

@inproceedings{DBLP:conf/acsac/KimHHJ17,
  author       = {Jun Young Kim and
                  Ralph Holz and
                  Wen Hu and
                  Sanjay Jha},
  title        = {Automated Analysis of Secure Internet of Things Protocols},
  booktitle    = {Proceedings of the 33rd Annual Computer Security Applications Conference,
                  Orlando, FL, USA, December 4-8, 2017},
  pages        = {238--249},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3134600.3134624},
  doi          = {10.1145/3134600.3134624},
  timestamp    = {Sat, 05 Sep 2020 18:05:27 +0200},
  biburl       = {https://dblp.org/rec/conf/acsac/KimHHJ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics