Formal verification of security protocols in network devices

Accessibility Controls

Siddaganga Institute of Technology (SIT), Tumkur, Karnataka

Principal Investigator

Dr. N. R. Sunitha

Professor & Head, Department of Computer Science & Engineering, Siddaganga Institute of Technology (SIT), Karnataka

Area of Research

Computer Sciences and Information Technology

Focus Area

Security protocols in network devices

Start Date

2016

End Date

2018

Status

Completed

Contact

nrsunitha@sit.ac.in,nrsunithasit@gmail.com

No. of Research Paper

Technologies (If Any)

No. of PhD Produced

Publications

No. of Patents

Filed : 00

Grant : 00

Accessibility Controls