An Approach for Safe and Secure Software Protection Supported by Symbolic Execution | ScienceToStartup | ScienceToStartup