BibTeX record conf/vlsi/IbrahimAES23

download as .bib file

@inproceedings{DBLP:conf/vlsi/IbrahimAES23,
  author       = {Hala Ibrahim and
                  Haytham Azmi and
                  M. Watheq El{-}Kharashi and
                  Mona Safar},
  title        = {Hardware Security Analysis of Arbiters: Trojan Modeling and Formal
                  Verification},
  booktitle    = {31st {IFIP/IEEE} International Conference on Very Large Scale Integration,
                  VLSI-SoC 2023, Dubai, United Arab Emirates, October 16-18, 2023},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/VLSI-SoC57769.2023.10321908},
  doi          = {10.1109/VLSI-SOC57769.2023.10321908},
  timestamp    = {Wed, 06 Dec 2023 13:14:06 +0100},
  biburl       = {https://dblp.org/rec/conf/vlsi/IbrahimAES23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics