Hongfa Xue, Yurong Chen, Fan Yao, Yongbo Li, Tian Lan, Guru Venkataramani. SIMBER: Eliminating Redundant Memory Bound Checks via Statistical Inference. In Sabrina De Capitani di Vimercati, Fabio Martinelli, editors, ICT Systems Security and Privacy Protection - 32nd IFIP TC 11 International Conference, SEC 2017, Rome, Italy, May 29-31, 2017, Proceedings. Volume 502 of IFIP Advances in Information and Communication Technology, pages 413-426, Springer, 2017. [doi]
Abstract is missing.