"GNUC: A New Universal Composability Framework."

Dennis Hofheinz, Victor Shoup (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics