filetrolled Channel Attacks Deterministic Side Channels for Untrusted Operating Systems