BibTeX record conf/icea/DugumaKKY20

download as .bib file

@inproceedings{DBLP:conf/icea/DugumaKKY20,
  author       = {Daniel Gerbi Duguma and
                  Jiyoon Kim and
                  Bonam Kim and
                  Ilsun You},
  title        = {A Formal Security Verification on He and Zeadally's Authentication
                  Protocol for IMD-Enabled Ambient Assisted Living System},
  booktitle    = {{ACM} {ICEA} '20: 2020 {ACM} International Conference on Intelligent
                  Computing and its Emerging Applications, GangWon Republic of Korea,
                  December 12 - 15, 2020},
  pages        = {36:1--36:6},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3440943.3444735},
  doi          = {10.1145/3440943.3444735},
  timestamp    = {Mon, 03 Jan 2022 22:27:56 +0100},
  biburl       = {https://dblp.org/rec/conf/icea/DugumaKKY20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics