"Integrating a certified memory management runtime with proof-carrying code."

Nadeem Abdul Hamid (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics