Find Research Outputs

Search in all content

Filters for Research Output

Search concepts
Selected filters

Publication Year

  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011

Author

  • Sanjay Singh
2012

Erroneous state detection in piecewise FIFO system

Sharath, K. A., Vishesh, H. V. & Singh, S., 01-12-2012, Proceedings of the 2012 World Congress on Information and Communication Technologies, WICT 2012. p. 841-845 5 p. 6409192

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Formal verification of the extensible authentication protocol using SPIN

Jnanamurthy, H. K., S.hegde, M. & Singh, S., 12-12-2012, Proceedings of the 2nd International Conference on Computational Science, Engineering and Information, CCSEIT 2012. p. 365-371 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Modeling & verification of sliding window protocol with data loss and intruder detection using NuSMV

Sinha, A., Ry, A. & Singh, S., 12-12-2012, Proceedings of the 2nd International Conference on Computational Science, Engineering and Information, CCSEIT 2012. p. 352-357 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Modeling and verification of Fiat-Shamir zero knowledge authentication protocol

Maurya, A. K., Choudhary, M. S., Ajeyaraj, P. & Singh, S., 01-12-2012, Advances in Computer Science and Information Technology: Computer Science and Engineering - Second International Conference, CCSIT 2012, Proceedings. PART 2 ed. p. 61-70 10 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST; vol. 85, no. PART 2).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Modeling two way concurrent buffer system using timed automata in UPPAAL

Mishra, R., Zeeshaan, M. & Singh, S., 01-12-2012, Proceedings of the 2012 World Congress on Information and Communication Technologies, WICT 2012. p. 846-851 6 p. 6409193

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Privacy preserving and ownership authentication in ubiquitous computing devices using secure three way authentication

Hanumanthappa, P. & Singh, S., 13-07-2012, 2012 International Conference on Innovations in Information Technology, IIT 2012. p. 107-112 6 p. 6207712

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations (Scopus)

Symbolic verification of web crawler functionality and its properties

Shetty, K. S., Bhat, S. & Singh, S., 27-03-2012, 2012 International Conference on Computer Communication and Informatics, ICCCI 2012. 6158649

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Web opinion mining for social networking sites

Kaur, B., Saxena, A. & Singh, S., 12-12-2012, Proceedings of the 2nd International Conference on Computational Science, Engineering and Information, CCSEIT 2012. p. 598-605 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)
2011

Cloud based application development for mobile devices for accessing LBS

Shetty, K. S. & Singh, S., 26-10-2011, Advances in Parallel, Distributed Computing - First International Conference on Parallel, Distributed Computing Technologies and Applications, PDCTA 2011, Proceedings. p. 532-543 12 p. (Communications in Computer and Information Science; vol. 203 CCIS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Formal verification of OAuth 2.0 using alloy framework

Pai, S., Sharma, Y., Kumar, S., Pai, R. M. & Singh, S., 2011, Proceedings - 2011 International Conference on Communication Systems and Network Technologies, CSNT 2011. p. 655-659 5 p. 5966531

Research output: Chapter in Book/Report/Conference proceedingConference contribution

52 Citations (Scopus)

Logical modeling and verification of a strength based multi-agent argumentation scheme using NuSMV

Shetty, S., Shashi Kiran, H. S., Namala, M. B. & Singh, S., 01-12-2011, Advances in Computer Science and Information Technology - First International Conference on Computer Science and Information Technology, CCSIT 2011, Proceedings. PART 1 ed. p. 378-387 10 p. (Communications in Computer and Information Science; vol. 131 CCIS, no. PART 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Modeling and verification of chess game using NuSMV

Saralaya, V., Kishore, J. K., Reddy, S., Pai, R. M. & Singh, S., 2011, Advances in Computing and Communications - First International Conference, ACC 2011, Proceedings. PART 2 ed. Vol. 191 CCIS. p. 460-470 11 p. (Communications in Computer and Information Science; vol. 191 CCIS, no. PART 2).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Modeling and verification of Inter Realm Authentication in Kerberos using symbolic model verifier

Mundra, P., Sharma, M., Shukla, S. & Singh, S., 28-10-2011, Trends in Computer Science, Engineering and Information Technology - First International Conference on Computer Science, Engineering and Information Technology, CCSEIT 2011, Proceedings. p. 496-506 11 p. (Communications in Computer and Information Science; vol. 204 CCIS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Modeling and verification of kerberos protocol using symbolic model verifier

Mundra, P., Shukla, S., Sharma, M., Pai, R. M. & Singh, S., 2011, Proceedings - 2011 International Conference on Communication Systems and Network Technologies, CSNT 2011. p. 651-654 4 p. 5966530

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Modeling and verification of server aided verification protocol using NuSMV

Saralaya, V., Kishore, J. K., Reddy, S. & Singh, S., 28-10-2011, Trends in Computer Science, Engineering and Information Technology - First International Conference on Computer Science, Engineering and Information Technology, CCSEIT 2011, Proceedings. p. 486-495 10 p. (Communications in Computer and Information Science; vol. 204 CCIS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Physical layer authentication in wired and wireless communication systems

Mouli, C. & Singh, S., 26-10-2011, Advances in Digital Image Processing and Information Technology - First International Conference on Digital Image Processing and Pattern Recognition, DPPR 2011, Proceedings. p. 291-304 14 p. (Communications in Computer and Information Science; vol. 205 CCIS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)