"A Certified Compiler for Verifiable Computing."

Cédric Fournet, Chantal Keller, Vincent Laporte (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics