Is OVMF too Slow for Serverless Confidential Computing? by Tobin Feldman-Fitzthum