Smart Security

Smart Security deals with research and development in secure systems. Our research and methods are based on the concept of provable security. This approach involves validating the security of a method against a formal model and proving that the method is secure. Provable security demonstrates that a method or system has been proven as secure within a specific model.

Our research interests include cryptographic methods and applied cryptography. We are developing blockchain-based methods for validation and verification purposes. Further areas of research include secure protocols for computing encrypted big data such as genetic data. We are also developing password-based methods and investigating their feasibility in practice.

Core Competencies

  • Secure blockchain design
  • Cryptographic method design
  • Analysis of existing systems and methods
  • Developing cryptographic protocols
  • Developing password-based methods
  • Provable security
  • Secure computation through data encryption