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