{"id":1212,"date":"2018-06-11T13:04:17","date_gmt":"2018-06-11T12:04:17","guid":{"rendered":"http:\/\/www.systerel.fr\/en\/?p=1212"},"modified":"2023-03-24T15:01:09","modified_gmt":"2023-03-24T14:01:09","slug":"sound-static-analysis-for-security-workshop","status":"publish","type":"post","link":"https:\/\/www.systerel.fr\/en\/news\/sound-static-analysis-for-security-workshop\/","title":{"rendered":"Sound Static Analysis for Security workshop"},"content":{"rendered":"<p>Systerel will take part to the workshop <a href=\"https:\/\/www.adacore.com\/sound-static-analysis-workshop\" target=\"_blank\" rel=\"noopener\">\u00ab\u00a0Sound Static Analysis for Security<\/a>\u00a0\u00bb at the <a href=\"https:\/\/www.nist.gov\/\" target=\"_blank\" rel=\"noopener\">NIST<\/a> (National Institute of Standards and Technology) in Maryland (USA) on June 27th and 28th this year.<\/p>\n<p>We will present the advantages of two different formal verification approaches as part of the development of a secure implementation of the OPC-UA protocol: \u00ab\u00a0Mixing formal methods to increase robustness against cyber-attacks\u00a0\u00bb<\/p>\n<p>Systerel, specialist in applying formal methods for the development or the evaluation of safety critical systems, has recently expanded its usage of these methods to cybersecurity through the launch of its product <a href=\"https:\/\/www.s2opc.com\" target=\"_blank\" rel=\"noopener\">S2OPC<\/a>: safe and secure and open-source implementation of the OPC-UA protocol.<\/p>\n<p><em>This two-day workshop is focused on decreasing software security vulnerabilities by several orders of magnitude, using the strong guarantees that only a sound static analysis can provide. The workshop is aimed at developers, managers and evaluators of security-critical projects, as well as researchers in cybersecurity.<\/em><\/p>\n<a class=\"btn from-shortcode \" href=\"https:\/\/www.adacore.com\/sound-static-analysis-workshop\/program\" target=\"_blank\">Programme du workshop<\/a>\n<a class=\"btn from-shortcode \" href=\"https:\/\/www.s2opc.com\/\" target=\"_blank\">En savoir plus sur S2OPC<\/a>\n","protected":false},"excerpt":{"rendered":"<p>Systerel will take part to the workshop \u00ab Sound Static Analysis for Security \u00bb at the NIST (National Institute of Standards and Technology) in Maryland (USA) on June 27th and 28th this year.<\/p>\n","protected":false},"author":4,"featured_media":1214,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[11],"tags":[],"class_list":["post-1212","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-conferences_and_fairs"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.5 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Sound Static Analysis for Security workshop - Systerel English<\/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:\/\/www.systerel.fr\/en\/news\/sound-static-analysis-for-security-workshop\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Sound Static Analysis for Security workshop - Systerel English\" \/>\n<meta property=\"og:description\" content=\"Systerel will take part to the workshop \u00ab Sound Static Analysis for Security \u00bb at the NIST (National Institute of Standards and Technology) in Maryland (USA) on June 27th and 28th this year.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.systerel.fr\/en\/news\/sound-static-analysis-for-security-workshop\/\" \/>\n<meta property=\"og:site_name\" content=\"Systerel English\" \/>\n<meta property=\"article:published_time\" content=\"2018-06-11T12:04:17+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2023-03-24T14:01:09+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2018\/06\/NIST_grande.png\" \/>\n\t<meta property=\"og:image:width\" content=\"590\" \/>\n\t<meta property=\"og:image:height\" content=\"393\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/png\" \/>\n<meta name=\"author\" content=\"florencecassar\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"florencecassar\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/sound-static-analysis-for-security-workshop\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/sound-static-analysis-for-security-workshop\\\/\"},\"author\":{\"name\":\"florencecassar\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#\\\/schema\\\/person\\\/6b45fb7dfdebce8ee876538ba321ed5a\"},\"headline\":\"Sound Static Analysis for Security workshop\",\"datePublished\":\"2018-06-11T12:04:17+00:00\",\"dateModified\":\"2023-03-24T14:01:09+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/sound-static-analysis-for-security-workshop\\\/\"},\"wordCount\":188,\"image\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/sound-static-analysis-for-security-workshop\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/wp-content\\\/uploads\\\/sites\\\/3\\\/2018\\\/06\\\/NIST_grande.png\",\"articleSection\":[\"Conferences and fairs\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/sound-static-analysis-for-security-workshop\\\/\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/sound-static-analysis-for-security-workshop\\\/\",\"name\":\"Sound Static Analysis for Security workshop - Systerel English\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/sound-static-analysis-for-security-workshop\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/sound-static-analysis-for-security-workshop\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/wp-content\\\/uploads\\\/sites\\\/3\\\/2018\\\/06\\\/NIST_grande.png\",\"datePublished\":\"2018-06-11T12:04:17+00:00\",\"dateModified\":\"2023-03-24T14:01:09+00:00\",\"author\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#\\\/schema\\\/person\\\/6b45fb7dfdebce8ee876538ba321ed5a\"},\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/sound-static-analysis-for-security-workshop\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/sound-static-analysis-for-security-workshop\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/sound-static-analysis-for-security-workshop\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/wp-content\\\/uploads\\\/sites\\\/3\\\/2018\\\/06\\\/NIST_grande.png\",\"contentUrl\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/wp-content\\\/uploads\\\/sites\\\/3\\\/2018\\\/06\\\/NIST_grande.png\",\"width\":590,\"height\":393,\"caption\":\"Sound Static Analysis for Security workshop\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/sound-static-analysis-for-security-workshop\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Sound Static Analysis for Security workshop\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#website\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/\",\"name\":\"Systerel English\",\"description\":\"Safe real-time solutions\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#\\\/schema\\\/person\\\/6b45fb7dfdebce8ee876538ba321ed5a\",\"name\":\"florencecassar\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/b24e674243fa6265ef6f8ce9ddec7a624a876604df8e4d1cb33ecd3ded160e67?s=96&d=mm&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/b24e674243fa6265ef6f8ce9ddec7a624a876604df8e4d1cb33ecd3ded160e67?s=96&d=mm&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/b24e674243fa6265ef6f8ce9ddec7a624a876604df8e4d1cb33ecd3ded160e67?s=96&d=mm&r=g\",\"caption\":\"florencecassar\"},\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/author\\\/florencecassar\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Sound Static Analysis for Security workshop - Systerel English","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:\/\/www.systerel.fr\/en\/news\/sound-static-analysis-for-security-workshop\/","og_locale":"en_US","og_type":"article","og_title":"Sound Static Analysis for Security workshop - Systerel English","og_description":"Systerel will take part to the workshop \u00ab Sound Static Analysis for Security \u00bb at the NIST (National Institute of Standards and Technology) in Maryland (USA) on June 27th and 28th this year.","og_url":"https:\/\/www.systerel.fr\/en\/news\/sound-static-analysis-for-security-workshop\/","og_site_name":"Systerel English","article_published_time":"2018-06-11T12:04:17+00:00","article_modified_time":"2023-03-24T14:01:09+00:00","og_image":[{"width":590,"height":393,"url":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2018\/06\/NIST_grande.png","type":"image\/png"}],"author":"florencecassar","twitter_misc":{"Written by":"florencecassar","Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.systerel.fr\/en\/news\/sound-static-analysis-for-security-workshop\/#article","isPartOf":{"@id":"https:\/\/www.systerel.fr\/en\/news\/sound-static-analysis-for-security-workshop\/"},"author":{"name":"florencecassar","@id":"https:\/\/www.systerel.fr\/en\/#\/schema\/person\/6b45fb7dfdebce8ee876538ba321ed5a"},"headline":"Sound Static Analysis for Security workshop","datePublished":"2018-06-11T12:04:17+00:00","dateModified":"2023-03-24T14:01:09+00:00","mainEntityOfPage":{"@id":"https:\/\/www.systerel.fr\/en\/news\/sound-static-analysis-for-security-workshop\/"},"wordCount":188,"image":{"@id":"https:\/\/www.systerel.fr\/en\/news\/sound-static-analysis-for-security-workshop\/#primaryimage"},"thumbnailUrl":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2018\/06\/NIST_grande.png","articleSection":["Conferences and fairs"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.systerel.fr\/en\/news\/sound-static-analysis-for-security-workshop\/","url":"https:\/\/www.systerel.fr\/en\/news\/sound-static-analysis-for-security-workshop\/","name":"Sound Static Analysis for Security workshop - Systerel English","isPartOf":{"@id":"https:\/\/www.systerel.fr\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.systerel.fr\/en\/news\/sound-static-analysis-for-security-workshop\/#primaryimage"},"image":{"@id":"https:\/\/www.systerel.fr\/en\/news\/sound-static-analysis-for-security-workshop\/#primaryimage"},"thumbnailUrl":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2018\/06\/NIST_grande.png","datePublished":"2018-06-11T12:04:17+00:00","dateModified":"2023-03-24T14:01:09+00:00","author":{"@id":"https:\/\/www.systerel.fr\/en\/#\/schema\/person\/6b45fb7dfdebce8ee876538ba321ed5a"},"breadcrumb":{"@id":"https:\/\/www.systerel.fr\/en\/news\/sound-static-analysis-for-security-workshop\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.systerel.fr\/en\/news\/sound-static-analysis-for-security-workshop\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.systerel.fr\/en\/news\/sound-static-analysis-for-security-workshop\/#primaryimage","url":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2018\/06\/NIST_grande.png","contentUrl":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2018\/06\/NIST_grande.png","width":590,"height":393,"caption":"Sound Static Analysis for Security workshop"},{"@type":"BreadcrumbList","@id":"https:\/\/www.systerel.fr\/en\/news\/sound-static-analysis-for-security-workshop\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.systerel.fr\/en\/"},{"@type":"ListItem","position":2,"name":"Sound Static Analysis for Security workshop"}]},{"@type":"WebSite","@id":"https:\/\/www.systerel.fr\/en\/#website","url":"https:\/\/www.systerel.fr\/en\/","name":"Systerel English","description":"Safe real-time solutions","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.systerel.fr\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Person","@id":"https:\/\/www.systerel.fr\/en\/#\/schema\/person\/6b45fb7dfdebce8ee876538ba321ed5a","name":"florencecassar","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/b24e674243fa6265ef6f8ce9ddec7a624a876604df8e4d1cb33ecd3ded160e67?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/b24e674243fa6265ef6f8ce9ddec7a624a876604df8e4d1cb33ecd3ded160e67?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/b24e674243fa6265ef6f8ce9ddec7a624a876604df8e4d1cb33ecd3ded160e67?s=96&d=mm&r=g","caption":"florencecassar"},"url":"https:\/\/www.systerel.fr\/en\/news\/author\/florencecassar\/"}]}},"_links":{"self":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/posts\/1212","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/comments?post=1212"}],"version-history":[{"count":1,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/posts\/1212\/revisions"}],"predecessor-version":[{"id":1215,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/posts\/1212\/revisions\/1215"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/media\/1214"}],"wp:attachment":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/media?parent=1212"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/categories?post=1212"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/tags?post=1212"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}