Ministry of Education
PRADEEP R
VIDWAN ID: 610486

Dr PRADEEP R

Male Doctor of Philosophy
Associate Professor | Department of Computer Science and Engineering
R N S Institute of Technology, BANGALORE
Karnataka
Expertise: Computer Science Cybernetics
ORCID 0000-0003-2865-720X Scopus 60091667300 Google Scholar uvyU9_gAAAAJ
View older version My Dashboard
12 Publications
1 Projects
16 Scopus Citations
12 CrossRef
5 Years 6 Months Total Experience
Publications
12 Total
Articles
7
Chapters
1
Proceedings
4
Activity

No publication activity to display.

Scopus Scopus
16 Citations
3 h-index
CrossRef CrossRef
12 Citations
2 h-index
Google Scholar Google Scholar

Loading Scholar statistics...

Professional Recognition

IBS Bravo Award
2024
THALES
Quarterly Employee Awards
2024
THALES-DIS-IBS

Community & Membership

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Personal Details

Doctor of Philosophy
2025
L.K. MISHRA COLLEGE OF TEACHER EDUCATION
Master of Technology
2014
Guru Nanak Khalsa College, Yamuna Nagar
Bachelor of Engineering
2012
Guru Nanak Khalsa College, Yamuna Nagar
Associate Professor
Jul 2026 – Present
R N S Institute of Technology, BANGALORE | Department of Computer Science and Engineering
Assistant Professor
Jan 2026 – Jul 2026
Siddaganga Institute of Technology, TUMKUR | Information Science and Engineering
Assistant Professor
Mar 2025 – Jan 2026
Sri Siddhartha Institute of Technology, Tumkur.
Research Assistant
Jul 2017 – Jul 2019
Siddaganga Institute of Technology, TUMKUR
Assistant Professor
Jul 2015 – May 2017
Siddaganga Institute of Technology, TUMKUR
Engineering and Technology
Computer Science Cybernetics

Related Profiles

Scholarly Work

Formal Verification of Security Protocols
Completed
Agency: Defence Research and Development Organisation Role: Other
Amount: ₹56 Lac
Duration: 2017 – 2019
No Data Found

There is currently nothing to display here.

AUTOMATED CCTV MONITORING AND ALERT GENERATION SYSTEM FOR CRIME DETECTION IN LIVE VIDEO STREAMS

Dr Pradeep R
- Patent No. : 202541120548 Filed : 03-12-2025
Published : 02-01-2026 Published

PREDICTIVE SYSTEM FOR ASSESSING DROUGHT SEVERITY IN CULTIVATED LANDS

1 . Nitte Meenakshi Institute of Technology
Nitte (Deemed to be University)
Bengaluru 2 . Dr. Thimmaraja Yadava Gopalappa 3 . Mr. Pradeep Rajanna 4 . Ms. Shridevi Baragi 5 . Dr. Pradeepkumar J
- Patent No. : 202541120547 Filed : 03-12-2025
Published : 02-01-2026 Published

Scholarly Publications

A framework for formal verification of security protocols in C++

Book Chapter
Year: 2020. Pages: 163-175 .
Authors: Pradeep, R.; Sunitha, N.R.; Ravi, V.; Verma, S.
DOI 10.1007/978-981-15-0146-3_17 Scopus Scopus: 1

Formal Verification of Authentication and Confidentiality for TACACS+ Security Protocol using Scyther

Conference Paper
Year: 2019.
Authors: R Pradeep; N.R Sunitha; V Ravi; Sushma Verma
DOI 10.1109/ICCCNT45670.2019.8944623 Crossref Crossref: 5 Scopus Scopus: 5

Formal methods to verify authentication in TACACS+ protocol

Conference Paper
Year: 2018.
Authors: .V Ravi; N.R Sunitha; .R Pradeep; Sushma Verma
DOI 10.1109/ICECIT.2017.8453431 Crossref Crossref: 5 Scopus Scopus: 5

An Optimised Sidechain Based Biometric Attendance Solution

Open Access
Journal Article
Serbian Journal of Electrical Engineering. Year: 2025. Volume: 22 , Issue: 3 , Pages: 335-351 .
Authors: Pradeep Rajanna; Nagarajaiah Sunitha; Hanumanthaiah Ranjini; Halappa Kavitha
DOI 10.2298/SJEE240805002R

A Modern Mechanism for Formal Analysis of Biometric Authentication Security Protocol

Open Access
Journal Article
International Journal of Computer Network and Information Security. Year: 2023. Volume: 15 , Issue: 3 , Pages: 15-29 .
Authors: Department of Computer Science and Engineering, Siddaganga Institute of Technology, Tumakuru, 572103, India; Pradeep R.; N. R. Sunitha; G. S. Thejas
DOI 10.5815/ijcnis.2023.03.02

Formal Verification of CHAP PPP authentication Protocol for Smart City/Safe City Applications

Open Access
Conference Paper
Journal of Physics: Conference Series. Year: 2022. Volume: 2161 , Issue: 1 .
Authors: R Pradeep; N R Sunitha
DOI 10.1088/1742-6596/2161/1/012046 Crossref Crossref: 1 Scopus Scopus: 5

AUTOMATED CCTV MONITORING AND ALERT GENERATION SYSTEM FOR CRIME DETECTION IN LIVE VIDEO STREAMS

Other
Year: 2026.
Authors: Pradeep R

PREDICTIVE SYSTEM FOR ASSESSING DROUGHT SEVERITY IN CULTIVATED LANDS

Other
Year: 2026.
Authors: Pradeep R
Showing 1 to 8 of 12 publications