Old Web
English
Sign In
Acemap
>
authorDetail
>
Awais Mehmood Kamboh
Awais Mehmood Kamboh
National University of Science and Technology
Formal verification
Hardware Trojan
Sequential logic
Embedded system
Model checking
2
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (2)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
ForASec: Formal Analysis of Hardware Trojan-based Security Vulnerabilities in Sequential Circuits
2021
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Faiq Khalid
Imran Hafeez Abbassi
Semeen Rehman
Awais Mehmood Kamboh
Osman Hasan
Muhammad Shafique
Show All
Source
Cite
Save
Citations (0)
TrojanZero: Switching Activity-Aware Design of Undetectable Hardware Trojans with Zero Power and Area Footprint
2019
| Design, Automation & Test in Europe
Imran Hafeez Abbassi
Faiq Khalid
Semeen Rehman
Awais Mehmood Kamboh
Axel Jantsch
Siddharth Garg
Muhammad Shafique
Show All
Source
Cite
Save
Citations (0)
1