Shaikh Islam
Shaikh Islam
Research Interests: Cyber-Physical Systems Security, Industrial Control Systems, Formal Modeling, Security Verification, Temporal Logic, Physics Based Attack.
Research Interests: Cyber-Physical Systems Security, Industrial Control Systems, Formal Modeling, Security Verification, Temporal Logic, Physics Based Attack.