A Simple Model for Certifying Assembly Programs with First-Class Function Pointers.

Wei Wang, Zhong Shao, Xinyu Jiang, Yu Guo

Browse the full TASE paper archive.