4 citations · 4 across the 1 of their papers we have counts for
2 papers
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.SE2024
Contemporary Software Modernization: Perspectives and Challenges to Deal with Legacy Systems
Wesley K. G. Assunção, Luciano Marchezan, Alexander Egyed +1
Software modernization is an inherent activity of software engineering, as technology advances and systems inevitably become outdated. The term "software modernization" emerged as…