Design and verification of trustworthy systems.

System security (Smart phone and Web), Mobile technologies, Security education.

Cyber Security, Denial of Service Security, Smart phones and tablets security, Biometrics.

Specialty logic to reason about security.

System security, applied cryptography, big data analytics.

Security of cognitive radio and wireless, Byzantine, Game theory.