TY  - RPRT
TI  - ForASec: Formal Analysis of Security Vulnerabilities in Sequential Circuits
AU  - Faiq Khalid
AU  - Imran Hafeez Abbassi
AU  - Semeen Rehman
AU  - Awais Mehmood Kamboh
AU  - Osman Hasan
AU  - Muhammad Shafique
PY  - 2021
UR  - https://arxiv.org/abs/1812.05446
ID  - 1812.05446
ER  -