Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1708.04798
Cited By
Design-Time Quantification of Integrity in Cyber-Physical-Systems
16 August 2017
Eric Rothstein Morris
C. Murguia
Martín Ochoa
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Design-Time Quantification of Integrity in Cyber-Physical-Systems"
2 / 2 papers shown
Quantifying Security for Networked Control Systems: A Review
S. C. Anand
Anh Tung Nguyen
André M. H. Teixeira
H. Sandberg
Karl H. Johansson
148
4
0
21 Oct 2025
Systematic Classification of Attackers via Bounded Model Checking
International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI), 2019
Eric Rothstein Morris
Junbo Sun
Sudipta Chattopadhyay
87
0
0
13 Nov 2019
1
Page 1 of 1
