86 followers
Post-proceedings version of our VSTTE 2015 paper on automatically proving CFI for ARM machine-code now available: https://t.co/zdqz0ExE1e
Post-proceedings version of our VSTTE 2015 paper on automatically proving CFI for ARM machine-code now available: https://t.co/zdqz0ExE1e