We gratefully acknowledge support from
the Simons Foundation and member institutions.

Wojciech Ozga is qualified to endorse.

Towards a Formally Verified Security Monitor for VM-based Confidential Computing

Wojciech Ozga: Is registered as an author of this paper.
Can endorse for cs.AI, cs.AR, cs.CR, cs.LG, cs.OS. (why?)
Avraham Shinnar: Is registered as an author of this paper.
Not currently an endorser. (why?)

Guerney D. H. Hunt, Michael V. Le and Elaine R. Palmer are not registered as owners of this paper. (why?)