@misc{indiciaefb234651d2bd,
  title = {ForASec: Formal Analysis of Security Vulnerabilities in Sequential Circuits},
  author = {Faiq Khalid and Imran Hafeez Abbassi and Semeen Rehman and Awais Mehmood Kamboh and Osman Hasan and Muhammad Shafique},
  year = {2021},
  url = {https://arxiv.org/abs/1812.05446},
  note = {Source identifier: 1812.05446}
}