Development under Security Guidelines (Manuel Maarek, SafeRiver) Haskell for XenClient (Matthias Görgens, Citrix)