TY - RPRT TI - An Approach for Safe and Secure Software Protection Supported by Symbolic Execution AU - Daniel Dorfmeister AU - Flavio Ferrarotti AU - Bernhard Fischer AU - Evelyn Haslinger AU - Rudolf Ramler AU - Markus Zimmermann PY - 2026 DO - 10.1007/978-3-031-39689-2_7 UR - https://arxiv.org/abs/2603.10608 ID - 2603.10608 ER -