A type system for certified binaries (2005)

by Z Shao, V Trifonov, B Saha, N Papaspyrou
Venue:ACM Transactions on Programming Languages and Systems