Automated Verification in Cryptography System

N. Immanuel Jebadurai, Himanshu Gupta. Automated Verification in Cryptography System. In ICTCS '16: Second International Conference on Information and Communication Technology for Competitive Strategies, Udaipur, India, March, 2016. ACM, 2016. [doi]

Authors

N. Immanuel Jebadurai

This author has not been identified. Look up 'N. Immanuel Jebadurai' in Google

Himanshu Gupta

This author has not been identified. Look up 'Himanshu Gupta' in Google