Bulbul Ahmed, Fahim Rahman, Nick Hooten, Farimah Farahmandi, Mark M. Tehranipoor. AutoMap: Automated Mapping of Security Properties Between Different Levels of Abstraction in Design Flow. In IEEE/ACM International Conference On Computer Aided Design, ICCAD 2021, Munich, Germany, November 1-4, 2021. pages 1-9, IEEE, 2021. [doi]
@inproceedings{AhmedRHFT21,
title = {AutoMap: Automated Mapping of Security Properties Between Different Levels of Abstraction in Design Flow},
author = {Bulbul Ahmed and Fahim Rahman and Nick Hooten and Farimah Farahmandi and Mark M. Tehranipoor},
year = {2021},
doi = {10.1109/ICCAD51958.2021.9643467},
url = {https://doi.org/10.1109/ICCAD51958.2021.9643467},
researchr = {https://researchr.org/publication/AhmedRHFT21},
cites = {0},
citedby = {0},
pages = {1-9},
booktitle = {IEEE/ACM International Conference On Computer Aided Design, ICCAD 2021, Munich, Germany, November 1-4, 2021},
publisher = {IEEE},
isbn = {978-1-6654-4507-8},
}