Pradeep R

Pradeep R

Research Assistant in the Dept of CSE SIT Tumkur
Verified email at sit.ac.in
Cited by 25
Formal verification Security Protocol Verification Model Checking
Rajiv Ranjan Singh

Rajiv Ranjan Singh

Lecturer in Cyber Security at Glasgow Caledonian University
Verified email at gcu.ac.uk
Cited by 20
Cyber Security Security Protocol Verification Security and Privacy AI Machine Learning