Research Areas

including but not limited to

Complex Cyber-Physical System’s Design

Network Resilience, Survivability, and Disruption Tolerance

Software and Systems Verification

Mobile Security and Privacy Management

Complex Cyber-Physical System’s Design: Specific focus on abstractions, modularity and composability to enable complex design elements to be combined and reused while retaining safety, security, and reliability.

Network Resilience, Survivability, and Disruption Tolerance: Topology generation, analysis, simulation, and experimentation.

Software and Systems Verification: Model Checking Techniques and Tools.

Mobile Security and Privacy Management: Design and develop mechanism to ensure security and privacy rights management in mobile and ubiquitous computing environments.