Save what must be saved: Secure context switching with Sailor

Neelu S. Kalani, EPFL and IBM Research - Zurich; Thomas Bourgeat, EPFL; Guerney D. H. Hunt, IBM T. J. Watson Research Center; Wojciech Ozga, IBM Research - Zurich