{"id":4932,"date":"2019-12-19T12:57:42","date_gmt":"2019-12-19T11:57:42","guid":{"rendered":"https:\/\/saarland-informatics-campus.de\/piece-of-news\/saarbruecken-computer-scientist-receives-award-for-research-on-security-protocols\/"},"modified":"2022-11-30T09:21:34","modified_gmt":"2022-11-30T08:21:34","slug":"saarbruecken-computer-scientist-receives-award-for-research-on-security-protocols","status":"publish","type":"sic_news","link":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientist-receives-award-for-research-on-security-protocols\/","title":{"rendered":"Saarbr\u00fccken computer scientist receives award for research on security protocols"},"content":{"rendered":"

2.93 trillion US dollars\u2019 worth of transactions were carried out in online retailing worldwide in 2018. So-called security protocols form the foundation for this. Christoph Weidenbach, computer science professor at Saarland University and head of a research group at the Max Planck Institute for Informatics, made a scientific contribution to this in 1999, for which he has now been awarded the international Thoralf Skolem Prize. Today, this research is one of the bases for proving security protocols to be safe: no intruder might read or manipulate the content of a communication.<\/strong><\/p>\n

Security protocols are still being designed by people today. “However, the last 30 years have shown that people lack the imagination to crack these protocols,” explains Christoph Weidenbach, who heads the “Automation of Logic” research group at the Max Planck Institute for Informatics in Saarbr\u00fccken.<\/p>\n

For this reason, computers were used to prove that a protocol is really safe by systematically testing it at the end. The research results of Catherine Meadows, Naval Research Laboratory, Washington, USA; Larry Paulson, University of Cambridge, Great Britain; and Weidenbach, Germany, are regarded as fundamental work on this automatic analysis of security protocols. All were published in the late 1990s.<\/p>\n

For his work “Towards an Automatic Analysis of Security Protocols in First-Order Logic” from 1999, Weidenbach received the Thoralf Skolem Prize. This award is a so-called “test-of-time” award. It is awarded during the Conference on Automated Deduction (CADE), the leading international conference in the field of machine generated proofs. The key is that the international jury does not award the prize for a current research result, but for the influence of the published work on science and applications over at least the past ten years.<\/p>\n

In particular, the jury praised two aspects of Weidenbach’s work: The paper described for the first time how machine-supported proof techniques can be applied to security protocols for key exchange. Christoph Weidenbach also provided new results on the decidability and undecidability of so-called Horn formulas, which provide the mathematical representation of security protocols, but also of programs in general.<\/p>\n

This is the second time after 2017 that Weidenbach has received the Thoralf Skolem Prize. This prize has been awarded since 2014; it is awarded to scientists who presented their research results at the conference and who have thus shaped the field of research over the past 10, 20, 30 and 40 years. The Norwegian mathematician Albert Thoralf Skolem, who received so much attention for his doctoral thesis in 1926 that even the Norwegian king learned about it, is the eponym for the award. In addition to philosophical writings, Skolem created the mathematical groundwork that today forms the foundation of computer science.<\/p>\n

Further information:<\/strong>
\nAbout the Thoralf Skolem Award: http:\/\/cadeinc.org\/Skolem-Award<\/p>\n

Questions can be directed to:<\/strong>
\nProfessor Christoph Weidenbach
\nSaarland University
\nSaarland Informatics Campus E1.4
\nPhone: +49 681 9325-2900
\nEmail: weidenbach@mpi-inf.mpg.de<\/a><\/p>\n

Editor: <\/strong>
\nGordon Bolduan
\nCompetence Center Computer Science Saarland
\nSaarland University
\nSaarland Informatics Campus E1.7
\nPhone: +49 681 302-70741
\nEmail: bolduan@mmci.uni-saarland.de<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

2.93 trillion US dollars’ worth of transactions were carried out in online retailing worldwide in 2018. So-called security protocols form the foundation for this. Christoph Weidenbach, computer science professor at Saarland University and head of a research group at the Max Planck Institute for Informatics, made a scientific contribution to this in 1999, for which […]<\/p>\n","protected":false},"featured_media":2777,"menu_order":0,"template":"","meta":{"_et_pb_use_builder":"","_et_pb_old_content":"","_et_gb_content_width":""},"sic_news-types":[61,59],"class_list":["post-4932","sic_news","type-sic_news","status-publish","has-post-thumbnail","hentry","sic_news-types-migrated-en","sic_news-types-press-release-en"],"yoast_head":"\nSaarbr\u00fccken computer scientist receives award for research on security protocols - Saarland Informatics Campus<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientist-receives-award-for-research-on-security-protocols\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Saarbr\u00fccken computer scientist receives award for research on security protocols - Saarland Informatics Campus\" \/>\n<meta property=\"og:description\" content=\"2.93 trillion US dollars’ worth of transactions were carried out in online retailing worldwide in 2018. So-called security protocols form the foundation for this. Christoph Weidenbach, computer science professor at Saarland University and head of a research group at the Max Planck Institute for Informatics, made a scientific contribution to this in 1999, for which […]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientist-receives-award-for-research-on-security-protocols\/\" \/>\n<meta property=\"og:site_name\" content=\"Saarland Informatics Campus\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/sic.informatik.saarland\/\" \/>\n<meta property=\"article:modified_time\" content=\"2022-11-30T08:21:34+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/presse_Weidenbach_Slolem_2019-copy.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1000\" \/>\n\t<meta property=\"og:image:height\" content=\"640\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"3 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/saarbruecken-computer-scientist-receives-award-for-research-on-security-protocols\\\/\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/saarbruecken-computer-scientist-receives-award-for-research-on-security-protocols\\\/\",\"name\":\"Saarbr\u00fccken computer scientist receives award for research on security protocols - Saarland Informatics Campus\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/saarbruecken-computer-scientist-receives-award-for-research-on-security-protocols\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/saarbruecken-computer-scientist-receives-award-for-research-on-security-protocols\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/presse_Weidenbach_Slolem_2019-copy.jpg\",\"datePublished\":\"2019-12-19T11:57:42+00:00\",\"dateModified\":\"2022-11-30T08:21:34+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/saarbruecken-computer-scientist-receives-award-for-research-on-security-protocols\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/saarbruecken-computer-scientist-receives-award-for-research-on-security-protocols\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/saarbruecken-computer-scientist-receives-award-for-research-on-security-protocols\\\/#primaryimage\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/presse_Weidenbach_Slolem_2019-copy.jpg\",\"contentUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/presse_Weidenbach_Slolem_2019-copy.jpg\",\"width\":1000,\"height\":640},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/saarbruecken-computer-scientist-receives-award-for-research-on-security-protocols\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"News\",\"item\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Saarbr\u00fccken computer scientist receives award for research on security protocols\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#website\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/\",\"name\":\"Saarland Informatics Campus\",\"description\":\"in Saarbr\u00fccken, Germany\",\"publisher\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#organization\",\"name\":\"Saarland Informatics Campus\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/SIC_logo_1453x343.png\",\"contentUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/SIC_logo_1453x343.png\",\"width\":1453,\"height\":343,\"caption\":\"Saarland Informatics Campus\"},\"image\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\"},\"sameAs\":[\"https:\\\/\\\/www.facebook.com\\\/sic.informatik.saarland\\\/\",\"https:\\\/\\\/bsky.app\\\/profile\\\/saarland-informatics-campus.de\",\"https:\\\/\\\/www.instagram.com\\\/saarland_informatics_campus\\\/\",\"https:\\\/\\\/www.youtube.com\\\/channel\\\/UCaDDK5m9CGCzE4xhZTFC6cA\",\"https:\\\/\\\/www.linkedin.com\\\/company\\\/saarland-informatics-campus\"]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Saarbr\u00fccken computer scientist receives award for research on security protocols - Saarland Informatics Campus","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientist-receives-award-for-research-on-security-protocols\/","og_locale":"en_US","og_type":"article","og_title":"Saarbr\u00fccken computer scientist receives award for research on security protocols - Saarland Informatics Campus","og_description":"2.93 trillion US dollars’ worth of transactions were carried out in online retailing worldwide in 2018. So-called security protocols form the foundation for this. Christoph Weidenbach, computer science professor at Saarland University and head of a research group at the Max Planck Institute for Informatics, made a scientific contribution to this in 1999, for which […]","og_url":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientist-receives-award-for-research-on-security-protocols\/","og_site_name":"Saarland Informatics Campus","article_publisher":"https:\/\/www.facebook.com\/sic.informatik.saarland\/","article_modified_time":"2022-11-30T08:21:34+00:00","og_image":[{"width":1000,"height":640,"url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/presse_Weidenbach_Slolem_2019-copy.jpg","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientist-receives-award-for-research-on-security-protocols\/","url":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientist-receives-award-for-research-on-security-protocols\/","name":"Saarbr\u00fccken computer scientist receives award for research on security protocols - Saarland Informatics Campus","isPartOf":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientist-receives-award-for-research-on-security-protocols\/#primaryimage"},"image":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientist-receives-award-for-research-on-security-protocols\/#primaryimage"},"thumbnailUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/presse_Weidenbach_Slolem_2019-copy.jpg","datePublished":"2019-12-19T11:57:42+00:00","dateModified":"2022-11-30T08:21:34+00:00","breadcrumb":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientist-receives-award-for-research-on-security-protocols\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientist-receives-award-for-research-on-security-protocols\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientist-receives-award-for-research-on-security-protocols\/#primaryimage","url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/presse_Weidenbach_Slolem_2019-copy.jpg","contentUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/presse_Weidenbach_Slolem_2019-copy.jpg","width":1000,"height":640},{"@type":"BreadcrumbList","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientist-receives-award-for-research-on-security-protocols\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/saarland-informatics-campus.de\/en\/"},{"@type":"ListItem","position":2,"name":"News","item":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/"},{"@type":"ListItem","position":3,"name":"Saarbr\u00fccken computer scientist receives award for research on security protocols"}]},{"@type":"WebSite","@id":"https:\/\/saarland-informatics-campus.de\/en\/#website","url":"https:\/\/saarland-informatics-campus.de\/en\/","name":"Saarland Informatics Campus","description":"in Saarbr\u00fccken, Germany","publisher":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/saarland-informatics-campus.de\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/saarland-informatics-campus.de\/en\/#organization","name":"Saarland Informatics Campus","url":"https:\/\/saarland-informatics-campus.de\/en\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/saarland-informatics-campus.de\/en\/#\/schema\/logo\/image\/","url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/SIC_logo_1453x343.png","contentUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/SIC_logo_1453x343.png","width":1453,"height":343,"caption":"Saarland Informatics Campus"},"image":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.facebook.com\/sic.informatik.saarland\/","https:\/\/bsky.app\/profile\/saarland-informatics-campus.de","https:\/\/www.instagram.com\/saarland_informatics_campus\/","https:\/\/www.youtube.com\/channel\/UCaDDK5m9CGCzE4xhZTFC6cA","https:\/\/www.linkedin.com\/company\/saarland-informatics-campus"]}]}},"_links":{"self":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news\/4932","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news"}],"about":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/types\/sic_news"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/media\/2777"}],"wp:attachment":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/media?parent=4932"}],"wp:term":[{"taxonomy":"sic_news-types","embeddable":true,"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news-types?post=4932"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}