all InfoSec news
Measuring Robustness in Cyber-Physical Systems under Sensor Attacks
March 12, 2024, 4:11 a.m. | Jian Xiang, Ruggero Lanotte, Simone Tini, Stephen Chong, Massimo Merro
cs.CR updates on arXiv.org arxiv.org
Abstract: This paper contributes a formal framework for quantitative analysis of bounded sensor attacks on cyber-physical systems, using the formalism of differential dynamic logic. Given a precondition and postcondition of a system, we formalize two quantitative safety notions, quantitative forward and backward safety, which respectively express (1) how strong the strongest postcondition of the system is with respect to the specified postcondition, and (2) how strong the specified precondition is with respect to the weakest precondition …
analysis arxiv attacks cs.cr cs.et cs.lo cs.sy cyber dynamic eess.sy express forward framework logic measuring physical physical systems quantitative robustness safety sensor system systems under
More from arxiv.org / cs.CR updates on arXiv.org
IDEA: Invariant Defense for Graph Adversarial Robustness
2 days, 10 hours ago |
arxiv.org
FairCMS: Cloud Media Sharing with Fair Copyright Protection
2 days, 10 hours ago |
arxiv.org
Efficient unitary designs and pseudorandom unitaries from permutations
2 days, 10 hours ago |
arxiv.org
Jobs in InfoSec / Cybersecurity
SOC 2 Manager, Audit and Certification
@ Deloitte | US and CA Multiple Locations
Network Security Engineer
@ Meta | Menlo Park, CA | Remote, US
Security Engineer, Investigations - i3
@ Meta | Washington, DC
Threat Investigator- Security Analyst
@ Meta | Menlo Park, CA | Seattle, WA | Washington, DC
Security Operations Engineer II
@ Microsoft | Redmond, Washington, United States
Engineering -- Tech Risk -- Global Cyber Defense & Intelligence -- Bug Bounty -- Associate -- Dallas
@ Goldman Sachs | Dallas, Texas, United States