Secure automatic bounds checking: prevention is simpler than cure. - Ejebagom John Ojogbo; Mithuna Thottethodi; T. N. Vijaykumar (CGO, 2020)