Published on 11/11/2018 Benoît Libert and Damien Stehlé and Radu Titiu TCC 2018 WP4 Building blocks for practical advanced protocols Keywords TCC