ALEXIA: A Processor with Lightweight Extensions for Memory Safety. - Gnanambikai Krishnakumar; Kommuru Alekhya Reddy; Chester Rebeiro (ACM Trans. Embed. Comput. Syst., 2020)