A type system for certified binaries (2005)

by Z Shao, V Trifonov, B Saha, N Papaspyrou
Venue:ACM Trans. Program. Lang. Syst