Runtime Verification of Information flow | Kaicus Deutschland