The SaSSy Initiative: research in safe and secure software systems | Research groups

<!DOCTYPE html> <html class="no-js" lang="en-GB"> <head> <title>The SaSSy Initiative: research in safe and secure software systems | Research groups | Imperial College London</title> <meta charset="utf-8" /> <meta http-equiv="X-UA-Compatible" content="IE=edge" />  <script type="text/javascript" src="https://cdn-ukwest.onetrust.com/consent/6d9efb9d-b605-406f-b8b3-c9644859d064/OtAutoBlock.js" ></script><script src="https://cdn-ukwest.onetrust.com/scripttemplates/otSDKStub.js" type="text/javascript" charset="UTF-8" data-domain-script="6d9efb9d-b605-406f-b8b3-c9644859d064" ></script> <script type="text/javascript">function OptanonWrapper() { }</script>  <link rel="preconnect" href="https://pxl-imperialacuk.terminalfour.net"> <link rel="dns-prefetch" href="https://pxl-imperialacuk.terminalfour.net">  <meta name="SectionType" content="website">  <meta name="twitter:dnt" content="on"> <meta name="twitter:card" content="summary_large_image"> <meta name="twitter:site" content="@imperialcollege"> <meta name="twitter:title" content="The SaSSy Initiative: research in safe and secure software systems"> <meta name="twitter:description" content="The SaSsy initiative is a new Imperial-X research institute. It aims to bring together world-renowned Imperial academics working on the safety and security of our modern computer systems, underpinned by rigorous design, specification, testing and verification, grounded on formal mathematical methods. It is an ambitious cross-cutting virtual research initiative spanning the Department of Computing (DoC), the Department of Electrical and Electronic Engineering (EEE), the Dyson School of Design Engineering, (DesEng), the Institute of Security Science and Technology (ISST) and the new Imperial-X. It is loosely grouped under the research themes Safe AI, Trustworthy Software, Rigorous Architectural Foundations, and Security, all with their separate international conferences. Sassy will be part of the research area of "Explainable, Safe and Robust AI"at Imperial-X at White City."> <meta name="twitter:image" content="https://pxl-imperialacuk.terminalfour.net/fit-in/1440x579/prod01/channel_3/media/migration/research-groups/sassy_1633680649832_x4.jpg"> <meta name="fb:app_id" content="674884772674087"> <meta property="og:title" content="The SaSSy Initiative: research in safe and secure software systems" /> <meta property="og:type" content="website" /> <meta property="og:image" content="https://pxl-imperialacuk.terminalfour.net/fit-in/1440x579/prod01/channel_3/media/migration/research-groups/sassy_1633680649832_x4.jpg" /> <meta property="og:image:type" content="image/jpeg" /> <meta property="og:image:secure_url" content="https://pxl-imperialacuk.terminalfour.net/fit-in/1440x579/prod01/channel_3/media/migration/research-groups/sassy_1633680649832_x4.jpg" /> <meta property="og:url" content="https://www.imperial.ac.uk/a-z-research/sassy-initiative/" /> <meta property="og:description" content="The SaSsy initiative is a new Imperial-X research institute. It aims to bring together world-renowned Imperial academics working on the safety and security of our modern computer systems, underpinned by rigorous design, specification, testing and verification, grounded on formal mathematical methods. It is an ambitious cross-cutting virtual research initiative spanning the Department of Computing (DoC), the Department of Electrical and Electronic Engineering (EEE), the Dyson School of Design Engineering, (DesEng), the Institute of Security Science and Technology (ISST) and the new Imperial-X. It is loosely grouped under the research themes Safe AI, Trustworthy Software, Rigorous Architectural Foundations, and Security, all with their separate international conferences. Sassy will be part of the research area of "Explainable, Safe and Robust AI"at Imperial-X at White City." /> <meta property="og:locale" content="en_GB" /> <meta property="og:site_name" content="Imperial College London" /> <meta name="description" content="The SaSsy initiative is a new Imperial-X research institute. It aims to bring together world-renowned Imperial academics working on the safety and security of our modern computer systems, underpinned by rigorous design, specification, testing and verification, grounded on formal mathematical methods. It is an ambitious cross-cutting virtual research initiative spanning the Department of Computing (DoC), the Department of Electrical and Electronic Engineering (EEE), the Dyson School of Design Engineering, (DesEng), the Institute of Security Science and Technology (ISST) and the new Imperial-X. It is loosely grouped under the research themes Safe AI, Trustworthy Software, Rigorous Architectural Foundations, and Security, all with their separate international conferences. Sassy will be part of the research area of "Explainable, Safe and Robust AI"at Imperial-X at White City."> <meta name="keywords" content=""> <meta name="viewport" content="width=device-width, initial-scale=1.0" />  <link rel="preload" href="/assets/website/fonts/icons/fonts/imperial-icons.woff?vrmf2d" as="font" type="font/woff" crossorigin> <link rel="preload" href="/assets/website/fonts/imperial-sans/ImperialText-VF.woff2" as="font" type="font/woff2" crossorigin> <link href="/assets/website/stylesheets/css/screen.1.32.12.css" media="all" rel="stylesheet" type="text/css" /> <link href="/assets/website/stylesheets/css/print.1.32.12.css" media="print" rel="stylesheet" type="text/css" /> <link rel="icon" type="image/svg+xml" href="/assets/website/images/favicon/favicon.svg"> <link rel="alternate icon" href="/assets/website/images/favicon/favicon.ico"> <link rel="icon" href="/assets/website/images/favicon/favicon-32.png" sizes="32x32"> <link rel="icon" href="/assets/website/images/favicon/favicon-57.png" sizes="57x57"> <link rel="icon" href="/assets/website/images/favicon/favicon-76.png" sizes="76x76"> <link rel="icon" href="/assets/website/images/favicon/favicon-96.png" sizes="96x96"> <link rel="icon" href="/assets/website/images/favicon/favicon-128.png" sizes="128x128"> <link rel="icon" href="/assets/website/images/favicon/favicon-192.png" sizes="192x192"> <link rel="icon" href="/assets/website/images/favicon/favicon-228.png" sizes="228x228"> <link rel="shortcut icon" href="/assets/website/images/favicon/favicon-196.png" sizes="196x196"> <link rel="apple-touch-icon" href="/assets/website/images/favicon/favicon-120.png" sizes="120x120"> <link rel="apple-touch-icon" href="/assets/website/images/favicon/favicon-152.png" sizes="152x152"> <link rel="apple-touch-icon" href="/assets/website/images/favicon/favicon-180.png" sizes="180x180"> <meta name="msapplication-TileColor" content="#C8D8E4"> <meta name="msapplication-TileImage" content="/assets/website/images/favicon/favicon-144.png"> <meta name="msapplication-config" content="/assets/website/images/favicon/browserconfig.xml" /> <script src="/assets/website/js/lib/jquery3.min.js" id="jquery3"></script> <script defer src="/assets/website/js/build/application.1.32.12.min.js" type="text/javascript"></script> <script defer src="//cdnjs.cloudflare.com/ajax/libs/gsap/3.10.4/gsap.min.js"></script>  <link rel="canonical" href="https://www.imperial.ac.uk/a-z-research/sassy-initiative/" /> <meta name="SearchLanding" content="true"> </head> <body class="theme-8"> <noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-NDH95W87" height="0" width="0" style="display:none;visibility:hidden"></iframe></noscript><script>(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start':聽new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0],聽 j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src=聽'https://www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f);聽})(window,document,'script','dataLayer','GTM-NDH95W87');</script> <a class="skip-to" id="skip-to-content" href="#content">Skip to main content</a> <a class="skip-to" id="link-to-accessibility" href="/about-the-site/accessibility/">View accessibility support page</a> <header class="header"> <div class="header__inner "> <a class="header__logo" href="/" aria-label="Homepage"> <svg width="727" height="80" viewBox="0 0 727 80" fill="none" xmlns="http://www.w3.org/2000/svg"> <path d="M301.453 0V80H353.346V66H316.622V46H350.152V32.4H316.622V14H353.346V0H301.453Z" fill="currentcolor" /> <path d="M238.397 12.9177H227.22V39.8776H238.397C247.142 39.8776 253.566 35.6376 253.566 26.3953C253.566 16.8 247.142 12.9177 238.397 12.9177ZM239.196 52.8H227.22V80H212.052V0H239.196C256.219 0 269.533 7.72706 269.533 26.4C269.533 44.8 256.121 52.8 239.196 52.8Z" fill="currentcolor" /> <path d="M485.079 0V14H503.84V66H485.079V80H537.77V66H519.009V14H537.77V0H485.079Z" fill="currentcolor" /> <path d="M434.191 24.8C434.191 34.4377 428.602 37.4777 419.022 37.4777H406.248V12.9177H419.022C429.419 12.9224 434.191 16.8 434.191 24.8ZM450.158 24.8C450.158 6.12706 437.384 0 420.619 0H391.08V80H406.248V50.4H419.022C419.722 50.4 420.417 50.3859 421.107 50.3624L436.562 80H453.37L436.224 47.1906C444.565 43.4777 450.158 36.3435 450.158 24.8Z" fill="currentcolor" /> <path d="M604.324 14.1929L615.238 49.4777H593.406L604.324 14.1929ZM594.345 0L567.999 80H583.966L589.409 62.4H619.235L624.678 80H640.645L614.299 0H594.345Z" fill="currentcolor" /> <path d="M674.889 0V80H726.914V66H690.058V0H674.889Z" fill="currentcolor" /> <path d="M151.908 0L132.747 47.04L113.587 0H92.0312V80H106.402V20.1882L124.764 62.4H140.731L159.093 20.1882V80H173.463V0H151.908Z" fill="currentcolor" /> <path d="M0 0V14H18.7613V66H0V80H52.6912V66H33.93V14H52.6912V0H0Z" fill="currentcolor" /> </svg> </a> <div class="header__buttons"> <search class="header__search"> <form action="/search/"> <label class="sr-only" for="search">Search</label> <input placeholder="Search" type="search" id="search" name="q" /> <button type="submit" value="Search" aria-label="Submit search"> <svg role="img" aria-hidden="true" focusable="false" class="icon icon--m"> <use xlink:href="/assets/website/images/svg/icons.svg#search"></use> </svg> </button> </form> </search> <button class="header__search-toggle toggler" data-targets=".header__search--mobile"> Search <svg role="img" aria-hidden="true" focusable="false" class="icon icon--m"> <use xlink:href="/assets/website/images/svg/icons.svg#search"></use> </svg> </button> <button class="header__nav-open" aria-label="Open navigation overlay">Menu<span></span></button> </div> <nav class="header__nav-fallback"> <ul class="cluster cluster--pad-m"> <li><a href="/study/">Study</a></li><li><a href="/research-and-innovation/">Research</a></li><li><a href="/faculties-and-departments/">Faculties</a></li><li><a href="/latest-news-events/">News and events</a></li><li><a href="/about/">About</a></li><li><a href="/get-involved/">Get involved</a></li><li><a href="/giving/">Giving</a></li> <li><a href="/search">Search</a></li> </ul> </nav> <search class="header__search header__search--mobile"> <form action="/search/"> <label class="sr-only" for="search">Search</label> <input placeholder="Search" type="search" id="search" name="q" /> <button type="submit" value="Search" aria-label="Submit search"> <svg role="img" aria-hidden="true" focusable="false" class="icon icon--m"> <use xlink:href="/assets/website/images/svg/icons.svg#search"></use> </svg> </button> </form> </search> </div> <div id="#overlay" role="dialog" aria-modal="true" aria-labelledby="overlay-title" class="hidden"> <h2 class="sr-only" id="overlay-title">Website navigation</h2> <div class="container"> <div class="header__drawer"> <button class="header__nav-close" aria-label="Close navigation overlay">Close<span></span></button> <a class="header__drawer__logo" href="/" aria-label="Homepage"> <svg width="727" height="80" viewBox="0 0 727 80" fill="none" xmlns="http://www.w3.org/2000/svg"> <path d="M301.453 0V80H353.346V66H316.622V46H350.152V32.4H316.622V14H353.346V0H301.453Z" fill="currentcolor"/> <path d="M238.397 12.9177H227.22V39.8776H238.397C247.142 39.8776 253.566 35.6376 253.566 26.3953C253.566 16.8 247.142 12.9177 238.397 12.9177ZM239.196 52.8H227.22V80H212.052V0H239.196C256.219 0 269.533 7.72706 269.533 26.4C269.533 44.8 256.121 52.8 239.196 52.8Z" fill="currentcolor"/> <path d="M485.079 0V14H503.84V66H485.079V80H537.77V66H519.009V14H537.77V0H485.079Z" fill="currentcolor"/> <path d="M434.191 24.8C434.191 34.4377 428.602 37.4777 419.022 37.4777H406.248V12.9177H419.022C429.419 12.9224 434.191 16.8 434.191 24.8ZM450.158 24.8C450.158 6.12706 437.384 0 420.619 0H391.08V80H406.248V50.4H419.022C419.722 50.4 420.417 50.3859 421.107 50.3624L436.562 80H453.37L436.224 47.1906C444.565 43.4777 450.158 36.3435 450.158 24.8Z" fill="currentcolor"/> <path d="M604.324 14.1929L615.238 49.4777H593.406L604.324 14.1929ZM594.345 0L567.999 80H583.966L589.409 62.4H619.235L624.678 80H640.645L614.299 0H594.345Z" fill="currentcolor"/> <path d="M674.889 0V80H726.914V66H690.058V0H674.889Z" fill="currentcolor"/> <path d="M151.908 0L132.747 47.04L113.587 0H92.0312V80H106.402V20.1882L124.764 62.4H140.731L159.093 20.1882V80H173.463V0H151.908Z" fill="currentcolor"/> <path d="M0 0V14H18.7613V66H0V80H52.6912V66H33.93V14H52.6912V0H0Z" fill="currentcolor"/> </svg> </a> <div class="header__pane-switchers"> <button class="header__pane-switcher" data-tab-id="site-nav">Key links</button> <button class="header__pane-switcher" data-tab-id="section-nav">This section</button> </div> <div class="header__pane header__pane--global" id="site-nav"> <a class="header__skip-link" href="#section-nav">Skip to section navigation</a> <nav class="header__nav header__nav--global" aria-labelledby="global-nav-title"> <h3 class="sr-only" id="global-nav-title">Global site navigation</h3> <ul> <li> <a href="/study/">Study</a> <ul> <li><a href="/study/courses/">Course search</a></li> <li><a href="/study/apply/">Apply</a></li> <li><a href="/study/fees-and-funding/">Fees and funding</a></li> <li><a href="/study/student-life/">Student life</a></li> <li><a href="/study/visit/">Visit</a></li> <li><a href="/study/help-centre/">Help centre</a></li> <li><a href="/study/request-info/">Request info</a></li> <li><a href="/study/international-students/">International students</a></li> <li><a href="https://www.imperial.ac.uk/business-school/executive-education/">Executive education</a></li> <li></li> <li><a href="/study/visit/summer-schools/">Summer schools</a></li> </ul> </li><li> <a href="/research-and-innovation/">Research</a> </li><li> <a href="/faculties-and-departments/">Faculties</a> <ul> <li><a href="/engineering/">Faculty of Engineering</a></li> <li><a href="/medicine/">Faculty of Medicine</a></li> <li><a href="/natural-sciences/">Faculty of Natural Sciences</a></li> <li><a href="https://www.imperial.ac.uk/business-school/">Imperial College Business School</a></li> <li><a href="/admin-services/">Administrative and support services</a></li> </ul> </li><li> <a href="/latest-news-events/">News and events</a> <ul> <li><a href="https://www.imperial.ac.uk/news/">News</a></li> <li><a href="/whats-on/">What's on</a></li> <li><a href="/be-inspired/stories/">Imperial Stories</a></li> <li><a href="/be-inspired/festival/">Great Exhibition Road Festival</a></li> <li><a href="/be-inspired/magazine/">Imperial Magazine</a></li> <li><a href="/be-inspired/lates/">Imperial Lates</a></li> <li><a href="/students/graduation/">Graduation</a></li> </ul> </li><li> <a href="/about/">About</a> <ul> <li><a href="/about/leadership-and-strategy/president/">President</a></li> <li><a href="/about/leadership-and-strategy/provost/">Provost</a></li> <li><a href="/about/leadership-and-strategy/strategy/">Imperial Strategy</a></li> <li><a href="/about/leadership-and-strategy/provost/academic-strategy/">Academic Strategy</a></li> <li><a href="/about/global/">Imperial Global</a></li> <li><a href="/about/sustainability/">Sustainable Imperial</a></li> <li><a href="/about/governance/">Governance</a></li> <li><a href="/visit/campuses/">Campuses</a></li> <li><a href="https://profiles.imperial.ac.uk/">Our academics</a></li> <li><a href="/jobs/">Jobs at Imperial</a></li> </ul> </li><li> <a href="/get-involved/">Get involved</a> <ul> <li><a href="/giving/">Giving</a></li> <li><a href="/be-inspired/schools-outreach/">Schools outreach</a></li> <li><a href="/be-inspired/global-summer-school/">Imperial Global Summer School</a></li> <li><a href="/be-inspired/societal-engagement/">Societal engagement</a></li> <li><a href="/be-inspired/volunteering/">Volunteering and outreach</a></li> </ul> </li><li> <a href="/giving/">Giving</a> </li> </ul> </nav> <nav aria-labelledby="user-nav-title" role="navigation"> <h3 class="sr-only" id="user-nav-title">User links navigation</h3> <ul class="header__user-links"> <li><a href="/staff/">For staff</a></li> <li><a href="/students/">Current students</a></li> <li><a href="/for-business/">Imperial for business</a></li> <li><a href="/be-inspired/schools-outreach/">For schools</a></li> <li><a href="/alumni/">Alumni</a></li> </ul> </nav> </div> <div class="header__pane header__pane--section" id="section-nav"> <nav class="header__nav header__nav--section" aria-labelledby="section-nav-title"> <a class="header__nav__breadcrumb" href="/a-z-research/"> <span>Research groups</span> </a> <h3 class="header__nav__title" id="section-nav-title"><a href="/a-z-research/sassy-initiative/">The SaSSy Initiative: research in safe and secure software systems</a><span class="sr-only"> navigation</span></h3> <ul> <li><a href="/a-z-research/sassy-initiative/about-us/">About us</a></li><li><a href="/a-z-research/sassy-initiative/people/">People</a></li><li><a href="/a-z-research/sassy-initiative/industry/">Industry</a></li><li><a href="/a-z-research/sassy-initiative/postgraduate-degrees/">Postgraduate degrees</a></li><li><a href="/a-z-research/sassy-initiative/outreach/">Outreach</a></li><li><a href="/a-z-research/sassy-initiative/advisory-board/">Advisory board</a></li><li><a href="/a-z-research/sassy-initiative/contact-us/">Contact us</a></li> </ul> </nav> </div> </div> </div> </div> </header>  <main id="page"> <div class="container landing flow-xl " id="content">  <div class="landing-full-img"> <picture> <source type="image/webp" srcset=" https://pxl-imperialacuk.terminalfour.net/fit-in/720x289/filters:format(webp)/prod01/channel_3/media/migration/research-groups/sassy_1633680649832_x4.jpg 720w, https://pxl-imperialacuk.terminalfour.net/fit-in/1440x579/filters:format(webp)/prod01/channel_3/media/migration/research-groups/sassy_1633680649832_x4.jpg 1440w, https://pxl-imperialacuk.terminalfour.net/fit-in/2880x1158/filters:upscale()/filters:format(webp)/prod01/channel_3/media/migration/research-groups/sassy_1633680649832_x4.jpg 2880w, https://pxl-imperialacuk.terminalfour.net/fit-in/5760x2316/filters:upscale()/filters:format(webp)/prod01/channel_3/media/migration/research-groups/sassy_1633680649832_x4.jpg 5760w" sizes=" (min-width: 1520px) 1440px, (min-width: 1025px) calc(100vw - 80px), (min-width: 930px) calc(100vw - 48px), 100vw" > <source type="image/jpeg" srcset=" https://pxl-imperialacuk.terminalfour.net/fit-in/720x289/prod01/channel_3/media/migration/research-groups/sassy_1633680649832_x4.jpg 720w, https://pxl-imperialacuk.terminalfour.net/fit-in/1440x579/prod01/channel_3/media/migration/research-groups/sassy_1633680649832_x4.jpg 1440w, https://pxl-imperialacuk.terminalfour.net/fit-in/2880x1158/filters:upscale()/prod01/channel_3/media/migration/research-groups/sassy_1633680649832_x4.jpg 2880w, https://pxl-imperialacuk.terminalfour.net/fit-in/5760x2316/filters:upscale()/prod01/channel_3/media/migration/research-groups/sassy_1633680649832_x4.jpg 5760w" sizes=" (min-width: 1520px) 1440px, (min-width: 1025px) calc(100vw - 80px), (min-width: 930px) calc(100vw - 48px), 100vw" > <img src="https://pxl-imperialacuk.terminalfour.net/fit-in/1440x579/prod01/channel_3/media/migration/research-groups/sassy_1633680649832_x4.jpg" alt="Aerial images of the South Kensington and White City Campuses" width="5760" height="2316" loading="eager" fetchpriority="high" > </picture> <div class="caption flow-xs"> <h1>The SaSSy Initiative: research in safe and secure software systems</h1> <p>A new research initiative bringing together world-renowned Imperial academics working on the safety and security of our modern software systems.</p> </div> </div>  <div class="row wysiwyg"> <h2>The SaSSy Initiative</h2> <p>The SaSsy initiative is a new <a href="https://ix.imperial.ac.uk/" target="_blank" title="Imperial-X link opens in a new window">Imperial-X</a> research institute bringing together world-renowned <span>Imperial academics working on the safety and security of our modern </span><span>software systems, underpinned by rigorous design, specification, </span><span>testing and verification.</span></p> <p><span>The virtual SaSSy Initiative at Imperial-X spans the </span><a href="https://www.imperial.ac.uk/computing" style="font-size: 1.5rem; font-weight: 400;" target="_blank" title="Department of Computing link opens in a new window">Department of Computing</a><span>, the </span><a href="https://www.imperial.ac.uk/electrical-engineering" style="font-size: 1.5rem; font-weight: 400;" target="_blank" title="Department of Electronic and Electrical Engineering link opens in a new window">Department of Electrical and Electronic Engineering</a><span>, </span><span>the </span><a href="https://www.imperial.ac.uk/design-engineering/" style="font-size: 1.5rem; font-weight: 400;" target="_blank" title="Dyson School of Design Engineering link opens in a new window">Dyson School of Design Engineering</a><span>, and the </span><a href="https://www.imperial.ac.uk/security-institute/" style="font-size: 1.5rem; font-weight: 400;" target="_blank" title="Institute of Security Science and Technology link opens in a new window">Institute for Security Science and Technology</a><span>. It is loosely grouped under the research </span><span>themes Safe AI, Trustworthy Software,  Architectural </span><span>Foundations, and Security.</span></p> </div> <div class="row link-list equal-height-columns">  <div class="col lg-3 md-6 link-list"> <div class="module equal-height"> <img src="https://pxl-imperialacuk.terminalfour.net/fit-in/446x285/prod01/channel_3/media/migration/research-groups/imperial-x-white-city-aerial-view-sharp-2_1636397655625_x4.jpg" srcset=" https://pxl-imperialacuk.terminalfour.net/fit-in/223x142/prod01/channel_3/media/migration/research-groups/imperial-x-white-city-aerial-view-sharp-2_1636397655625_x4.jpg 223w, https://pxl-imperialacuk.terminalfour.net/fit-in/446x285/prod01/channel_3/media/migration/research-groups/imperial-x-white-city-aerial-view-sharp-2_1636397655625_x4.jpg 446w, https://pxl-imperialacuk.terminalfour.net/fit-in/892x570/filters:upscale()/prod01/channel_3/media/migration/research-groups/imperial-x-white-city-aerial-view-sharp-2_1636397655625_x4.jpg 892w, https://pxl-imperialacuk.terminalfour.net/fit-in/1784x1140/filters:upscale()/prod01/channel_3/media/migration/research-groups/imperial-x-white-city-aerial-view-sharp-2_1636397655625_x4.jpg 1784w" sizes="(min-width: 1520px) 335px, (min-width: 1025px) calc((100vw - 178px) / 4), (min-width: 930px) calc((100vw- 114px) / 2), (min-width: 481px) calc((100vw - 64px) / 2), calc(100vw - 32px)" alt="Aerial image of the White City Campus with two buildings" /> <h2 class="fake-h3"> <a href="/a-z-research/sassy-initiative/about-us/safe-ai/"> Safe AI </a> </h2> <ul> <li> <a href="https://www.imperial.ac.uk/terminalfour/SiteManager?ctfn=publish&fnno=30&sid=274117&chid=2&lang=en&ms=false&ss=false&ede=false&sp=false&spc=false&act=119"> Find out more </a> </li> </ul> </div> </div>   <div class="col lg-3 md-6 link-list"> <div class="module equal-height"> <img src="https://pxl-imperialacuk.terminalfour.net/fit-in/446x285/prod01/channel_3/media/migration/research-groups/newseventsimage-1592475275830-mainnews2012-x1-1633364304042-x1_1633607000064_x4.jpg" srcset=" https://pxl-imperialacuk.terminalfour.net/fit-in/223x142/prod01/channel_3/media/migration/research-groups/newseventsimage-1592475275830-mainnews2012-x1-1633364304042-x1_1633607000064_x4.jpg 223w, https://pxl-imperialacuk.terminalfour.net/fit-in/446x285/prod01/channel_3/media/migration/research-groups/newseventsimage-1592475275830-mainnews2012-x1-1633364304042-x1_1633607000064_x4.jpg 446w, https://pxl-imperialacuk.terminalfour.net/fit-in/892x570/filters:upscale()/prod01/channel_3/media/migration/research-groups/newseventsimage-1592475275830-mainnews2012-x1-1633364304042-x1_1633607000064_x4.jpg 892w, https://pxl-imperialacuk.terminalfour.net/fit-in/1784x1140/filters:upscale()/prod01/channel_3/media/migration/research-groups/newseventsimage-1592475275830-mainnews2012-x1-1633364304042-x1_1633607000064_x4.jpg 1784w" sizes="(min-width: 1520px) 335px, (min-width: 1025px) calc((100vw - 178px) / 4), (min-width: 930px) calc((100vw- 114px) / 2), (min-width: 481px) calc((100vw - 64px) / 2), calc(100vw - 32px)" alt="Image" /> <h2 class="fake-h3"> <a href="/a-z-research/sassy-initiative/about-us/trustworthy-software/"> Trustworthy Software </a> </h2> <ul> <li> <a href="https://www.imperial.ac.uk/terminalfour/SiteManager?ctfn=publish&fnno=30&sid=274117&chid=2&lang=en&ms=false&ss=false&ede=false&sp=false&spc=false&act=119"> Find out more </a> </li> </ul> </div> </div>   <div class="col lg-3 md-6 link-list"> <div class="module equal-height"> <img src="https://pxl-imperialacuk.terminalfour.net/fit-in/446x285/prod01/channel_3/media/migration/research-groups/newseventsimage-1592475275830-mainnews2012-x1-1633364304042-x1_1633607000064_x4-1.jpg" srcset=" https://pxl-imperialacuk.terminalfour.net/fit-in/223x142/prod01/channel_3/media/migration/research-groups/newseventsimage-1592475275830-mainnews2012-x1-1633364304042-x1_1633607000064_x4-1.jpg 223w, https://pxl-imperialacuk.terminalfour.net/fit-in/446x285/prod01/channel_3/media/migration/research-groups/newseventsimage-1592475275830-mainnews2012-x1-1633364304042-x1_1633607000064_x4-1.jpg 446w, https://pxl-imperialacuk.terminalfour.net/fit-in/892x570/filters:upscale()/prod01/channel_3/media/migration/research-groups/newseventsimage-1592475275830-mainnews2012-x1-1633364304042-x1_1633607000064_x4-1.jpg 892w, https://pxl-imperialacuk.terminalfour.net/fit-in/1784x1140/filters:upscale()/prod01/channel_3/media/migration/research-groups/newseventsimage-1592475275830-mainnews2012-x1-1633364304042-x1_1633607000064_x4-1.jpg 1784w" sizes="(min-width: 1520px) 335px, (min-width: 1025px) calc((100vw - 178px) / 4), (min-width: 930px) calc((100vw- 114px) / 2), (min-width: 481px) calc((100vw - 64px) / 2), calc(100vw - 32px)" alt="Image" /> <h2 class="fake-h3"> <a href="/a-z-research/sassy-initiative/about-us/architectural-foundations/"> Architectural Foundations </a> </h2> <ul> <li> <a href="https://www.imperial.ac.uk/terminalfour/SiteManager?ctfn=publish&fnno=30&sid=274117&chid=2&lang=en&ms=false&ss=false&ede=false&sp=false&spc=false&act=119"> Find out more </a> </li> </ul> </div> </div>   <div class="col lg-3 md-6 link-list"> <div class="module equal-height"> <img src="https://pxl-imperialacuk.terminalfour.net/fit-in/446x285/prod01/channel_3/media/migration/research-groups/imperial-x-white-city_1635964768158_x4.jpg" srcset=" https://pxl-imperialacuk.terminalfour.net/fit-in/223x142/prod01/channel_3/media/migration/research-groups/imperial-x-white-city_1635964768158_x4.jpg 223w, https://pxl-imperialacuk.terminalfour.net/fit-in/446x285/prod01/channel_3/media/migration/research-groups/imperial-x-white-city_1635964768158_x4.jpg 446w, https://pxl-imperialacuk.terminalfour.net/fit-in/892x570/filters:upscale()/prod01/channel_3/media/migration/research-groups/imperial-x-white-city_1635964768158_x4.jpg 892w, https://pxl-imperialacuk.terminalfour.net/fit-in/1784x1140/filters:upscale()/prod01/channel_3/media/migration/research-groups/imperial-x-white-city_1635964768158_x4.jpg 1784w" sizes="(min-width: 1520px) 335px, (min-width: 1025px) calc((100vw - 178px) / 4), (min-width: 930px) calc((100vw- 114px) / 2), (min-width: 481px) calc((100vw - 64px) / 2), calc(100vw - 32px)" alt="Aerial view of the White City campus with two buildings" /> <h2 class="fake-h3"> <a href="/a-z-research/sassy-initiative/about-us/security/"> Security </a> </h2> <ul> <li> <a href="https://www.imperial.ac.uk/terminalfour/SiteManager?ctfn=publish&fnno=30&sid=274117&chid=2&lang=en&ms=false&ss=false&ede=false&sp=false&spc=false&act=119"> Find out more </a> </li> </ul> </div> </div>  </div>  </div> </main>  <footer class="footer" role="contentinfo"> <section class="footer__main"> <h2 class="sr-only">Useful Links</h2> <div class="container"> <div class="row row--gap-on-collapse"> <nav class="col lg-3 sm-12"> <div class="flow-s"> <h3 class="step--1">Popular links</h3> <ul> <li><a href="/admin-services/ict/self-service/digital-education-services/digital-education-platforms/blackboard/">Blackboard</a></li> <li><a href="/admin-services/ict/contact-ict-service-desk/">Contact the Service Desk</a></li> <li><a href="/jobs/">Jobs</a></li> <li><a href="/admin-services/library/">Library services</a></li> <li><a href="https://email.imperial.ac.uk" target="_blank" rel="noopener">Outlook email online</a></li> </ul> </div> </nav> <nav class="col lg-3 sm-12"> <div class="flow-s"> <h3 class="step--1">Faculties</h3> <ul> <li><a href="/engineering/">Engineering</a></li> <li><a href="/medicine/">Medicine</a></li> <li><a href="/natural-sciences/">Natural Sciences</a></li> <li><a href="https://www.imperial.ac.uk/business-school/" target="_blank" rel="noopener">Imperial College Business School</a></li> </ul> </div> </nav> <nav class="col lg-3 sm-12"> <div class="flow-s"> <h3 class="step--1">Directories</h3> <ul> <li><a href="/admin-services/">Admin and support services </a></li> <li><a href="/multidisciplinary-research/">Networks and Centres </a></li> <li><a href="/a-z-research/">Research groups </a></li> <li><a href="https://profiles.imperial.ac.uk/" target="_blank" rel="noopener">Search all staff</a></li> </ul> </div> </nav> <nav class="col lg-3 sm-12"> <div class="flow-s"> <h3 class="step--1">Partners</h3> <ul> <li><a href="https://ahsc.org.uk/" target="_blank" rel="noopener">Imperial College Academic Health Science Centre </a></li> <li><a href="https://imperialcollegehealthpartners.com/" target="_blank" rel="noopener">Imperial College Health Partners </a></li> <li><a href="https://www.imperial.nhs.uk/" target="_blank" rel="noopener">Imperial College Healthcare NHS Trust </a></li> <li><a href="https://www.imperial-consultants.co.uk/" target="_blank" rel="noopener">Imperial Consultants</a></li> </ul> </div> </nav> </div> </div> </section> <section itemscope itemtype="http://schema.org/CollegeOrUniversity"> <h2 class="sr-only">College Information</h2> <div class="container"> <div class="footer__common"> <div class="row"> <div class="col lg-3 sm-12"> <div class="footer__contact flow-s"> <a href="#" class="footer__brand"> <span class="sr-only" itemprop="name">Imperial College London</span> <svg width="727" height="80" viewBox="0 0 727 80" fill="none" xmlns="http://www.w3.org/2000/svg"> <path d="M301.453 0V80H353.346V66H316.622V46H350.152V32.4H316.622V14H353.346V0H301.453Z" fill="currentcolor"/> <path d="M238.397 12.9177H227.22V39.8776H238.397C247.142 39.8776 253.566 35.6376 253.566 26.3953C253.566 16.8 247.142 12.9177 238.397 12.9177ZM239.196 52.8H227.22V80H212.052V0H239.196C256.219 0 269.533 7.72706 269.533 26.4C269.533 44.8 256.121 52.8 239.196 52.8Z" fill="currentcolor"/> <path d="M485.079 0V14H503.84V66H485.079V80H537.77V66H519.009V14H537.77V0H485.079Z" fill="currentcolor"/> <path d="M434.191 24.8C434.191 34.4377 428.602 37.4777 419.022 37.4777H406.248V12.9177H419.022C429.419 12.9224 434.191 16.8 434.191 24.8ZM450.158 24.8C450.158 6.12706 437.384 0 420.619 0H391.08V80H406.248V50.4H419.022C419.722 50.4 420.417 50.3859 421.107 50.3624L436.562 80H453.37L436.224 47.1906C444.565 43.4777 450.158 36.3435 450.158 24.8Z" fill="currentcolor"/> <path d="M604.324 14.1929L615.238 49.4777H593.406L604.324 14.1929ZM594.345 0L567.999 80H583.966L589.409 62.4H619.235L624.678 80H640.645L614.299 0H594.345Z" fill="currentcolor"/> <path d="M674.889 0V80H726.914V66H690.058V0H674.889Z" fill="currentcolor"/> <path d="M151.908 0L132.747 47.04L113.587 0H92.0312V80H106.402V20.1882L124.764 62.4H140.731L159.093 20.1882V80H173.463V0H151.908Z" fill="currentcolor"/> <path d="M0 0V14H18.7613V66H0V80H52.6912V66H33.93V14H52.6912V0H0Z" fill="currentcolor"/> </svg> </a> <meta itemprop="url" content="https://www.imperial.ac.uk/"> <meta itemprop="image" content="https://www.imperial.ac.uk/ImageCropToolT4/imageTool/uploaded-images/homepage-default-social--tojpeg_1523872141375_x1.jpg"> <meta itemprop="logo" content="https://www.imperial.ac.uk/assets/website/images/logo/imperial-600.png"> <meta itemprop="sameAs" content="https://en.wikipedia.org/wiki/Imperial_College_London"> <div class="address"> <h3 class="sr-only">Address</h3> <p itemscope itemtype="http://schema.org/PostalAddress" itemprop="address"> <span itemprop="name">Imperial College London</span><br /> <span itemprop="streetAddress">South Kensington Campus</span><br /> <span itemprop="addressLocality">London</span> <span itemprop="postalCode">SW7 2AZ</span>, <span itemprop="addressCountry">UK</span><br /> <span itemprop="telephone">tel: +44 (0)20 7589 5111</span> </p> </div> </div> </div> <div class="col lg-9 sm-12"> <div class="footer__info flow-s" id="footer-info"> <div class="footer__social cluster cluster--pad-m"> <a href="https://www.facebook.com/imperialcollegelondon" target="_blank" itemprop="sameAs"> <span class="sr-only">Facebook</span> <svg role="img" aria-hidden="true" focusable="false" class="icon icon--m"> <use xlink:href="/assets/website/images/svg/icons.svg#facebook"></use> </svg> </a> <a href="https://twitter.com/imperialcollege" target="_blank" itemprop="sameAs"> <span class="sr-only">X, formerly known as Twitter</span> <svg role="img" aria-hidden="true" focusable="false" class="icon icon--m"> <use xlink:href="/assets/website/images/svg/icons.svg#twitter"></use> </svg> </a> <a href="https://www.youtube.com/user/imperialcollegevideo" target="_blank" itemprop="sameAs"> <span class="sr-only">YouTube</span> <svg role="img" aria-hidden="true" focusable="false" class="icon icon--m"> <use xlink:href="/assets/website/images/svg/icons.svg#youtube"></use> </svg> </a> <a href="https://www.linkedin.com/edu/imperial-college-london-12598" target="_blank" itemprop="sameAs"> <span class="sr-only">LinkedIn</span> <svg role="img" aria-hidden="true" focusable="false" class="icon icon--m"> <use xlink:href="/assets/website/images/svg/icons.svg#linkedin"></use> </svg> </a> <a href="https://instagram.com/imperialcollege" target="_blank" itemprop="sameAs"> <span class="sr-only">Instagram</span> <svg role="img" aria-hidden="true" focusable="false" class="icon icon--m"> <use xlink:href="/assets/website/images/svg/icons.svg#instagram"></use> </svg> </a> <a href="https://www.tiktok.com/@imperialcollege" target="_blank" itemprop="sameAs"> <span class="sr-only">TikTok</span> <svg role="img" aria-hidden="true" focusable="false" class="icon icon--m"> <use xlink:href="/assets/website/images/svg/icons.svg#tiktok"></use> </svg> </a> </div> <nav> <h3 class="sr-only">Site Information</h3> <ul class="footer__meta"> <li><a href="/sitemap/">Sitemap</a></li> <li><a href="/about-the-site/accessibility/">Accessibility</a></li> <li><a href="/admin-services/finance/purchasing/related-policy-statements/modern-slavery/">Modern slavery statement</a></li> <li><a href="/about-the-site/privacy/">Privacy notice</a></li> <li><a href="/about-the-site/use-of-cookies/">Use of cookies</a></li> <li><a href="/about-the-site/incorrect-content/">Report incorrect content</a></li> <li class="hide-sm"><a class="t4Edit-page" href="https://t4-cms.imperial.ac.uk/terminalfour/page/section#edit/262625/contents">Log in</a></li> </ul> </nav> <p class="footer__copyright">© 2024 Imperial College London</p> </div> </div> </div> </div> </div> </section> </footer>  </body> </html>

CINXE.COM

The SaSSy Initiative: research in safe and secure software systems | Research groups | Imperial College London