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