%0 Conference Paper %1 conf/vlsi/IbrahimAES23 %A Ibrahim, Hala %A Azmi, Haytham %A El-Kharashi, M. Watheq %A Safar, Mona %B VLSI-SoC %D 2023 %I IEEE %K dblp %P 1-6 %T Hardware Security Analysis of Arbiters: Trojan Modeling and Formal Verification. %U http://dblp.uni-trier.de/db/conf/vlsi/vlsisoc2023.html#IbrahimAES23 %@ 979-8-3503-2599-7

@inproceedings{conf/vlsi/IbrahimAES23, added-at = {2023-12-06T00:00:00.000+0100}, author = {Ibrahim, Hala and Azmi, Haytham and El-Kharashi, M. Watheq and Safar, Mona}, biburl = {https://www.bibsonomy.org/bibtex/2046aeb8865e5f0a6fc5322dc663b7cbf/dblp}, booktitle = {VLSI-SoC}, crossref = {conf/vlsi/2023}, ee = {https://doi.org/10.1109/VLSI-SoC57769.2023.10321908}, interhash = {f21ceccebaa083ec319007de22f31cce}, intrahash = {046aeb8865e5f0a6fc5322dc663b7cbf}, isbn = {979-8-3503-2599-7}, keywords = {dblp}, pages = {1-6}, publisher = {IEEE}, timestamp = {2024-04-09T12:01:35.000+0200}, title = {Hardware Security Analysis of Arbiters: Trojan Modeling and Formal Verification.}, url = {http://dblp.uni-trier.de/db/conf/vlsi/vlsisoc2023.html#IbrahimAES23}, year = 2023 }