author = { Barthe, Gilles AND Fagerholm, Edvard AND Fiore, Dario AND Mitchell, John AND Scedrov, Andre AND Schmidt, Benedikt },

title = { Automated Analysis of Cryptographic Assumptions in Generic Group Models },

publisher = {Springer Science and Business Media LLC},

isbn = {1432-1378},

isbn = {0933-2790},

keywords = { Applied Mathematics , Computer Science Applications , Software },

year = {2019},

url = { http://slubdd.de/katalog?TN_libero_mab2 }