Timed Non-interference Under Partial Observability and Bounded Memory. - Anthony Spriet; Didier Lime; Olivier H. Roux (FORMATS, 2023)