{"id":14727,"date":"2023-07-10T22:22:04","date_gmt":"2023-07-10T20:22:04","guid":{"rendered":"https:\/\/fondation-cnrs.org\/projets\/iot-security-formal-verification-research\/"},"modified":"2025-02-07T14:58:19","modified_gmt":"2025-02-07T12:58:19","slug":"iot-security-formal-verification-research","status":"publish","type":"projets","link":"https:\/\/fondation-cnrs.org\/en\/projets\/iot-security-formal-verification-research\/","title":{"rendered":"IOT Security Formal Verification Research"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-post\" data-elementor-id=\"14727\" class=\"elementor elementor-14727 elementor-2203\" data-elementor-settings=\"{&quot;ha_cmc_init_switcher&quot;:&quot;no&quot;}\" data-elementor-post-type=\"projets\">\n\t\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-c390862 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"c390862\" data-element_type=\"section\" data-settings=\"{&quot;_ha_eqh_enable&quot;:false}\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-no\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-f86fa8b\" data-id=\"f86fa8b\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-4defcb2 elementor-widget elementor-widget-text-editor\" data-id=\"4defcb2\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p class=\"m_-8129670404583071869MsoPlainText\">St\u00e9phanie Delaune is CNRS Research Director at the Institut de recherche en informatique et syst\u00e8mes al\u00e9atoires (IRISA &#8211; CNRS\/ENS Rennes\/Inria\/INSA Rennes\/Institut Mines-T\u00e9l\u00e9com\/Universit\u00e9 de Bretagne-Sud\/Universit\u00e9 de Rennes 1), working on the verification of cryptographic protocols for contactless systems. The core of her project is verification, i.e. the formal proof of the correct operation of a security protocol.  <u><\/u><u><\/u><\/p>\n<p class=\"m_-8129670404583071869MsoPlainText\">In partnership with Google, the Foundation supports St\u00e9phanie Delaune&#8217;s work.<\/p>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<\/div>\n\t\t","protected":false},"featured_media":15796,"template":"","class_list":["post-14727","projets","type-projets","status-publish","has-post-thumbnail","hentry"],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO Premium plugin v25.9 (Yoast SEO v25.9) - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>IOT Security Formal Verification Research - CNRS Foundation<\/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:\/\/fondation-cnrs.org\/en\/projets\/iot-security-formal-verification-research\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"IOT Security Formal Verification Research\" \/>\n<meta property=\"og:description\" content=\"St\u00e9phanie Delaune is CNRS Research Director at the Institut de recherche en informatique et syst\u00e8mes al\u00e9atoires (IRISA &#8211; CNRS\/ENS Rennes\/Inria\/INSA Rennes\/Institut Mines-T\u00e9l\u00e9com\/Universit\u00e9 de Bretagne-Sud\/Universit\u00e9 de Rennes 1), working on the verification of cryptographic protocols for contactless systems. The core of her project is verification, i.e. the formal proof of the correct operation of a security [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/fondation-cnrs.org\/en\/projets\/iot-security-formal-verification-research\/\" \/>\n<meta property=\"og:site_name\" content=\"CNRS Foundation\" \/>\n<meta property=\"article:modified_time\" content=\"2025-02-07T12:58:19+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/fondation-cnrs.org\/wp-content\/uploads\/2023\/07\/iot-security-formal-verification-research.webp\" \/>\n\t<meta property=\"og:image:width\" content=\"1602\" \/>\n\t<meta property=\"og:image:height\" content=\"912\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/webp\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/fondation-cnrs.org\/en\/projets\/iot-security-formal-verification-research\/\",\"url\":\"https:\/\/fondation-cnrs.org\/en\/projets\/iot-security-formal-verification-research\/\",\"name\":\"IOT Security Formal Verification Research - CNRS Foundation\",\"isPartOf\":{\"@id\":\"https:\/\/fondation-cnrs.org\/en\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/fondation-cnrs.org\/en\/projets\/iot-security-formal-verification-research\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/fondation-cnrs.org\/en\/projets\/iot-security-formal-verification-research\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/fondation-cnrs.org\/wp-content\/uploads\/2023\/07\/iot-security-formal-verification-research.webp\",\"datePublished\":\"2023-07-10T20:22:04+00:00\",\"dateModified\":\"2025-02-07T12:58:19+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/fondation-cnrs.org\/en\/projets\/iot-security-formal-verification-research\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/fondation-cnrs.org\/en\/projets\/iot-security-formal-verification-research\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/fondation-cnrs.org\/en\/projets\/iot-security-formal-verification-research\/#primaryimage\",\"url\":\"https:\/\/fondation-cnrs.org\/wp-content\/uploads\/2023\/07\/iot-security-formal-verification-research.webp\",\"contentUrl\":\"https:\/\/fondation-cnrs.org\/wp-content\/uploads\/2023\/07\/iot-security-formal-verification-research.webp\",\"width\":1602,\"height\":912,\"caption\":\"\u00a9 Christian MOREL \/ IRISA \/ CNRS Images\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/fondation-cnrs.org\/en\/projets\/iot-security-formal-verification-research\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/fondation-cnrs.org\/en\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"IOT Security Formal Verification Research\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/fondation-cnrs.org\/en\/#website\",\"url\":\"https:\/\/fondation-cnrs.org\/en\/\",\"name\":\"CNRS Foundation\",\"description\":\"Soutenez la recherche scientifique \u00e0 son plus haut niveau gr\u00e2ce \u00e0 la Fondation CNRS, la fondation du premier centre de recherche scientifique en France et en Europe.Support scientific research at its highest level thanks to the CNRS Foundation, the foundation of the first scientific research center in France and Europe.\",\"publisher\":{\"@id\":\"https:\/\/fondation-cnrs.org\/en\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/fondation-cnrs.org\/en\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/fondation-cnrs.org\/en\/#organization\",\"name\":\"CNRS Foundation\",\"url\":\"https:\/\/fondation-cnrs.org\/en\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/fondation-cnrs.org\/en\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/fondation-cnrs.org\/wp-content\/uploads\/2023\/07\/logo-cnrs_fondation.png\",\"contentUrl\":\"https:\/\/fondation-cnrs.org\/wp-content\/uploads\/2023\/07\/logo-cnrs_fondation.png\",\"width\":1807,\"height\":400,\"caption\":\"CNRS Foundation\"},\"image\":{\"@id\":\"https:\/\/fondation-cnrs.org\/en\/#\/schema\/logo\/image\/\"},\"sameAs\":[\"https:\/\/fr.linkedin.com\/company\/fondation-cnrs\"]}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"IOT Security Formal Verification Research - CNRS Foundation","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:\/\/fondation-cnrs.org\/en\/projets\/iot-security-formal-verification-research\/","og_locale":"en_US","og_type":"article","og_title":"IOT Security Formal Verification Research","og_description":"St\u00e9phanie Delaune is CNRS Research Director at the Institut de recherche en informatique et syst\u00e8mes al\u00e9atoires (IRISA &#8211; CNRS\/ENS Rennes\/Inria\/INSA Rennes\/Institut Mines-T\u00e9l\u00e9com\/Universit\u00e9 de Bretagne-Sud\/Universit\u00e9 de Rennes 1), working on the verification of cryptographic protocols for contactless systems. The core of her project is verification, i.e. the formal proof of the correct operation of a security [&hellip;]","og_url":"https:\/\/fondation-cnrs.org\/en\/projets\/iot-security-formal-verification-research\/","og_site_name":"CNRS Foundation","article_modified_time":"2025-02-07T12:58:19+00:00","og_image":[{"width":1602,"height":912,"url":"https:\/\/fondation-cnrs.org\/wp-content\/uploads\/2023\/07\/iot-security-formal-verification-research.webp","type":"image\/webp"}],"twitter_card":"summary_large_image","schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/fondation-cnrs.org\/en\/projets\/iot-security-formal-verification-research\/","url":"https:\/\/fondation-cnrs.org\/en\/projets\/iot-security-formal-verification-research\/","name":"IOT Security Formal Verification Research - CNRS Foundation","isPartOf":{"@id":"https:\/\/fondation-cnrs.org\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/fondation-cnrs.org\/en\/projets\/iot-security-formal-verification-research\/#primaryimage"},"image":{"@id":"https:\/\/fondation-cnrs.org\/en\/projets\/iot-security-formal-verification-research\/#primaryimage"},"thumbnailUrl":"https:\/\/fondation-cnrs.org\/wp-content\/uploads\/2023\/07\/iot-security-formal-verification-research.webp","datePublished":"2023-07-10T20:22:04+00:00","dateModified":"2025-02-07T12:58:19+00:00","breadcrumb":{"@id":"https:\/\/fondation-cnrs.org\/en\/projets\/iot-security-formal-verification-research\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/fondation-cnrs.org\/en\/projets\/iot-security-formal-verification-research\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/fondation-cnrs.org\/en\/projets\/iot-security-formal-verification-research\/#primaryimage","url":"https:\/\/fondation-cnrs.org\/wp-content\/uploads\/2023\/07\/iot-security-formal-verification-research.webp","contentUrl":"https:\/\/fondation-cnrs.org\/wp-content\/uploads\/2023\/07\/iot-security-formal-verification-research.webp","width":1602,"height":912,"caption":"\u00a9 Christian MOREL \/ IRISA \/ CNRS Images"},{"@type":"BreadcrumbList","@id":"https:\/\/fondation-cnrs.org\/en\/projets\/iot-security-formal-verification-research\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/fondation-cnrs.org\/en\/"},{"@type":"ListItem","position":2,"name":"IOT Security Formal Verification Research"}]},{"@type":"WebSite","@id":"https:\/\/fondation-cnrs.org\/en\/#website","url":"https:\/\/fondation-cnrs.org\/en\/","name":"CNRS Foundation","description":"Soutenez la recherche scientifique \u00e0 son plus haut niveau gr\u00e2ce \u00e0 la Fondation CNRS, la fondation du premier centre de recherche scientifique en France et en Europe.Support scientific research at its highest level thanks to the CNRS Foundation, the foundation of the first scientific research center in France and Europe.","publisher":{"@id":"https:\/\/fondation-cnrs.org\/en\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/fondation-cnrs.org\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/fondation-cnrs.org\/en\/#organization","name":"CNRS Foundation","url":"https:\/\/fondation-cnrs.org\/en\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/fondation-cnrs.org\/en\/#\/schema\/logo\/image\/","url":"https:\/\/fondation-cnrs.org\/wp-content\/uploads\/2023\/07\/logo-cnrs_fondation.png","contentUrl":"https:\/\/fondation-cnrs.org\/wp-content\/uploads\/2023\/07\/logo-cnrs_fondation.png","width":1807,"height":400,"caption":"CNRS Foundation"},"image":{"@id":"https:\/\/fondation-cnrs.org\/en\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/fr.linkedin.com\/company\/fondation-cnrs"]}]}},"_links":{"self":[{"href":"https:\/\/fondation-cnrs.org\/en\/wp-json\/wp\/v2\/projets\/14727","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/fondation-cnrs.org\/en\/wp-json\/wp\/v2\/projets"}],"about":[{"href":"https:\/\/fondation-cnrs.org\/en\/wp-json\/wp\/v2\/types\/projets"}],"version-history":[{"count":0,"href":"https:\/\/fondation-cnrs.org\/en\/wp-json\/wp\/v2\/projets\/14727\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/fondation-cnrs.org\/en\/wp-json\/wp\/v2\/media\/15796"}],"wp:attachment":[{"href":"https:\/\/fondation-cnrs.org\/en\/wp-json\/wp\/v2\/media?parent=14727"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}