Supaformance Sound and Security