A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Filters
Conformance Relations and Hyperproperties for Doping Detection in Time and Space
[article]
2022
arXiv
pre-print
Preserved Fulltext
Other Versions
We present a novel and generalised notion of doping cleanness for cyber-physical systems that allows for perturbing the inputs and observing the perturbed outputs both in the time- and value-domains. ...
We show that our generalised definitions are essential in a data-driven method for doping detection and apply our definitions to a case study concerning diesel emission tests. ...
In the above example, we demonstrated that not accounting for timing disturbances when relating input trajectories can result in false negatives in doping detection. ...
arXiv:2012.03910v3
fatcat:mkmejfgfyvav3k6jwv3bn53dfy
Conformance-Based Doping Detection for Cyber-Physical Systems
[chapter]
2020
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We present a novel and generalised notion of doping cleanness for cyber-physical systems that allows for perturbing the inputs and observing the perturbed outputs both in the time-and value-domains. ...
We show that our generalised definitions are essential in a data-driven method for doping detection and apply our definitions to a case study concerning diesel emission tests. ...
In the above example, we demonstrated that not accounting for timing disturbances when relating input trajectories can result in false negatives in doping detection. ...
doi:10.1007/978-3-030-50086-3_4
fatcat:gwgba5jbujaovm6lcwz4lpcx4e
Doping Tests for Cyber-Physical Systems
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The work presented in this paper builds on existing definitions of software doping and lays the theoretical foundations for conducting software doping tests, so as to enable attacking evil manufacturers ...
Doped software is significantly different from buggy or insecure software and hence it is not possible to use classical verification and testing techniques to discover and mitigate software doping. ...
Due to lack of space, we cannot present the concrete Ω case and Ω In for these examples.
Discussion Related Work. ...
arXiv:1904.08641v1
fatcat:gslhywljdzbgpettlh6r6xvofy
Facets of Software Doping
[chapter]
2016
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This paper provides an informal discussion of the formal aspects of software doping. ...
help clarify the specificities of software doping with respect to malware, software sabotage, and substitution attacks that have been studied in the context of security [17] . ...
Furthermore, rigorous definitions will provide the necessary foundations for developing analysis methods (verification or testing) against doping. ...
doi:10.1007/978-3-319-47169-3_46
fatcat:wyxzwca4qrc6pbciz72ujjouwu
Facets of Software Doping
[article]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This paper provides an informal discussion of the formal aspects of software doping. ...
help clarify the specificities of software doping with respect to malware, software sabotage, and substitution attacks that have been studied in the context of security [17] . ...
Furthermore, rigorous definitions will provide the necessary foundations for developing analysis methods (verification or testing) against doping. ...
arXiv:1803.10154v1
fatcat:v72pk3dsrbdttp7243ycljdrau
Statistical Verification of Hyperproperties for Cyber-Physical System
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
In this work, we focus on verifying probabilistic hyperproperties for CPS. ...
Examples include probabilistic fairness and sensitivity to modeling errors (i.e., parameters changes) for real-valued signals. These requirements can only be specified by hyperproperties. ...
The probabilistic hyperproperties related to P 2 HIOA, as the one discussed in Sections 1 and 4, will be statistically verified on this PUS. ...
arXiv:1906.07253v2
fatcat:t7wmnesfdnfabmqjx47mf53ytm
Explainable Software for Cyber-Physical Systems (ES4CPS): Report from the GI Dagstuhl Seminar 19023, January 06-11 2019, Schloss Dagstuhl
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
engineering, and related fields have to be applied, combined, and researched further. ...
This report documents the program and results of the GI-Dagstuhl Seminar 19023 on Explainable Software for Cyber-Physical Systems (ES4CPS). ...
Acknowledgments We would like to thank the Gesellschaft for Informatik e.V. (GI, German Society for Informatics) and Schloss Dagstuhl for partially funding this seminar. ...
arXiv:1904.11851v1
fatcat:r2r5ac6hmnel3f6weiynjwunni
Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
, and (iii) synthesis of runtime monitors for real driving emissions of cars in-the-wild. ...
It then details approaches to use (i) model checking for the white-box analysis of the embedded software, (ii) model- based black-box testing to detect fraudulent behaviour under standardized conditions ...
We fix a contract, where the input space In is a vector space spanned by all possible input parameter dimensions. ...
doi:10.29007/6zxt
fatcat:pi5wtxjvsjceblrxqs77tuoz2m