BibTeX record conf/icics/WangQYZF16

• > Home > conf/icics/WangQYZF16

@inproceedings{DBLP:conf/icics/WangQYZF16,
  author       = {Weijin Wang and
                  Yu Qin and
                  Bo Yang and
                  Yingjun Zhang and
                  Dengguo Feng},
  editor       = {Kwok{-}Yan Lam and
                  Chi{-}Hung Chi and
                  Sihan Qing},
  title        = {Automated Security Proof of Cryptographic Support Commands in {TPM}
                  2.0},
  booktitle    = {Information and Communications Security - 18th International Conference,
                  {ICICS} 2016, Singapore, November 29 - December 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9977},
  pages        = {431--441},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-50011-9\_33},
  doi          = {10.1007/978-3-319-50011-9\_33},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/icics/WangQYZF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}