_id,doi,title 2980,10.1007/978-3-642-16441-5,Automatic Generation of Sigma-Protocols