S&P 202344th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023. 第44届IEEE安全与隐私研讨会,SP 2023,美国加利福尼亚州旧金山,2023年5月21-25日。 1 Space Odyssey: An Experimental Software Security Analysis of Satellites. 太空奥德赛:对卫星的实验性软件安全分析。 2 Scaphy: De