Matthew Simpson Bhuvan Middha Rajeev Barua Segment protection for embedded systems using run-time checks. 66-77 2005 conf/cases/2005 CASES http://doi.acm.org/10.1145/1086297.1086307 db/conf/cases/cases2005.html#SimpsonMB05