This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Osman Hasan
A grouping.
Osman Hasan, NUST: theorem proving and formal analysis applied outward - soft errors, networking, Simulink models (FASiM) and hardware-Trojan attacks (ForASec).
4 references
ForASec: Formal Analysis of Hardware Trojan-Based Security Vulnerabilities in Sequential Circuits
Faiq Khalid and others (2022) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog Circuits
Adnan Rashid and others (2020) · 2020 IEEE International Systems Conference (SysCon)
Applying formal methods to networking: theory, techniques, and applications
Junaid Qadir and others (2015) · IEEE Communications Surveys & Tutorials · IEEE
Formal Analysis of Soft Errors using Theorem Proving
Naeem Abbasi and others (2013) · Electronic Proceedings in Theoretical Computer Science