Seol mar théacs é seo: Extending noninterference properties to the timed world