Showing 2026Show all
2 papers · 1 filter
cs.CR2026
Privacy-Preserving Robustness-Guided Testing
Charles Koll, Houssam Abbas, Mike Rosulek
In industries like semi-conductors and aerospace, it is common for the design company to contract out part of the testing process to a Testing-as-a-Service (TaaS) company. In such…
cs.LO2026
Runtime Monitoring of Distributed Cyber-Physical Systems Without a Global Clock
Charles Koll, Houssam Abbas
We give the first theoretical characterization, and the first algorithm, for continuous monitoring of a distributed Cyber-Physical System (CPS) against a dense-time temporal logic…