70 citations · 293 across the 33 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.CR2016★ 25 cited
Report on the NSF Workshop on Formal Methods for Security
Stephen Chong, Joshua Guttman, Anupam Datta +5
Report on the NSF Workshop on Formal Methods for Security, held 19-20 November 2015.
eess.SY2016
Information Flow for Security in Control Systems
Sean Weerakkody, Bruno Sinopoli, Soummya Kar +1
This paper considers the development of information flow analyses to support resilient design and active detection of adversaries in cyber physical systems (CPS). The area of CPS s…