Facets of Software Doping

2018/03/27 by Gilles Barthe, Pedro R. D’Argenio, Barthe, Gilles +5
Computer Science · Social Sciences · #Advanced Malware Detection Techniques #Digital Games and Media #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Open Source Software Innovations #Software Engineering (cs.SE)

paper · pdf · doi:10.48550/arxiv.1803.10154

openalex publication_date 2018/03/27 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

This paper provides an informal discussion of the formal aspects of software doping.

Related

• Doping Tests for Cyber-Physical Systems
• Software Doping Analysis for Human Oversight
• Is your software on dope? Formal analysis of surreptitiously "enhanced" programs
• Software is infrastructure: failures, successes, costs, and the case for formal verification
• Rethinking the Software Life Cycle: About the Interlace of Different Design and Development Activities