2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.SE2024★ 2 cited
Annotating Control-Flow Graphs for Formalized Test Coverage Criteria
Sean Kauffman, Carlos Moreno, Sebastian Fischmeister
Control flow coverage criteria are an important part of the process of qualifying embedded software for safety-critical systems. Criteria such as modified condition/decision covera…
cs.CR2020★ 1 cited
CANOA: CAN Origin Authentication Through Power Side-Channel Monitoring
Shailja Thakur, Carlos Moreno, Sebastian Fischmeister
The lack of any sender authentication mechanism in place makes CAN (Controller Area Network) vulnerable to security threats. For instance, an attacker can impersonate an ECU (Elect…