Efficient array & pointer bound checking against buffer overflow attacks via hardware/software | IEEE Conference Publication | IEEE Xplore