Floragasse 7 – 5th floor, 1040 Vienna

Caroline König

Caroline König

Researcher

Research Interests

Caroline’s research focuses on code obfuscation and predictive maintenance in software engineering. In particular, she investigates mixed Boolean-arithmetic obfuscation and equality saturation–based approaches to better protect program code. She is also interested in software decay, exploring how bugs in frameworks can be predicted early to support more effective maintenance and long-term software quality.


Bio

Caroline holds a Bachelor’s degree in Philosophy from the University of Vienna, with a focus on the philosophy of technology. After her studies in philosophy, she transitioned into software engineering before developing a stronger interest in cybersecurity. She is currently completing a Master’s degree in Artificial Intelligence at Johannes Kepler University Linz, with a focus on machine learning in life science. Her current work explores code obfuscation, particularly mixed Boolean-arithmetic obfuscation and equality saturation–based approaches, as well as predictive maintenance and fault prediction in software frameworks.


https://ucrisportal.univie.ac.at/en/persons/caroline-k%C3%B6nig/publications/