Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security Martin Mohr