Biography
Yanran Lin is a PhD student in the Kahlert School of Computing at the University of Utah, working under the supervision of Dr. Luis Garcia. Her research focuses on formal verification and security analysis of programmable logic controllers in industrial cyber-physical systems.
Research Interests
Formal VerificationIndustrial Control SystemsPLC SecurityCyber-physical SystemsSafety Analysis
Contact Information
Email:yanran.lin@utah.edu
Office:Kahlert School of Computing
Institution:University of Utah