Gilles Barthe, César Kunz. An Introduction to Certificate Translation. In Alessandro Aldini, Gilles Barthe, Roberto Gorrieri, editors, Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures. Volume 5705 of Lecture Notes in Computer Science, pages 51-95, Springer, 2008. [doi]
Abstract is missing.