@misc{indiciae71ec100f0c66,
  title = {An Approach for Safe and Secure Software Protection Supported by Symbolic Execution},
  author = {Daniel Dorfmeister and Flavio Ferrarotti and Bernhard Fischer and Evelyn Haslinger and Rudolf Ramler and Markus Zimmermann},
  year = {2026},
  doi = {10.1007/978-3-031-39689-2\_7},
  url = {https://arxiv.org/abs/2603.10608},
  note = {Source identifier: 2603.10608}
}