@inproceedings{186952fdf7464675ae5b13a6f5aee3c7,
title = "Differential Property Monitoring for Backdoor Detection",
abstract = "A faithful characterization of backdoors is a prerequisite for an effective automated detection. Unfortunately, as we demonstrate, formalization attempts in terms of temporal safety properties prove far from trivial and may involve several revisions. Moreover, given the complexity of the task at hand, a hapless revision of a property may not only eliminate but also introduce inaccuracies in the specification. We introduce a method called differential property monitoring that addresses this challenge by monitoring discrepancies between two versions of a property, and illustrate that this technique can also be used to analyze observations of untrusted components. We demonstrate the utility of the approach using a range of case studies – including the recently discovered xz backdoor.",
author = "Otto Brechelmacher and Dejan Nickovic and Tobias Nie{\ss}en and Sarah Sallinger and Georg Weissenbacher",
year = "2024",
doi = "10.1007/978-981-96-0617-7_13",
language = "English",
isbn = "978-981-96-0616-0",
volume = "15394",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "216--236",
editor = "Ogata, {Kazuhiro } and Mery, {Dominique } and Sun, {Meng } and Liu, {Shaoying }",
booktitle = "Formal Methods and Software Engineering",
address = "Singapore",
edition = "1",
note = "25th International Conference on Formal Engineering Methods, ICFEM 2024 ; Conference date: 02-12-2024 Through 06-12-2024",
}