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.
- 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