Login / Signup
Sachin Parekh
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Model Checker
Formal Methods
Communication Protocols
Diffie Hellman
Top Venues
Scalable Comput. Pract. Exp.
</>
Publications
</>
Irfan A. Siddavatam
,
Sachin Parekh
,
Tanay Shah
,
Faruk Kazi
Testing and Validation of Modbus/TCP Protocol for Secure SCADA Communication in CPS using Formal Methods.
Scalable Comput. Pract. Exp.
18 (4) (2017)