| 1 | Design testing and formal verification of secure mobile payment protocols | |
| Researcher: | Bojjagani, Sriramulu | |
| Guide: | Sastry, V N | |
| University: | University of Hyderabad, Hyderabad | |
| Language: | English | |
| Shodhganga | ||
| 2 | ||
| Researcher: | Maurya, Anup Kumar | |
| Guide: | Sastry, V N | |
| University: | University of Hyderabad, Hyderabad | |
| Language: | English | |
| Shodhganga | ||