Nitish Dalal

Publications

Citations

H-Index

2010

Active since

Affiliations

Sardar Vallabhbhai National Institute of Technology Surat(Current)

Nitish Dalal is an author at Sardar Vallabhbhai National Institute of Technology Surat specializing in software verification, software analysis, and computer science.

Top concepts

ProtocolsEngineeringCryptographyVerificationData SecurityFormal MethodsComputer ScienceSoftware AnalysisSecurity ProtocolsFormal Verification

Publications per year

2010–2010

Publications

A Comparative Analysis of Tools for Verification of Security Protocols

Nitish Dalal, Jenny Shah, Khushboo Hisaria et al. · International Journal of Communications Network and System Sciences · 2010 · 45 citations · Full text

Cryptographic Primitive, Engineering, Information Security +18

Rows per page

1–1 of 1