Stefan Katzenbeisser

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Protecting Software through Obfuscation: Can It Keep Pace with Progress in Code Analysis?
Sebastian Schrittwieser and others (2016) · ACM Computing Surveys · Association for Computing Machinery
Proactive Detection of Computer Worms Using Model Checking
Johannes Kinder and others (2010) · IEEE Transactions on Dependable and Secure Computing · IEEE Computer Society