Using program transformation to secure C programs against buffer overflows | IEEE Conference Publication | IEEE Xplore