Archibald Samuel Elliott, Andrew Ruef, Michael Hicks 0001, David Tarditi. Checked C: Making C Safe by Extension. In 2018 IEEE Cybersecurity Development, SecDev 2018, Cambridge, MA, USA, September 30 - October 2, 2018. pages 53-60, IEEE Computer Society, 2018. [doi]
Abstract is missing.