Computer networks and security are fast-moving targets. Research and teaching at the Institute of Networks and Security therefore includes the full range from theoretical to highly practical issues. Current key areas of research to improve the current state-of-the art are:
is currently one of the biggest problems in software engineering research and software industries. We are currently trying to establish a focus area at JKU to include aspects of compilers, system software and platforms, software engineering methods and tools, formal modelling and verification, and specific security-enhancing tools and coding methods to improve the state of the art in secure code techniques in the middle term.