VeriSMo: A formally verified security module for AMD confidential VMs.
Host: Kim LaineSpeaker: Rohit Dwivedula Reviews and ratings by users form a central component in several widely used products today (e.g., product reviews, ranking content, etc.), but today’s platforms for managing such reviews are centralized,…