Ministry of Education
Vidvan Image

Mr PRADEEP R

vidwan id: 610486
Male

Assistant Professor,
Sri Siddhartha Institute of Technology, Tumkur

Orchid Icon 0000-0003-2865-720X

Expertise

  • Computer Science Cybernetics

Publications

Total Articles 14
Books 0
Proceedings 0

Publications

No publication activity to display at the moment.

Scopus

Citations 8
h-index 2

CrossRef

CrossRef Icon
Citations 1
h-index 1
Google Scholar

Loading Scholar statistics...

Professional Recognition

2024

IBS Bravo Award

THALES

Community & Membership

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Bio

6 Years of Industry Experience at THALES DIS - Identity and Biometrics Solutions R&D. 2 Years of Research Experience at DRDO SAG Delhi. 2 Years of Academic Experience at SIT Tumklur. Expertise: Biometric Solutions, Blockchain, Formal Verification of Security Protocols.

Personal Details

  • Male
  • Assistant Professor , Sri Siddhartha Institute of Technology, Tumkur
  • SSIT Main Road, Near SSIT College, Saraswathipuram, Tumakuru, Karnataka, India
(PhD)
Other Institute 2025
MTECH
Other Institute 2014
BE
Other Institute 2012
Assistant Professor Mar 2025 – Present
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

Related Profiles

Experts (882+)

View All
Pragati

Ms Pragati Mishra

Assistant Professor

Sridhar

Dr Sridhar Sekar

Assistant Professor

DEEPAK

Mr DEEPAK B N

N/A

Md

Dr Md Nadeem M

Assistant Professor

Rashmi

Rashmi Chandra

Assistant Professor

Anjali

Dr Anjali Jadhav

Doctor

Abhishek

Mr Abhishek Shukla

Assistant Professor (Grade-I)

N

Dr N PRAKASH

Assistant Professor

Mrinmoy

Mr Mrinmoy Sadhukhan

Research Scholar

Haranath

Mr Haranath Rakshit

Junior Research Fellow

Organisations (36+)

View All
Pradeep

Dr Pradeep A R

Associate Professor

Ashwini

Ashwini K J

Assistant Professor

Bharathi N

Bharathi N N

Assistant Professor

Kantharaju

Mr Kantharaju

Assistant Professor

Pruthviraj

Mr Pruthviraj K

Assistant Professor

Kavyashree

Dr Kavyashree Nagarajaiah

Assistant Professor

Ghouse

Dr Ghouse Ahamed Z

Assistant Professor

Gurunandan

Mr Gurunandan P H

Assistant Professor

Chetana

Dr Chetana C

Assistant Professor

Chidananda Murthy

Dr Chidananda Murthy M V

Associate Professor

Co-Authors (3)

Sunitha.

Dr Sunitha. N R

Siddaganga Institute of Technology, TUMKUR

Ravi

Mr Ravi V

Siddaganga Institute of Technology, TUMKUR

Thejas

Mr Thejas G S

Siddaganga Institute of Technology, TUMKUR

Scholarly Work

Formal Verification of Security Protocols

Funding Agency: DRDO-SAG

Research Assistant

5,600,000

2017 - 2019

Completed
No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Scholarly Publications

A Modern Mechanism for Formal Analysis of Biometric Authentication Security Protocol

Open Access
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
journal-article
Year: 2022. Volume: 2161 , Issue: 1 .
Authors:
DOI 10.1088/1742-6596/2161/1/012046
1

A Reliable Block-Chain Based Biometric Authentication Solution for Aadhar

Open Access
journal-article
Indian Journal of Science and Technology. Year: 2022.
Authors: Department of CSE, Siddaganga Institute of Technology, Tumakuru, 572103, Karnataka, India;R Pradeep;N R Sunitha
DOI 10.17485/ijst/v15i41.658

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

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

Formal Verification of Forward-SecureAuthenticated Key Exchange Scheme forLocation-based Service Application

Open Access
journal-article
Year: 2019.
Authors:

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

Open Access
Conference Paper
Year: 2019.
Authors: Pradeep R.;Sunitha N.R.;Ravi V.;Verma S.
DOI 10.1109/ICCCNT45670.2019.8944623
4

Formal Verification of Forward-SecureAuthenticated Key Exchange Scheme forLocation-based Service Application

Open Access
article
Year: 2019.
Authors: Pradeep R

Formal methods to verify authentication in TACACS+ protocol

Open Access
Conference Paper
Year: 2018.
Authors: Ravi V.;Sunitha N.R.;Pradeep R.;Verma S.
DOI 10.1109/ICECIT.2017.8453431
3