Computer Sciences and Information Technology
Title : | Formal verification of security protocols in network devices |
Area of Research : | Computer Sciences and Information Technology |
Focus Area : | Security protocols in network devices |
Principal Investigator : | Dr. N. R. Sunitha, Professor & Head, Department of Computer Science & Engineering, Siddaganga Institute of Technology (SIT), Karnataka |
Contact info : | nrsunitha@sit.ac.in,
nrsunithasit@gmail.com |
Timeline Start Year : | 2016 |
Timeline End Year : | 2018 |
Details
Organizations involved