Isolation in Information Flow Applications -- Matrix: Adaptive Middleware for