Gene Tsudik. Proofs or Remote Execution and Mitigation of TOCTOU Attacks. In Hung-Min Sun, Shiuh-Pyng Shieh, Guofei Gu, Giuseppe Ateniese, editors, ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, Taipei, Taiwan, October 5-9, 2020. pages 2-3, ACM, 2020. [doi]
Abstract is missing.