Sai Sidharth Patlolla

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Security Analysis

Formal Analysis

Top Venues

Publications

Sai Sidharth Patlolla, Bruce M. McMillin, Sridhar Adepu, Aditya Mathur
An Approach for Formal Analysis of the Security of a Water Treatment Testbed. PRDC (2018)