A type system for certified binaries.

Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos Papaspyrou

Browse the full POPL paper archive.