The following publications are possibly variants of this publication:
- A Formal Model of Checked CLiyi Li, Yiyun Liu, Deena L. Postol, Leonidas Lampropoulos, David Van Horn, Michael Hicks 0001. csfw 2022: 49-63 [doi]
- A formal model of Checked CLiyi Li 0002, Yiyun Liu, Deena L. Postol, Leonidas Lampropoulos, David Van Horn, Michael Hicks 0001. jcs, 31(5):581-614, 2023. [doi]
- Checked C: Making C Safe by ExtensionArchibald Samuel Elliott, Andrew Ruef, Michael Hicks 0001, David Tarditi. secdev 2018: 53-60 [doi]