"Expression rewriting for optimizing secure computation."

Florian Kerschbaum (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics