{
    "componentChunkName": "component---node-modules-gatsby-theme-academic-src-templates-post-post-jsx",
    "path": "/research/scheri",
    "result": {"data":{"mdx":{"timeToRead":1,"tableOfContents":{},"frontmatter":{"cover":{"childImageSharp":{"fluid":{"tracedSVG":"data:image/svg+xml,%3csvg%20xmlns='http://www.w3.org/2000/svg'%20width='320'%20height='180'%20viewBox='0%200%20320%20180'%20preserveAspectRatio='none'%3e%3cpath%20d='M142%203c-12%206-23%2020-27%2038-3%2011-3%2011%204%2012%2024%203%2046-8%2056-28l4-9%203%205c5%2012%208%2028%206%2042-1%2011-1%2011-7%209-19-5-37%207-40%2027-3%2018%206%2034%2024%2043%208%203%208%203%2015%202%2020-3%2031-11%2036-26%206-19%200-33-17-38l-4-2%202-9c3-20%200-37-11-60l8%203c13%207%2025%2018%2032%2031%205%209%205%209%200%209-8%202-18%2010-22%2018-3%204-3%204%204%207%2013%206%2019%2020%2016%2036l-2%206%204%202c10%204%2026%204%2034-1%2016-11%2024-29%2020-46-4-19-16-27-35-24l-5%201-4-8c-8-16-23-31-38-39l-7-4h-22c-21%200-22%200-27%203M72%2047c-18%202-31%209-39%2023-6%2010-9%2023-10%2051-1%2026-6%2040-18%2053l-5%206h16l3-5c10-14%2015-30%2016-57%201-23%203-33%207-41%207-13%2022-20%2039-19%2019%202%2032%2016%2039%2042%204%2017%204%2049-3%2077v3h12l2-11c9-47%202-86-18-107a44%2044%200%2000-41-15M55%2088c-3%202-5%206-4%209%202%206%2011%207%2014%202%204-7-3-14-10-11m35%200c-3%202-5%206-4%209%202%206%2011%207%2014%202%204-7-3-14-10-11m-18%2024c-5%203-6%2012-3%2017%205%2010%2017%204%2016-8-1-8-7-12-13-9'%20fill='%23d3d3d3'%20fill-rule='evenodd'/%3e%3c/svg%3e","aspectRatio":1.1111111111111112,"src":"/static/916a2858260b31c8ebc3cf8874b19ae9/520b0/scheri_logo.png","srcSet":"/static/916a2858260b31c8ebc3cf8874b19ae9/e1953/scheri_logo.png 250w,\n/static/916a2858260b31c8ebc3cf8874b19ae9/46604/scheri_logo.png 500w,\n/static/916a2858260b31c8ebc3cf8874b19ae9/520b0/scheri_logo.png 888w","sizes":"(max-width: 888px) 100vw, 888px"}}}},"fileAbsolutePath":"/home/runner/work/zhizhuoxin.github.io/zhizhuoxin.github.io/content/research/scheri/index.md","fields":{"slug":{"html":"var _excluded = [\"components\"];\n\nfunction _extends() { _extends = Object.assign || function (target) { for (var i = 1; i < arguments.length; i++) { var source = arguments[i]; for (var key in source) { if (Object.prototype.hasOwnProperty.call(source, key)) { target[key] = source[key]; } } } return target; }; return _extends.apply(this, arguments); }\n\nfunction _objectWithoutProperties(source, excluded) { if (source == null) return {}; var target = _objectWithoutPropertiesLoose(source, excluded); var key, i; if (Object.getOwnPropertySymbols) { var sourceSymbolKeys = Object.getOwnPropertySymbols(source); for (i = 0; i < sourceSymbolKeys.length; i++) { key = sourceSymbolKeys[i]; if (excluded.indexOf(key) >= 0) continue; if (!Object.prototype.propertyIsEnumerable.call(source, key)) continue; target[key] = source[key]; } } return target; }\n\nfunction _objectWithoutPropertiesLoose(source, excluded) { if (source == null) return {}; var target = {}; var sourceKeys = Object.keys(source); var key, i; for (i = 0; i < sourceKeys.length; i++) { key = sourceKeys[i]; if (excluded.indexOf(key) >= 0) continue; target[key] = source[key]; } return target; }\n\n/* @jsxRuntime classic */\n\n/* @jsx mdx */\nvar _frontmatter = {\n  \"title\": \"SCHERI: Provably Secure Speculation Under the Constant-Time Policy for CHERI\",\n  \"tags\": [\"formal execution models\", \"side-channel mitigation\", \"information-flow security\"],\n  \"date\": \"2026\",\n  \"path\": \"research/scheri\",\n  \"excerpt\": \"Developed a formal framework for reasoning jointly about capability safety, speculative execution, and information-flow security; presented SCHERI, a new processor design within this framework; and formally proved that SCHERI provides end-to-end secure speculation guarantees under the constant-time policy.\",\n  \"selected\": true,\n  \"cover\": \"./scheri_logo.png\",\n  \"venue\": \"The ACM Conference on Computer and Communications Security (CCS) 2026\",\n  \"authors\": [\"Shixin Song*\", \"Davide Davoli\", \"Elias Storme\", \"Marton Bognar\", \"Dominique Devriese\", \"Frank Piessens\", \"Tamara Rezk\"],\n  \"links\": [{\n    \"name\": \"pdf\",\n    \"file\": \"./SCHERI_CCS_26.pdf\"\n  }],\n  \"priority\": 8\n};\nvar layoutProps = {\n  _frontmatter: _frontmatter\n};\nvar MDXLayout = \"wrapper\";\nreturn function MDXContent(_ref) {\n  var components = _ref.components,\n      props = _objectWithoutProperties(_ref, _excluded);\n\n  return mdx(MDXLayout, _extends({}, layoutProps, props, {\n    components: components,\n    mdxType: \"MDXLayout\"\n  }));\n}\n;\nMDXContent.isMDXComponent = true;","htmlEncrypted":"","nonce":"","title":"SCHERI: Provably Secure Speculation Under the Constant-Time Policy for CHERI","date":"2026","tags":["formal execution models","side-channel mitigation","information-flow security"],"path":"research/scheri","excerpt":"Developed a formal framework for reasoning jointly about capability safety, speculative execution, and information-flow security; presented SCHERI, a new processor design within this framework; and formally proved that SCHERI provides end-to-end secure speculation guarantees under the constant-time policy.","links":[{"name":"pdf"}],"commit":1790203477,"type":"research"}}}},"pageContext":{"fileAbsolutePath":"/home/runner/work/zhizhuoxin.github.io/zhizhuoxin.github.io/content/research/scheri/index.md","postPath":"research/scheri","translations":[{"hreflang":"en","path":"/research/scheri"}]}},
    "staticQueryHashes": ["1552981879","3013679938","4097791827"]}