120 citations · 222 across the 12 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2026★ 4 cited
An Approach for Safe and Secure Software Protection Supported by Symbolic Execution
Daniel Dorfmeister, Flavio Ferrarotti, Bernhard Fischer +3
We introduce a novel copy-protection method for industrial control software. With our method, a program executes correctly only on its target hardware and behaves differently on ot…
cs.CR2019★ 4 cited
Integrating Threat Modeling and Automated Test Case Generation into Industrialized Software Security Testing
Stefan Marksteiner, Rudolf Ramler, Hannes Sochor
Industrial Internet of Things (IIoT) application provide a whole new set of possibilities to drive efficiency of industrial production forward. However, with the higher degree of i…