CINXE.COM

<!DOCTYPE html><html data-wf-domain="www.galois.com" data-wf-page="677469e67be8888a460e2e92" data-wf-site="673b407e535dbf3b547179dd" lang="en" data-wf-locale="en"><head><meta charset="utf-8"/><title>Galois - Home</title><meta content="width=device-width, initial-scale=1" name="viewport"/><link href="https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/css/galois-redesign-fc8dd3cc487e33de529c1a3.webflow.ecb2ade2d.css" rel="stylesheet" type="text/css"/><link href="https://fonts.googleapis.com" rel="preconnect"/><link href="https://fonts.gstatic.com" rel="preconnect" crossorigin="anonymous"/><script src="https://ajax.googleapis.com/ajax/libs/webfont/1.6.26/webfont.js" type="text/javascript"></script><script type="text/javascript">WebFont.load({ google: { families: ["Open Sans:300,300italic,400,400italic,600,600italic,700,700italic,800,800italic","Lato:100,100italic,300,300italic,400,400italic,700,700italic,900,900italic"] }});</script><script src="https://use.typekit.net/bvi2kll.js" type="text/javascript"></script><script type="text/javascript">try{Typekit.load();}catch(e){}</script><script type="text/javascript">!function(o,c){var n=c.documentElement,t=" w-mod-";n.className+=t+"js",("ontouchstart"in o||o.DocumentTouch&&c instanceof DocumentTouch)&&(n.className+=t+"touch")}(window,document);</script><link href="https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/6745ca84545283b70a4273fe_galois-favicon.png" rel="shortcut icon" type="image/x-icon"/><link href="https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/6745cae88e9a842d79cc3533_galois-webclip.png" rel="apple-touch-icon"/><script async="" src="https://www.googletagmanager.com/gtag/js?id=G-7FQK18RJ4Y"></script><script type="text/javascript">window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments);}gtag('js', new Date());gtag('set', 'developer_id.dZGVlNj', true);gtag('config', 'G-7FQK18RJ4Y');</script><style> /*CSS RESET*/ /* Make text look crisper and more legible in all browsers */ body { -webkit-font-smoothing: antialiased; -moz-osx-font-smoothing: grayscale; font-smoothing: antialiased; text-rendering: optimizeLegibility; } /* Focus state style for keyboard navigation for the focusable elements */ *[tabindex]:focus-visible, input[type="file"]:focus-visible { outline: 0.125rem solid #4d65ff; outline-offset: 0.125rem; } /* Set color style to inherit */ .inherit-color * { color: inherit; } /* Get rid of top margin on first element in any rich text element */ .w-richtext > :not(div):first-child, .w-richtext > div:first-child > :first-child { margin-top: 0 !important; } /* Get rid of bottom margin on last element in any rich text element */ .w-richtext>:last-child, .w-richtext ol li:last-child, .w-richtext ul li:last-child { margin-bottom: 0 !important; } /* Make sure containers never lose their center alignment */ .container-medium,.container-small, .container-large { margin-right: auto !important; margin-left: auto !important; } /* Make the following elements inherit typography styles from the parent and not have hardcoded values. Important: You will not be able to style for example "All Links" in Designer with this CSS applied. Uncomment this CSS to use it in the project. Leave this message for future hand-off. */ /* a, .w-input, .w-select, .w-tab-link, .w-nav-link, .w-dropdown-btn, .w-dropdown-toggle, .w-dropdown-link { color: inherit; text-decoration: inherit; font-size: inherit; } */ /* These classes are never overwritten */ .hide { display: none !important; } @media screen and (max-width: 991px) { .hide, .hide-tablet { display: none !important; } } @media screen and (max-width: 767px) { .hide-mobile-landscape{ display: none !important; } } @media screen and (max-width: 479px) { .hide-mobile{ display: none !important; } } .margin-0 { margin: 0rem !important; } .padding-0 { padding: 0rem !important; } .spacing-clean { padding: 0rem !important; margin: 0rem !important; } .margin-top { margin-right: 0rem !important; margin-bottom: 0rem !important; margin-left: 0rem !important; } .padding-top { padding-right: 0rem !important; padding-bottom: 0rem !important; padding-left: 0rem !important; } .margin-right { margin-top: 0rem !important; margin-bottom: 0rem !important; margin-left: 0rem !important; } .padding-right { padding-top: 0rem !important; padding-bottom: 0rem !important; padding-left: 0rem !important; } .margin-bottom { margin-top: 0rem !important; margin-right: 0rem !important; margin-left: 0rem !important; } .padding-bottom { padding-top: 0rem !important; padding-right: 0rem !important; padding-left: 0rem !important; } .margin-left { margin-top: 0rem !important; margin-right: 0rem !important; margin-bottom: 0rem !important; } .padding-left { padding-top: 0rem !important; padding-right: 0rem !important; padding-bottom: 0rem !important; } .margin-horizontal { margin-top: 0rem !important; margin-bottom: 0rem !important; } .padding-horizontal { padding-top: 0rem !important; padding-bottom: 0rem !important; } .margin-vertical { margin-right: 0rem !important; margin-left: 0rem !important; } .padding-vertical { padding-right: 0rem !important; padding-left: 0rem !important; } /* STYLES FOR TRUNCATING TEXT (ON ARTICLE/PROJECT CARDS) */ /* Apply "..." after 3 lines of text */ .text-style-3lines { display: -webkit-box; overflow: hidden; -webkit-line-clamp: 3; -webkit-box-orient: vertical; } /* Apply "..." after 2 lines of text */ .text-style-2lines { display: -webkit-box; overflow: hidden; -webkit-line-clamp: 2; -webkit-box-orient: vertical; } /*BLOG BACKGROUND GRADIENTS*/ [data-color="blue"] { background: linear-gradient(108deg, #3677BC 7.4%, #5EA1E7 85.63%); } [data-color="teal"] { background: linear-gradient(110deg, #598E97 12.38%, #5EA1E7 92.18%); } [data-color="purple"] { background: linear-gradient(119deg, #7677BF 18.9%, #5EA1E7 102.44%); } /* STYLES FOR HIDING SECTIONS IF CMS LISTS ARE EMPTY */ .gds-hidden-section { display: none; } .gds-hidden-section.do-not-hide-if-empty { display: block; } </style> <style> /* CAROUSEL RESPONSIVE DOT STYLING */ /* General rule for 0px and below */ @media(min-width: 0px) { .gds-slider[data-total-items="1"] .w-slider-dot, .gds-slider[data-total-items="1"] .gds-slider__arrow-right { display: none !important; } } /* 478px up - Hide dots and arrow if there are 2 or fewer slides */ @media(min-width: 478px) { .gds-slider[data-total-items="2"] .w-slider-dot, .gds-slider[data-total-items="2"] .gds-slider__arrow-right { display: none !important; } .gds-slider[data-total-items="3"] .w-slider-dot:nth-of-type(3) { display: none !important; } .gds-slider[data-total-items="3"][data-active-slide="2"] .gds-slider__arrow-right { display: none !important; } .gds-slider[data-total-items="4"] .w-slider-dot:nth-of-type(4) { display: none !important; } .gds-slider[data-total-items="4"][data-active-slide="3"] .gds-slider__arrow-right { display: none !important; } .gds-slider[data-total-items="5"] .w-slider-dot:nth-of-type(5) { display: none !important; } .gds-slider[data-total-items="5"][data-active-slide="4"] .gds-slider__arrow-right { display: none !important; } .gds-slider[data-total-items="6"] .w-slider-dot:nth-of-type(6) { display: none !important; } .gds-slider[data-total-items="6"][data-active-slide="5"] .gds-slider__arrow-right { display: none !important; } .gds-slider[data-total-items="7"] .w-slider-dot:nth-of-type(7) { display: none !important; } .gds-slider[data-total-items="7"][data-active-slide="6"] .gds-slider__arrow-right { display: none !important; } .gds-slider[data-total-items="8"] .w-slider-dot:nth-of-type(8) { display: none !important; } .gds-slider[data-total-items="8"][data-active-slide="7"] .gds-slider__arrow-right { display: none !important; } .gds-slider[data-total-items="9"] .w-slider-dot:nth-of-type(9) { display: none !important; } .gds-slider[data-total-items="9"][data-active-slide="8"] .gds-slider__arrow-right { display: none !important; } } /* 768px up - Hide dots and arrow if there are 3 or fewer slides */ @media(min-width: 768px) { .gds-slider[data-total-items="3"] .w-slider-dot, .gds-slider[data-total-items="3"] .gds-slider__arrow-right { display: none !important; } .gds-slider[data-total-items="4"] .w-slider-dot:nth-of-type(4), .gds-slider[data-total-items="4"] .w-slider-dot:nth-of-type(3) { display: none !important; } .gds-slider[data-total-items="4"][data-active-slide="3"] .gds-slider__arrow-right { display: none !important; } .gds-slider[data-total-items="5"] .w-slider-dot:nth-of-type(5), .gds-slider[data-total-items="5"] .w-slider-dot:nth-of-type(4){ display: none !important; } .gds-slider[data-total-items="5"][data-active-slide="3"] .gds-slider__arrow-right { display: none !important; } .gds-slider[data-total-items="6"] .w-slider-dot:nth-of-type(6), .gds-slider[data-total-items="6"] .w-slider-dot:nth-of-type(5) { display: none !important; } .gds-slider[data-total-items="6"][data-active-slide="4"] .gds-slider__arrow-right { display: none !important; } .gds-slider[data-total-items="7"] .w-slider-dot:nth-of-type(7), .gds-slider[data-total-items="7"] .w-slider-dot:nth-of-type(6){ display: none !important; } .gds-slider[data-total-items="7"][data-active-slide="5"] .gds-slider__arrow-right { display: none !important; } .gds-slider[data-total-items="8"] .w-slider-dot:nth-of-type(8), .gds-slider[data-total-items="8"] .w-slider-dot:nth-of-type(7) { display: none !important; } .gds-slider[data-total-items="8"][data-active-slide="6"] .gds-slider__arrow-right { display: none !important; } .gds-slider[data-total-items="9"] .w-slider-dot:nth-of-type(9), .gds-slider[data-total-items="9"] .w-slider-dot:nth-of-type(8){ display: none !important; } .gds-slider[data-total-items="9"][data-active-slide="7"] .gds-slider__arrow-right { display: none !important; } } /* 991px up - Hide dots and arrow if there are 4 or fewer slides */ @media(min-width: 991px) { .gds-slider[data-total-items="4"] .w-slider-dot, .gds-slider[data-total-items="4"] .gds-slider__arrow-right { display: none !important; } .gds-slider[data-total-items="5"] .w-slider-dot:nth-of-type(5), .gds-slider[data-total-items="5"] .w-slider-dot:nth-of-type(4), .gds-slider[data-total-items="5"] .w-slider-dot:nth-of-type(3){ display: none !important; } .gds-slider[data-total-items="5"][data-active-slide="2"] .gds-slider__arrow-right { display: none !important; } .gds-slider[data-total-items="6"] .w-slider-dot:nth-of-type(6), .gds-slider[data-total-items="6"] .w-slider-dot:nth-of-type(5), .gds-slider[data-total-items="6"] .w-slider-dot:nth-of-type(4) { display: none !important; } .gds-slider[data-total-items="6"][data-active-slide="3"] .gds-slider__arrow-right { display: none !important; } .gds-slider[data-total-items="7"] .w-slider-dot:nth-of-type(7), .gds-slider[data-total-items="7"] .w-slider-dot:nth-of-type(6), .gds-slider[data-total-items="7"] .w-slider-dot:nth-of-type(5) { display: none !important; } .gds-slider[data-total-items="7"][data-active-slide="4"] .gds-slider__arrow-right { display: none !important; } .gds-slider[data-total-items="8"] .w-slider-dot:nth-of-type(8), .gds-slider[data-total-items="8"] .w-slider-dot:nth-of-type(7), .gds-slider[data-total-items="8"] .w-slider-dot:nth-of-type(6) { display: none !important; } .gds-slider[data-total-items="8"][data-active-slide="5"] .gds-slider__arrow-right { display: none !important; } .gds-slider[data-total-items="9"] .w-slider-dot:nth-of-type(9), .gds-slider[data-total-items="9"] .w-slider-dot:nth-of-type(8), .gds-slider[data-total-items="9"] .w-slider-dot:nth-of-type(7){ display: none !important; } .gds-slider[data-total-items="9"][data-active-slide="6"] .gds-slider__arrow-right { display: none !important; } } </style> <style> /* CAROUSEL RESPONSIVE DOT STYLING FOR .is-3-up-slider */ /* Override default 4-up styles */ /* General rule for 0px and below */ @media (min-width: 0px) { } @media (min-width: 478px) { /* 1 slide shows in 3-up */ .gds-slider.is-3-up-slider[data-total-items="2"] .w-slider-dot, .gds-slider.is-3-up-slider[data-total-items="2"] .gds-slider__arrow-right { display: inline-block !important; } .gds-slider.is-3-up-slider[data-total-items="2"][data-active-slide="2"] .gds-slider__arrow-right { display: none !important; } .gds-slider.is-3-up-slider[data-total-items="3"] .w-slider-dot, .gds-slider.is-3-up-slider[data-total-items="3"] .gds-slider__arrow-right { display: inline-block !important; } .gds-slider.is-3-up-slider[data-total-items="3"][data-active-slide="3"] .gds-slider__arrow-right { display: none !important; } .gds-slider.is-3-up-slider[data-total-items="4"] .w-slider-dot, .gds-slider.is-3-up-slider[data-total-items="4"] .gds-slider__arrow-right { display: inline-block !important; } .gds-slider.is-3-up-slider[data-total-items="4"][data-active-slide="4"] .gds-slider__arrow-right { display: none !important; } .gds-slider.is-3-up-slider[data-total-items="5"] .w-slider-dot, .gds-slider.is-3-up-slider[data-total-items="5"] .gds-slider__arrow-right { display: inline-block !important; } .gds-slider.is-3-up-slider[data-total-items="5"][data-active-slide="5"] .gds-slider__arrow-right { display: none !important; } .gds-slider.is-3-up-slider[data-total-items="6"] .w-slider-dot, .gds-slider.is-3-up-slider[data-total-items="6"] .gds-slider__arrow-right { display: inline-block !important; } .gds-slider.is-3-up-slider[data-total-items="6"][data-active-slide="6"] .gds-slider__arrow-right { display: none !important; } .gds-slider.is-3-up-slider[data-total-items="7"] .w-slider-dot, .gds-slider.is-3-up-slider[data-total-items="7"] .gds-slider__arrow-right { display: inline-block !important; } .gds-slider.is-3-up-slider[data-total-items="7"][data-active-slide="7"] .gds-slider__arrow-right { display: none !important; } .gds-slider.is-3-up-slider[data-total-items="8"] .w-slider-dot, .gds-slider.is-3-up-slider[data-total-items="8"] .gds-slider__arrow-right { display: inline-block !important; } .gds-slider.is-3-up-slider[data-total-items="8"][data-active-slide="8"] .gds-slider__arrow-right { display: none !important; } .gds-slider.is-3-up-slider[data-total-items="9"] .w-slider-dot, .gds-slider.is-3-up-slider[data-total-items="9"] .gds-slider__arrow-right { display: inline-block !important; } .gds-slider.is-3-up-slider[data-total-items="9"][data-active-slide="9"] .gds-slider__arrow-right { display: none !important; } } /* 768px up - Override for 3-up behavior - 2 slides show) */ @media (min-width: 768px) { /*correctly set 3-up hiding of dots for 2 slides showing at once*/ .gds-slider.is-3-up-slider[data-total-items="2"] .w-slider-dot, .gds-slider.is-3-up-slider[data-total-items="2"] .gds-slider__arrow-right { display: none !important; } .gds-slider.is-3-up-slider[data-total-items="3"] .w-slider-dot:nth-of-type(3){ display: none !important; } .gds-slider.is-3-up-slider[data-total-items="3"][data-active-slide="2"] .gds-slider__arrow-right { display: none !important; } .gds-slider.is-3-up-slider[data-total-items="4"] .w-slider-dot:nth-of-type(4){ display: none !important; } .gds-slider.is-3-up-slider[data-total-items="4"][data-active-slide="3"] .gds-slider__arrow-right { display: none !important; } .gds-slider.is-3-up-slider[data-total-items="5"] .w-slider-dot:nth-of-type(5){ display: none !important; } .gds-slider.is-3-up-slider[data-total-items="5"][data-active-slide="4"] .gds-slider__arrow-right { display: none !important; } .gds-slider.is-3-up-slider[data-total-items="6"] .w-slider-dot:nth-of-type(6){ display: none !important; } .gds-slider.is-3-up-slider[data-total-items="6"][data-active-slide="5"] .gds-slider__arrow-right { display: none !important; } .gds-slider.is-3-up-slider[data-total-items="7"] .w-slider-dot:nth-of-type(7){ display: none !important; } .gds-slider.is-3-up-slider[data-total-items="7"][data-active-slide="6"] .gds-slider__arrow-right { display: none !important; } .gds-slider.is-3-up-slider[data-total-items="8"] .w-slider-dot:nth-of-type(8){ display: none !important; } .gds-slider.is-3-up-slider[data-total-items="8"][data-active-slide="7"] .gds-slider__arrow-right { display: none !important; } .gds-slider.is-3-up-slider[data-total-items="9"] .w-slider-dot:nth-of-type(9){ display: none !important; } .gds-slider.is-3-up-slider[data-total-items="9"][data-active-slide="8"] .gds-slider__arrow-right { display: none !important; } } /* 991px up - Override for 3-up behavior */ @media (min-width: 991px) { /* Ensure arrows and dots show correctly for 3-up and 3 cards showing */ /*correctly set 3-up hiding of dots for 2 slides showing at once*/ .gds-slider.is-3-up-slider[data-total-items="2"] .w-slider-dot, .gds-slider.is-3-up-slider[data-total-items="2"] .gds-slider__arrow-right { display: none !important; } .gds-slider.is-3-up-slider[data-total-items="3"] .w-slider-dot, .gds-slider.is-3-up-slider[data-total-items="3"] .gds-slider__arrow-right { display: none !important; } .gds-slider.is-3-up-slider[data-total-items="4"] .w-slider-dot:nth-of-type(4), .gds-slider.is-3-up-slider[data-total-items="4"] .w-slider-dot:nth-of-type(3){ display: none !important; } .gds-slider.is-3-up-slider[data-total-items="4"][data-active-slide="2"] .gds-slider__arrow-right { display: none !important; } .gds-slider.is-3-up-slider[data-total-items="5"] .w-slider-dot:nth-of-type(5), .gds-slider.is-3-up-slider[data-total-items="5"] .w-slider-dot:nth-of-type(4){ display: none !important; } .gds-slider.is-3-up-slider[data-total-items="5"][data-active-slide="3"] .gds-slider__arrow-right { display: none !important; } .gds-slider.is-3-up-slider[data-total-items="6"] .w-slider-dot:nth-of-type(6), .gds-slider.is-3-up-slider[data-total-items="6"] .w-slider-dot:nth-of-type(5){ display: none !important; } .gds-slider.is-3-up-slider[data-total-items="6"][data-active-slide="4"] .gds-slider__arrow-right { display: none !important; } .gds-slider.is-3-up-slider[data-total-items="7"] .w-slider-dot:nth-of-type(7), .gds-slider.is-3-up-slider[data-total-items="7"] .w-slider-dot:nth-of-type(6){ display: none !important; } .gds-slider.is-3-up-slider[data-total-items="7"][data-active-slide="5"] .gds-slider__arrow-right { display: none !important; } .gds-slider.is-3-up-slider[data-total-items="8"] .w-slider-dot:nth-of-type(8), .gds-slider.is-3-up-slider[data-total-items="8"] .w-slider-dot:nth-of-type(7){ display: none !important; } .gds-slider.is-3-up-slider[data-total-items="8"][data-active-slide="6"] .gds-slider__arrow-right { display: none !important; } .gds-slider.is-3-up-slider[data-total-items="9"] .w-slider-dot:nth-of-type(9), .gds-slider.is-3-up-slider[data-total-items="9"] .w-slider-dot:nth-of-type(8){ display: none !important; } .gds-slider.is-3-up-slider[data-total-items="9"][data-active-slide="7"] .gds-slider__arrow-right { display: none !important; } } </style>  <script async src="https://cdn.jsdelivr.net/npm/@finsweet/attributes-cmsslider@1/cmsslider.js"></script>  <script async src="https://cdn.jsdelivr.net/npm/@finsweet/attributes-modal@1/modal.js"></script> <script> document.addEventListener("DOMContentLoaded", function() { // Delay to ensure pagination dots are loaded on the page setTimeout(function trackActiveSlideAndInitialize() { console.log("Timeout complete. Running delayed code..."); // Function to initialize custom scripts and track active slides function initializeCustomScripts() { console.log('Finsweet CMS Slider is ready. Running custom scripts...'); // Select all slider elements on the page const sliderElements = document.querySelectorAll('.gds-slider'); // Adjust to use '.gds-slider' sliderElements.forEach((carousel) => { // Set up total items attribute const items = carousel.querySelectorAll('.gds-slider__item'); // Replace with your carousel item class const totalItems = items.length; carousel.setAttribute('data-total-items', totalItems); // Find the pagination dots inside the slider const dots = carousel.querySelectorAll('.w-slider-dot'); const leftArrow = carousel.querySelector('.gds-slider__arrow-left'); // Replace with your left arrow class const rightArrow = carousel.querySelector('.gds-slider__arrow-right'); // Replace with your right arrow class // Initial check to set data-active-slide based on the currently active dot dots.forEach((dot, index) => { if (dot.classList.contains('w-active')) { carousel.setAttribute('data-active-slide', index + 1); // Make it 1-based } }); // Observe each dot for changes in the `w-active` class dots.forEach((dot, index) => { const observer = new MutationObserver((mutations) => { mutations.forEach((mutation) => { if (mutation.attributeName === 'class' && dot.classList.contains('w-active')) { // Update the data-active-slide attribute on the carousel element carousel.setAttribute('data-active-slide', index + 1); // Make it 1-based } }); }); // Start observing each dot for class attribute changes observer.observe(dot, { attributes: true, attributeFilter: ['class'] }); }); }); } // Run the initialization and tracking function initializeCustomScripts(); }, 2000); // Adjust delay as needed to ensure elements are available }); </script> <style> /* style blog thumbnails when full-width image, eg: life at galois articles */ .has-full-width-thumbnail .gds-article-item__image-wrapper { position: relative; /* Ensure that the container's positioning is defined */ width: 100%; /* Take the full width of the parent */ height: 0; /* Set height to 0 initially */ padding-top: 56.25%; /* Aspect ratio: 16:9. Adjust as necessary */ overflow: hidden; /* Hide any overflow from child elements */ } .has-full-width-thumbnail .gds-article-item__image { position: absolute; /* Make the image position relative to the wrapper */ top: 0; left: 0; width: 100%; /* Cover the full width of the wrapper */ height: 100%; /* Cover the full height of the wrapper */ object-fit: cover; /* Ensure the image covers the space without distortion */ object-position: center; /* Optional: Adjust the position of the image */ } </style></head><body class="background-color-primary text-color-primary"><section class="homepage-hero-animation video-hero"><section class="gds-navbar"><div class="gds-navbar__code-embed w-embed w-script"><script> var Webflow = Webflow || []; Webflow.push(function () { Webflow.scroll.on(function() { if (window.scrollY > 0) { // starts when browser is scrollex on the Y axis $('.gds-navbar__container').addClass('nav_scrolled'); // adds the class nav_scrolled to the nav $('.gds-navbar__logo-link').addClass('logo_scrolled'); // adds the class logo_scrolled to the logo } else { // not scrolled $('.gds-navbar__container').removeClass('nav_scrolled'); // removes the class nav_scrolled to the nav $('.gds-navbar__logo-link').removeClass('logo_scrolled'); // removes the class logo_scrolled to the logo } }) $('.gds-navbar__hamburger-menu-wrapper').click(function () { $('.gds-navbar').toggleClass('mobile-menu-open'); $('body').toggleClass('nav-has-mobile-menu-open'); }); $('.dropdown-wrapper').click(function () { if($(this).hasClass('submenu-open')){ $(this).removeClass('submenu-open'); }else { $('.dropdown-wrapper').removeClass('submenu-open'); $(this).addClass('submenu-open'); } }); }); </script></div><div class="gds-global-stylesheet w-embed"><style> html { max-width: 1920px; margin-right: auto; margin-left: auto; overflow-x: hidden; } .gds-article-item__author:empty { display: none; visibility: hidden; } .dropdown-toggle:hover { color: #eeeeee !important; } .dropdown-toggle .dropdown-arrow{ transition: transform 200ms; } .dropdown-toggle.w--open .dropdown-arrow{ transform: rotate(-180deg); transition: transform 200ms; } .blog-body h2, .blog-body h3, .blog-body h4, .blog-body h5 { font-family: "Open Sans", sans-serif; text-transform: none; font-weight: 500 !important; } .w-slider-dot { width: .75rem; height: .75rem; } .w-nav-overlay { margin-top: 32px; z-index: 998; } .nav_scrolled .w-nav-overlay { margin-top: 16px; } .gds-navbar__container.nav_scrolled { z-index: 997; } .mobile-menu-open .gds-navbar__container{ background: var(--base-color-brand--grey-dark); } @media(max-width: 768px) { .dropdown-wrapper { transition: all 200ms ease; } .dropdown-wrapper.submenu-open { background: #333B42; transition: all 200ms ease; } .submenu-open .dropdown-toggle{ padding-bottom: 12px; border-bottom: solid .5px #eee; } } [data-color="blue"] { background: linear-gradient(108deg, #3677BC 7.4%, #5EA1E7 85.63%); } [data-color="teal"] { background: linear-gradient(110deg, #598E97 12.38%, #5EA1E7 92.18%); } [data-color="purple"] { background: linear-gradient(119deg, #7677BF 18.9%, #5EA1E7 102.44%); } a, button,a:hover, button:hover { cursor: pointer !important; } .gds-article-item__image-wrapper-link, .gds-article-item__card-body-link, .gds-card__link-block{ text-decoration: none; } @media(min-width: 767px){ .gds-article-item, .gds-card, .gds-team-member-card, .gds-category-card, .gds-cta-banner .cta-group, .gds-team-member-work-card, .whr-item { transition: all .2s ease-in-out !important; cursor: pointer; } .gds-article-item:hover, .gds-card:hover, .gds-team-member-card:hover, .gds-category-card:hover, .gds-cta-banner .cta-group:hover, .gds-team-member-work-card:hover, .whr-item:hover { transform: scale(1.025) !important; } a.gds-sub-item__link { transition: all .2s ease-in-out; } a.gds-sub-item__link:hover { color: #FFD30E !important; transition: all .2s ease-in-out; } } .gds-article-item__category-link { transition: all .2s ease-in-out; cursor: pointer; } .gds-article-item__category-link:hover { transition: all .2s ease-in-out; cursor: pointer; font-weight: 600; } .gds-cms-body p { margin-bottom: 20px; font-family: open-sans, sans-serif; } .gds-cms-body h2 { font-family: open-sans, sans-serif; font-weight: 600; font-size: 2rem; line-height: 110%; margin-bottom: 16px; } .gds-cms-body h3 { font-family: open-sans, sans-serif; font-weight: 600; font-size: 1.5rem; line-height: 110%; margin-bottom: 16px; } .gds-cms-body h4 { font-family: open-sans, sans-serif; font-weight: 600; font-size: 1.25rem; line-height: 110%; margin-bottom: 16px; } .gds-cms-body h5 { font-family: open-sans, sans-serif; font-weight: 600; font-size: 1.125rem; line-height: 110%; margin-bottom: 16px; } @media(max-width: 767px){ body.nav-has-mobile-menu-open { height: 100%; position: fixed; overflow: hidden; } .gds-navbar.mobile-menu-open { height: 100%; } .gds-navbar.mobile-menu-open .header-nav-menu-wrapper { height: 100%; overflow-y: scroll; padding-bottom: 60px; } } .gds-pagination__page-buttons div { display: inline-block; background-color: var(--base-color-brand--white); color: var(--text-color--text-alternate); border: 2px solid #0000; border-radius: 2px; height: 100%; margin-left: 4px; margin-right: 4px; padding: 9px 16px; font-family: open-sans, sans-serif; font-size: 14px; line-height: 16px; text-decoration: none; border: 1px solid #0000; max-height: 38px; @media(max-width: 767px){ padding: 9px 10px; } } .gds-navbar__container { z-index: 998; } .gds-project-card__summary, .gds-article-item__heading, .gds-project-card__heading, .gds-truncate--3lines{ display: -webkit-box; -webkit-line-clamp: 3; /* Number of lines */ -webkit-box-orient: vertical; overflow: hidden; } .gds-truncate--2lines{ display: -webkit-box; -webkit-line-clamp: 2; /* Number of lines */ -webkit-box-orient: vertical; overflow: hidden; } .gds-article-item__category-text::before{ content:" #"; margin-left: 2px; } .gds-team-member-bio__custom-sidebar-rich-text a { color: #FFFFFF !important; } .gradient-bg-primary.gradient-bg-primary--fixed-height { background-image: linear-gradient(173deg, var(--base-color-brand--blue), var(--base-color-brand--blue-dark) 800px, var(--base-color-brand--blue-dark)) } .gds-cms-body ol, .gds-rich-text ol, .gds-cms-body ul, .gds-rich-text ul{ margin-bottom: 20px; } .fs-toc__link-wrapper .fs-toc__link-wrapper { margin-left: 20px; } code { background: #2b2b2b; padding: .5em; } .gds-article-item__author-byline::before, .gds-byline-rich-text::before, .gds-cms-byline__authors-list::before{ display: inline; content: "By: "; } .gds-byline-rich-text p, .gds-byline-rich-text a { display: inline; } .gds-cms-rich-text { overflow: hidden; } .gds-cms-rich-text blockquote { margin-bottom: 20px; } .gds-cms-rich-text table { max-width: 100%; background: #fff; border-color: #ccc; color: #000; } .gds-cms-rich-text .table-scroll { width: 100%; overflow-x: scroll; } .gds-cms-rich-text table th{ background: #2D78BD; color: #FFFFFF; } .gds-cms-rich-text table th, .gds-cms-rich-text table td { border-color: #ccc; } .gds-cms-rich-text table tr:nth-child(odd) { background: #eee; } </style></div><div class="w-layout-blockcontainer gds-navbar__spacer w-container"></div><div data-w-id="a8306061-9e9f-c591-1aed-4ad2e0114eb2" class="gds-navbar__container"><div data-animation="default" data-collapse="medium" data-duration="400" data-easing="ease" data-easing2="ease" role="banner" class="gds-navbar__inner-container w-nav"><div class="w-layout-blockcontainer gds-navbar__content w-container"><div class="w-layout-blockcontainer gds-navbar__logo-wrapper w-container"><a href="/" aria-current="page" class="gds-navbar__logo-link w-nav-brand w--current"><img sizes="(max-width: 767px) 98vw, (max-width: 991px) 95vw, 940.0000610351562px" srcset="https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/673b407e535dbf3b54717a24_galois%2520white%2520and%2520yellow%25404x-p-500.png 500w, https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/673b407e535dbf3b54717a24_galois%2520white%2520and%2520yellow%25404x-p-800.png 800w, https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/673b407e535dbf3b54717a24_galois%2520white%2520and%2520yellow%25404x-p-1080.png 1080w, https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/673b407e535dbf3b54717a24_galois%20white%20and%20yellow%404x.png 1995w" alt="" src="https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/673b407e535dbf3b54717a24_galois%20white%20and%20yellow%404x.png" class="gds-navbar__logo"/></a></div><div class="gds-navbar__top-level-links"><div class="header-middle"><nav role="navigation" class="header-nav-menu-wrapper w-nav-menu"><ul role="list" class="header-nav-menu-list"><li class="header-nav-list-item middle no-top-border"><div data-delay="0" data-hover="true" class="dropdown-wrapper w-dropdown"><div class="dropdown-toggle w-dropdown-toggle"><div>Our Work</div><img loading="lazy" src="https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/673b407e535dbf3b54717a3d_Chevron%20Down.svg" alt="" class="dropdown-arrow"/></div><nav class="dropdown-column-wrapper w-dropdown-list"><div class="gds-subnav__card dropdown-card"><ul role="list" class="list-wrapper"><li class="list-item has-sub-items"><a href="/research-and-development" class="gds-sub-item__link w-inline-block"><div class="display-inline-block"><div class="gds-subnav__primary-link">Research</div></div></a></li><li class="list-item gds-sub-item"><a href="/research/cryptography" class="gds-sub-item__link color-neutral-400 w-inline-block"><div class="display-inline-block"><div class="gds-sub-item__link-text">Advanced Cryptography & Privacy</div></div></a></li><li class="list-item gds-sub-item"><a href="/research/ai-ml" class="gds-sub-item__link color-neutral-400 w-inline-block"><div class="display-inline-block"><div class="gds-sub-item__link-text">AI / ML and Data Science</div></div></a></li><li class="list-item gds-sub-item"><a href="/research/rigorous-digital-engineering" class="gds-sub-item__link w-inline-block"><div class="display-inline-block"><div class="gds-sub-item__link-text">Rigorous Digital Engineering</div></div></a></li><li class="list-item gds-sub-item last-sub-item"><a href="/research/software-systems-analysis" class="gds-sub-item__link color-neutral-400 w-inline-block"><div class="display-inline-block"><div class="gds-sub-item__link-text">Software & Systems Analysis</div></div></a></li><li class="list-item has-sub-items"><a href="/solutions" class="gds-sub-item__link color-neutral-400 w-inline-block"><div class="display-inline-block"><div class="gds-subnav__primary-link">Solutions</div></div></a></li><li class="list-item gds-sub-item"><a href="/solutions/aerospace-defense" class="gds-sub-item__link color-neutral-400 w-inline-block"><div class="display-inline-block"><div class="gds-sub-item__link-text">Aerospace & Defense</div></div></a></li><li class="list-item gds-sub-item"><a href="/solutions/automotive" class="gds-sub-item__link color-neutral-400 w-inline-block"><div class="display-inline-block"><div class="gds-sub-item__link-text">Automotive</div></div></a></li><li class="list-item gds-sub-item"><a href="/solutions/critical-systems" class="gds-sub-item__link color-neutral-400 w-inline-block"><div class="display-inline-block"><div class="gds-sub-item__link-text">Critical Systems</div></div></a></li><li class="list-item gds-sub-item"><a href="/solutions/fintech" class="gds-sub-item__link color-neutral-400 w-inline-block"><div class="display-inline-block"><div class="gds-sub-item__link-text">Fintech</div></div></a></li><li class="list-item gds-sub-item"><a href="/solutions/healthcare" class="gds-sub-item__link color-neutral-400 w-inline-block"><div class="display-inline-block"><div class="gds-sub-item__link-text">Healthcare</div></div></a></li><li class="list-item gds-sub-item last-sub-item"><a href="/solutions/semiconductors" class="gds-sub-item__link color-neutral-400 w-inline-block"><div class="display-inline-block"><div class="gds-sub-item__link-text">Semiconductors</div></div></a></li><li class="list-item no-bottom-margin"><a href="/projects" class="gds-sub-item__link color-neutral-400 w-inline-block"><div class="display-inline-block"><div class="gds-subnav__primary-link">Projects</div></div></a></li></ul></div></nav></div></li><li class="header-nav-list-item middle"><div data-delay="0" data-hover="true" class="dropdown-wrapper w-dropdown"><div class="dropdown-toggle link w-dropdown-toggle"><div>Tools</div><img loading="lazy" src="https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/673b407e535dbf3b54717a3d_Chevron%20Down.svg" alt="" class="dropdown-arrow"/></div><nav class="dropdown-column-wrapper w-dropdown-list"><div class="gds-subnav__card dropdown-card"><ul role="list" class="list-wrapper"><li class="list-item"><a href="https://galois-1.gitbook.io/galois-docs/camet" class="gds-sub-item__link color-neutral-400 w-inline-block"><div class="display-inline-block"><div class="gds-subnav__primary-link">CAMET</div></div></a></li><li class="list-item"><a href="https://galois-1.gitbook.io/galois-docs/cryptol" class="gds-sub-item__link color-neutral-400 w-inline-block"><div class="display-inline-block"><div class="gds-subnav__primary-link">Cryptol</div></div></a></li><li class="list-item"><a href="https://galois-1.gitbook.io/galois-docs/saw" class="gds-sub-item__link color-neutral-400 w-inline-block"><div class="display-inline-block"><div class="gds-subnav__primary-link">SAW</div></div></a></li><li class="list-item"><a href="https://galois-1.gitbook.io/galois-docs/swanky" class="gds-sub-item__link color-neutral-400 w-inline-block"><div class="display-inline-block"><div class="gds-subnav__primary-link">Swanky</div></div></a></li><li class="list-item"><a href="http://tools.galois.com/c2rust" class="gds-sub-item__link color-neutral-400 w-inline-block"><div class="display-inline-block"><div class="gds-subnav__primary-link">C2Rust</div></div></a></li><li class="list-item no-bottom-margin"><a href="https://github.com/GaloisInc/" target="_blank" class="gds-sub-item__link color-neutral-400 w-inline-block"><div class="display-inline-block"><div class="gds-subnav__primary-link">View All Tools on Github</div></div></a></li></ul></div></nav></div></li><li class="header-nav-list-item middle"><div data-delay="0" data-hover="true" class="dropdown-wrapper w-dropdown"><div class="dropdown-toggle w-dropdown-toggle"><div>News & Insights</div><img loading="lazy" src="https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/673b407e535dbf3b54717a3d_Chevron%20Down.svg" alt="" class="dropdown-arrow"/></div><nav class="dropdown-column-wrapper w-dropdown-list"><div class="gds-subnav__card dropdown-card"><ul role="list" class="list-wrapper"><li class="list-item has-sub-items"><a href="/news-insights" class="gds-sub-item__link w-inline-block"><div class="display-inline-block"><div class="gds-subnav__primary-link">All News & Insights</div></div></a></li><li class="list-item gds-sub-item"><a href="/blog" class="gds-sub-item__link color-neutral-400 w-inline-block"><div class="display-inline-block"><div class="text-block-6 gds-sub-item__link-text">Blog</div></div></a></li><li class="list-item gds-sub-item"><a href="/news" class="gds-sub-item__link color-neutral-400 w-inline-block"><div class="display-inline-block"><div class="gds-sub-item__link-text">News</div></div></a></li><li class="list-item gds-sub-item last-sub-item"><a href="/tech-talks" class="gds-sub-item__link color-neutral-400 w-inline-block"><div class="display-inline-block"><div class="gds-sub-item__link-text">Tech Talks</div></div></a></li><li class="list-item no-bottom-margin"><a href="/publications" class="gds-sub-item__link color-neutral-400 w-inline-block"><div class="display-inline-block"><div class="gds-subnav__primary-link">Publications</div></div></a></li></ul></div></nav></div></li><li class="header-nav-list-item middle"><div data-delay="0" data-hover="true" class="dropdown-wrapper w-dropdown"><div class="dropdown-toggle w-dropdown-toggle"><div>About Us</div><img loading="lazy" src="https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/673b407e535dbf3b54717a3d_Chevron%20Down.svg" alt="" class="dropdown-arrow"/></div><nav class="dropdown-column-wrapper w-dropdown-list"><div class="gds-subnav__card dropdown-card"><ul role="list" class="list-wrapper"><li class="list-item"><a href="/about" class="gds-sub-item__link color-neutral-400 w-inline-block"><div class="display-inline-block"><div class="gds-subnav__primary-link">Who We Are</div></div></a></li><li class="list-item"><a href="/life-at-galois" class="gds-sub-item__link color-neutral-400 w-inline-block"><div class="display-inline-block"><div class="gds-subnav__primary-link">Life at Galois</div></div></a></li><li class="list-item"><a href="/careers" class="gds-sub-item__link color-neutral-400 w-inline-block"><div class="display-inline-block"><div class="gds-subnav__primary-link">Careers</div></div></a></li><li class="list-item no-bottom-margin"><a href="/team" class="gds-sub-item__link color-neutral-400 w-inline-block"><div class="display-inline-block"><div class="gds-subnav__primary-link">Team</div></div></a></li></ul></div></nav></div></li></ul></nav></div></div><div class="w-layout-blockcontainer gds-navbar__cta w-container"><div class="gds-navbar__cta-inner-wrapper"><div fs-modal-element="open" class="gds-navbar__cta-buttons-wrapper"><a href="#" class="gds-button--outline w-button">Get started</a></div><div class="gds-navbar__hamburger-menu-wrapper w-nav-button"><div class="gds-navbar__hamburger-menu-bar top"></div><div class="gds-navbar__hamburger-menu-bar bottom"></div></div></div></div></div><div fs-modal-element="modal" class="gds-modal-backdrop global-modal"><section class="gds-modal"><div class="gds-modal__inner-wrapper"><h3 class="gds-modal__heading">GET IN TOUCH</h3><p class="gds-modal__body">We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.</p><a href="#" class="gds-button-close w-inline-block"><img fs-modal-element="close" loading="lazy" alt="" src="https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/673b407e535dbf3b54717a60_icon-close.svg" class="gds-icon__close"/></a></div><div class="w-layout-blockcontainer gds-modal__footer w-container"><div class="gds-modal__footer-columns w-row"><div class="gds-modal__footer-column w-col w-col-4"><h6 class="gds-label">Email</h6><a href="mailto:contact@galois.com?subject=Website%20Inquiry" class="gds-inline-link gds-inline-link--secondary">contact@galois.com</a></div><div class="gds-modal__footer-column w-col w-col-4"><h6 class="gds-label">PHONE</h6><a href="tel:1-503-626-6616" class="gds-inline-link gds-inline-link--secondary">503.626.6616</a></div><div class="gds-modal__footer-column last-column w-col w-col-4"></div></div></div></section></div></div></div></section><div class="gds-video--desktop gds-video--absolute w-embed w-iframe"> <style> .video-container-desktop { position: relative; width: 100%; padding-bottom: 56.25%; /* 16:9 aspect ratio */ height: 0; overflow: hidden; background-image: url('https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/677c6c39eb961ee73f884a1f_website_loop_desktop_v4%20-%20Still%202.png'); background-size: cover; background-position: center center; } .video-container-desktop iframe { position: absolute; top: 0; left: 0; width: 100%; height: 100%; } </style> <div class="video-container-desktop"> <iframe src="https://player.vimeo.com/video/1044484541?title=0&byline=0&portrait=0&badge=0&autopause=0&player_id=0&autoplay=1&loop=1&autopause=0&background=1" width="1920" height="1080" frameborder="0" allow="autoplay; fullscreen; picture-in-picture; clipboard-write" title="Website Loop_Desktop V2"></iframe> </div></div><div class="gds-video--tablet-down gds-video-absolute w-embed w-iframe w-script"> <style> .video-container-mobile { position: relative; width: 100%; padding-bottom: 125%; /* 4:5 aspect ratio */ height: 0; overflow: hidden; background: url('https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/677c55d5d19a412259611e55_website_loop_mobile_v3%20(1080p).png') no-repeat center center; background-size: cover; } .video-container-mobile iframe { position: absolute; top: 0; left: 0; width: 100%; height: 100%; } </style> <div class="video-container-mobile"> <iframe id="vimeoPlayer" src="https://player.vimeo.com/video/1044484511?title=0&byline=0&portrait=0&badge=0&autopause=0&player_id=3&app_id=58479&autoplay=1&loop=1&background=1&muted=1" width="100%" height="100%" frameborder="0" allow="autoplay; fullscreen;" title="Galois Website Loop_Mobile" style="display: none;"></iframe> </div> <script src="https://player.vimeo.com/api/player.js"></script> <script> document.addEventListener("DOMContentLoaded", function() { var iframe = document.getElementById('vimeoPlayer'); var container = document.querySelector('.video-container-mobile'); var player = new Vimeo.Player(iframe); player.on('play', function() { setTimeout(function() { iframe.style.display = 'block'; container.style.background = 'none'; }, 500); // Delay in milliseconds }); player.getPaused().then(function(paused) { if (!paused) { setTimeout(function() { iframe.style.display = 'block'; container.style.background = 'none'; }, 500); } }); }); </script></div><div class="w-layout-blockcontainer gds-hero-video-overlay w-container"></div><h6 class="hero-eyebrow u-mobile--decrease">MAKING YOUR IMPORTANT SYSTEMS</h6><div class="rotate-wrap"><h1 class="rotatingtext">Trustworthy</h1><h1 class="rotatingtext">Reliable</h1><h1 class="rotatingtext">Secure</h1><h1 class="rotatingtext">Explainable</h1><h1 class="rotatingtext">Compliant</h1></div><div class="w-embed"><style> .rotatingtext { transform: translateY(143px); -webkit-transform: translateY(143px); animation: rotate 10s infinite; transition-timing-function: cubic-bezier(0.2,0.5,0.3,1); line-height: 143px; height: 143px; @media(max-width: 767px) { transform: translateY(80px); -webkit-transform: translateY(80px); line-height: 80px; height: 80px; } } .rotatingtext:nth-of-type(2) { animation-delay: 2s; } .rotatingtext:nth-of-type(3) { animation-delay: 4s; } .rotatingtext:nth-of-type(4) { animation-delay: 6s; } .rotatingtext:nth-of-type(5) { animation-delay: 8s; } @keyframes rotate { /* Text is positioned below the wrap */ 0% { transform: translateY(143px); -webkit-transform: translateY(143px); @media(max-width: 568px){ transform: translateY(80px); -webkit-transform: translateY(80px); } } /* Move text up and make it visible */ 5% { transform: translate3d(0, 0, 0); -webkit-transform: translate3d(0, 0, 0); } /* Keep text visible for 18% of the duration */ 18% { transform: translate3d(0, 0, 0); -webkit-transform: translate3d(0, 0, 0); } /* Move text up and out */ 22% { transform: translateY(-143px); -webkit-transform: translateY(-143px); @media(max-width: 568px){ transform: translateY(-80px); -webkit-transform: translateY(-80px); } } /* Stay hidden for the rest of the time */ 100% { transform: translateY(-143px); -webkit-transform: translateY(-143px); @media(max-width: 568px){ transform: translateY(-80px); -webkit-transform: translateY(-80px); } } } </style></div></section><div class="gds-logos-marquee"><div class="embed w-embed"><style> /* Animation for the first right to left marquee */ @keyframes slide { 0% { transform: translateX( calc(0% + 40px)); } 100% { transform: translateX(-100%); } } .logo-animate { animation: slide 100s infinite linear; /* Adjust the seconds for a slower or faster animation */ } /* Animation for the second left to right marquee */ @keyframes slidealt { 0% { transform: translateX( calc(0% + 40px)); } 100% { transform: translateX(-100%); } } .logo-animate-alt { animation: slidealt 100s infinite linear; /* Adjust the seconds for a slower or faster animation */ animation-direction: reverse; } </style></div><div class="overline">TRUSTED BY:</div><div class="home-logo-wrapper"><div class="clients-grid logo-animate"><h3 class="client-logo-text">Amazon Web Services</h3><h3 class="client-logo-text">NIST</h3><h3 class="client-logo-text">DARPA</h3><h3 class="client-logo-text">NASA</h3><h3 class="client-logo-text">U.S. Department of Defense</h3><h3 class="client-logo-text">U.S. ARMY</h3><h3 class="client-logo-text">U.S. NAVY</h3><h3 class="client-logo-text">U.S. AIR FORCE</h3><h3 class="client-logo-text">AFRL</h3></div><div class="clients-grid logo-animate"><h3 class="client-logo-text">Amazon Web Services</h3><h3 class="client-logo-text">NIST</h3><h3 class="client-logo-text">DARPA</h3><h3 class="client-logo-text">NASA</h3><h3 class="client-logo-text">U.S. Department of Defense</h3><h3 class="client-logo-text">U.S. ARMY</h3><h3 class="client-logo-text">U.S. NAVY</h3><h3 class="client-logo-text">U.S. AIR FORCE</h3><h3 class="client-logo-text">AFRL</h3></div><div class="clients-grid logo-animate"><h3 class="client-logo-text">Amazon Web Services</h3><h3 class="client-logo-text">NIST</h3><h3 class="client-logo-text">DARPA</h3><h3 class="client-logo-text">NASA</h3><h3 class="client-logo-text">U.S. Department of Defense</h3><h3 class="client-logo-text">U.S. ARMY</h3><h3 class="client-logo-text">U.S. NAVY</h3><h3 class="client-logo-text">U.S. AIR FORCE</h3><h3 class="client-logo-text">AFRL</h3></div><div class="home-logo-left-gradient"></div><div class="home-logo-left-gradient right"></div></div></div><div class="gds-fixed-gradient-bg gds-homepage-fixed-gradient-bg"></div><section fade-in="" class="gds-section u-padding-top-lg u-padding-bottom-lg"><div class="gds-section__inner-wrapper"><div class="gds-2col-text"><div class="gds-text-group"><h6 class="heading-style-eyebrow hp-section-eyebrow">WHO WE ARE</h6><h2 class="gds-text-group__heading">GALOIS DELIVERS RELIABILITY</h2><p class="text-size-medium">For nearly 25 years, Galois has combined mathematical rigor with curious creativity to cut through complexity and guarantee trustworthiness in the world’s most critical systems.</p></div><img src="https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/6762d569c702a94efba85af6_photo-card1.png" loading="lazy" sizes="(max-width: 1279px) 100vw, 1238.0035400390625px" srcset="https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/6762d569c702a94efba85af6_photo-card1-p-500.png 500w, https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/6762d569c702a94efba85af6_photo-card1-p-800.png 800w, https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/6762d569c702a94efba85af6_photo-card1-p-1080.png 1080w, https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/6762d569c702a94efba85af6_photo-card1.png 1238w" alt="A group of Galois employees sitting around a wooden table in a glass conference room."/></div></div></section><section class="gds-section u-padding-bottom-lg tablet-down__u-padding-top-lg"><div class="gds-section__inner-wrapper"><div fade-in="" class="heading-group projects-heading"><h6 class="heading-group__eyebrow heading-style-eyebrow">WHAT WE DO</h6><h2 id="w-node-ab6f41e0-81b5-db87-c3d1-7f95b50adc7b-460e2e92" class="heading-group__heading">Custom research & engineering</h2><p class="text-size-medium">Our computer scientists, cryptographers, mathematicians, and cognitive scientists conduct cutting-edge research and development with real-world impact.<br/> <br/>Explore some of our case studies.</p></div><div class="w-dyn-list"><div fade-list="" role="list" class="gds-card-grid-3up w-dyn-items"><div role="listitem" class="gds-project-item-wrapper w-dyn-item"><div class="gds-card card--project"><a href="/project/sieve" class="gds-card__link-block gds-card--project w-inline-block"><div class="gds-card__heading-summary-wrapper"><h4 fs-cmsfilter-field="name" class="gds-project-card__heading">SIEVE</h4><p fs-cmsfilter-field="summary" class="gds-project-card__summary">Securing Information for Encrypted Verification and Evaluation</p></div><div class="gds-card__link">VIEW PROJECT</div></a></div></div><div role="listitem" class="gds-project-item-wrapper w-dyn-item"><div class="gds-card card--project"><a href="/project/essence" class="gds-card__link-block gds-card--project w-inline-block"><div class="gds-card__heading-summary-wrapper"><h4 fs-cmsfilter-field="name" class="gds-project-card__heading">ESSENCE</h4><p fs-cmsfilter-field="summary" class="gds-project-card__summary">Revolutionizing Cyber-Physical System Design with AI-Assisted Tools</p></div><div class="gds-card__link">VIEW PROJECT</div></a></div></div><div role="listitem" class="gds-project-item-wrapper w-dyn-item"><div class="gds-card card--project"><a href="/project/lagoon" class="gds-card__link-block gds-card--project w-inline-block"><div class="gds-card__heading-summary-wrapper"><h4 fs-cmsfilter-field="name" class="gds-project-card__heading">LAGOON</h4><p fs-cmsfilter-field="summary" class="gds-project-card__summary">An analysis tool for open-source communities</p></div><div class="gds-card__link">VIEW PROJECT</div></a></div></div></div></div><div class="gds-more-projects-btn-wrapper"><a href="/projects" class="gds-button--outline w-button">View all projects</a></div></div></section><section class="gds-section"><div class="gds-section__inner-wrapper u-padding-bottom-lg"><div fade-in="" class="heading-group choose-path"><h2 id="w-node-_39f968d7-8f4a-2b63-6b7f-508761481fb4-460e2e92">GALOIS CAN HELP</h2><p class="text-size-medium">Our tools and solutions protect national security, financial transactions, and private data for millions across defense, fintech, and cloud applications. <br/>‍<br/>How can we help you?</p></div><div class="cards_2up container-medium"><div fade-list="" class="gds-card-grid-2up"><div class="gds-card gds-card--feature"><a href="/research-and-development" class="gds-card__link-block w-inline-block"><div class="card_inner-content u-left-aligned"><h4 class="card--feature_heading u-left-aligned">Research & Development</h4><p class="text-size-regular paragraph margin-bottom margin-small">We believe trustworthy systems are built on a formal mathematical foundation. Our researchers apply formal analysis techniques to the design and verification of critical software systems, allowing us to model, analyze, and mathematically prove that a system behaves exactly as intended under all circumstances.</p><div class="gds-card__link">LEARN MORE</div></div><img src="https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/673b407e535dbf3b54717b43_research-areas.png" loading="lazy" sizes="(max-width: 1279px) 100vw, 1024.0018310546875px" srcset="https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/673b407e535dbf3b54717b43_research-areas-p-500.png 500w, https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/673b407e535dbf3b54717b43_research-areas-p-800.png 800w, https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/673b407e535dbf3b54717b43_research-areas.png 1024w" alt="" class="image"/></a></div><div class="gds-card gds-card--feature"><a href="/solutions" class="gds-card__link-block w-inline-block"><div class="card_inner-content u-left-aligned"><h4 class="card--feature_heading">Solutions</h4><p class="text-size-regular paragraph margin-bottom margin-small">Galois leverages our cutting-edge research to deliver high-assurance solutions and tools that enhance security, reliability, and operational efficiency across sectors including aerospace & defense, healthcare, automotive, semiconductors, fintech, and enterprise IT.</p><div class="gds-card__link">LEARN MORE</div></div><img src="https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/6773f8b816263cf764dfb44a_Solutions%20Alt2.png" loading="lazy" sizes="(max-width: 1279px) 100vw, 1024.0018310546875px" srcset="https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/6773f8b816263cf764dfb44a_Solutions%20Alt2-p-500.png 500w, https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/6773f8b816263cf764dfb44a_Solutions%20Alt2-p-800.png 800w, https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/6773f8b816263cf764dfb44a_Solutions%20Alt2.png 1024w" alt="" class="image"/></a></div></div></div></div></section><section fade-in="" class="gds-cta-section u-padding-top-lg u-padding-bottom-lg"><div class="gds-section__inner-wrapper"><div class="heading-group"><h2 id="w-node-_3c34331a-fc26-5e0a-ef8b-a5452c3e4598-2c3e4595" class="gds-cta-section__heading">READY TO GET STARTED?</h2><p class="gds-cta-section__body">Get in touch with a Galois team member today.</p><div fs-modal-element="open" class="gds-cta-section__cta-wrapper"><a href="#" class="button--primary nav-button w-button">Get started</a></div></div></div></section><div class="gds-footer gds-section"><div class="gds-section__inner-wrapper"><div class="gds-footer__primary-section"><div class="w-layout-blockcontainer logo-contact-wrapper w-container"><div class="w-layout-blockcontainer gds-navbar__logo-wrapper w-container"><a href="/old-home" class="gds-navbar__logo-link w-nav-brand"><img sizes="(max-width: 767px) 98vw, (max-width: 991px) 95vw, 940.0000610351562px" srcset="https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/673b407e535dbf3b54717a24_galois%2520white%2520and%2520yellow%25404x-p-500.png 500w, https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/673b407e535dbf3b54717a24_galois%2520white%2520and%2520yellow%25404x-p-800.png 800w, https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/673b407e535dbf3b54717a24_galois%2520white%2520and%2520yellow%25404x-p-1080.png 1080w, https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/673b407e535dbf3b54717a24_galois%20white%20and%20yellow%404x.png 1995w" alt="" src="https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/673b407e535dbf3b54717a24_galois%20white%20and%20yellow%404x.png" class="gds-navbar__logo"/></a></div><p class="footer-contact-wrapper"><a href="https://goo.gl/maps/cRzPpKEF6eD2" target="_blank">‍</a><strong>T</strong> <a href="tel:15036266616">503.626.6616</a><br/><strong>E </strong><a href="mailto:contact@galois.com">contact@galois.com</a></p></div><div class="grid-sec-1 footer-spacer"></div><div class="grid-sec-1"><p class="paragraph-4"><strong>Portland, OR<br/></strong>421 SW 6th Avenue, Suite 300<br/>Portland, Oregon 97204<br/><a href="https://www.google.com/maps/place/Galois,+Inc./@45.520811,-122.678081,17z/data=!4m6!1m3!3m2!1s0x54950a04159ece0f:0x36857895c75e27d7!2sGalois,+Inc.!3m1!1s0x54950a04159ece0f:0x36857895c75e27d7" target="_blank"><br/><strong>‍</strong></a><strong>Arlington, VA<br/></strong>901 N Stuart Street, Suite 501<br/>Arlington, Virginia 22203</p></div><div class="grid-sec-1"><p class="paragraph-4"><a href="https://goo.gl/maps/pxFK95q48t32" target="_blank"><strong>‍</strong></a><strong>Minneapolis, MN<br/></strong>111 Third Avenue South, Suite 350<br/>Minneapolis, MN 55401<a href="https://maps.app.goo.gl/csQrxYhmMPHDXLZJA" target="_blank" class="link-2"><br/><br/><strong>‍</strong></a><strong>Dayton, OH</strong><br/>444 E 2nd Street<br/>Dayton, Ohio 45402</p></div></div><div class="gds-footer__secondary-section"><p class="legal-info">© Copyright Galois, Inc. 2024. All Rights Reserved | <a href="/terms-of-use" class="gds-footer__secondary-section-link">Terms of Use</a> | <a href="/privacy-policy" class="gds-footer__secondary-section-link">Privacy Policy</a></p><div class="socials-in-footer"><a href="https://github.com/GaloisInc/" target="_blank" class="social-link-nav icon-github w-inline-block"><img src="https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/673b407e535dbf3b54717b38_icon-github.png" loading="lazy" alt="" class="social-link-img"/></a><a href="https://www.linkedin.com/company/galois-inc-/" target="_blank" class="social-link-nav icon-github w-inline-block"><img src="https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/673b407e535dbf3b54717b36_icon-linkedin.png" loading="lazy" alt="" class="social-link-img"/></a><a href="http://vezadigital.com/webflow-form" target="_blank" class="social-link-nav icon-github w-inline-block"><img src="https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/673b407e535dbf3b54717b2c_icon-x.png" loading="lazy" alt="" class="social-link-img"/></a><a href="https://www.youtube.com/galoisinc" target="_blank" class="social-link-nav icon-github w-inline-block"><img src="https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/673b407e535dbf3b54717b27_icon-youtube.png" loading="lazy" alt="" class="social-link-img"/></a><a href="https://galois.com/feed/" target="_blank" class="social-link-nav icon-github last-item w-inline-block"><img src="https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/673b407e535dbf3b54717b37_icon-rss.png" loading="lazy" alt="" class="social-link-img"/></a></div></div></div></div><div class="gsap---fade-in-animation w-embed w-script"><script> window.Webflow ||= []; window.Webflow.push(() => { // Register the GSAP ScrollTrigger plugin gsap.registerPlugin(ScrollTrigger); // Select all elements with the "fade-in" attribute const fadeInElements = gsap.utils.toArray("[fade-in]"); // Apply GSAP animation to each element fadeInElements.forEach((fadeInElement) => { gsap.fromTo( fadeInElement, { opacity: 0, y: 20 }, // Initial state { opacity: 1, // End state y: 0, duration: 0.5, // Animation duration scrollTrigger: { trigger: fadeInElement, // Set trigger element start: "top 82%", // Animation starts when the top of the element reaches 60% of the viewport end: "bottom 50%", // Animation ends when the bottom reaches 50% markers: false, toggleActions: "play none none reverse", // Play on scroll down, reverse on scroll up } } ); }); // Select all elements with the "fade-in" attribute const fadeInLists = gsap.utils.toArray("[fade-list]"); // Apply GSAP animation to each element fadeInLists.forEach((fadeInList) => { gsap.fromTo( fadeInList.children, { opacity: 0, y: 20 }, // Initial state { opacity: 1, // End state y: 0, duration: 0.5, // Animation duration stagger: 0.4, scrollTrigger: { trigger: fadeInList, // Set trigger element start: "top 82%", // Animation starts when the top of the element reaches 60% of the viewport end: "bottom 50%", // Animation ends when the bottom reaches 50% markers: false, toggleActions: "play none none reverse", // Play on scroll down, reverse on scroll up } } ); }); setTimeout(() => { ScrollTrigger.refresh(true); }, 1500); }); </script></div><div class="gsap---fade-in-animation w-embed w-script"><script> window.Webflow ||= []; window.Webflow.push(() => { // Register the GSAP ScrollTrigger plugin gsap.registerPlugin(ScrollTrigger); // Select all elements with the "fade-in" attribute const fadeInElements = gsap.utils.toArray("[fade-in]"); // Apply GSAP animation to each element fadeInElements.forEach((fadeInElement) => { gsap.fromTo( fadeInElement, { opacity: 0, y: 20 }, // Initial state { opacity: 1, // End state y: 0, duration: 0.5, // Animation duration scrollTrigger: { trigger: fadeInElement, // Set trigger element start: "top 85%", // Animation starts when the top of the element reaches 60% of the viewport end: "bottom 50%", // Animation ends when the bottom reaches 50% markers: false, toggleActions: "play none none reverse", // Play on scroll down, reverse on scroll up } } ); }); // Select all elements with the "fade-in" attribute const fadeInLists = gsap.utils.toArray("[fade-list]"); // Apply GSAP animation to each element fadeInLists.forEach((fadeInList) => { gsap.fromTo( fadeInList.children, { opacity: 0, y: 20 }, // Initial state { opacity: 1, // End state y: 0, duration: 0.5, // Animation duration stagger: 0.4, scrollTrigger: { trigger: fadeInList, // Set trigger element start: "top 85%", // Animation starts when the top of the element reaches 60% of the viewport end: "bottom 50%", // Animation ends when the bottom reaches 50% markers: false, toggleActions: "play none none reverse", // Play on scroll down, reverse on scroll up } } ); }); setTimeout(() => { ScrollTrigger.refresh(true); }, 1500); }); </script></div><script src="https://d3e54v103j8qbb.cloudfront.net/js/jquery-3.5.1.min.dc5e7f18c8.js?site=673b407e535dbf3b547179dd" type="text/javascript" integrity="sha256-9/aliU8dGd2tb6OSsuzixeV4y/faTqgFtohetphbbj0=" crossorigin="anonymous"></script><script src="https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/js/webflow.schunk.86d8985fcdb425b7.js" type="text/javascript"></script><script src="https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/js/webflow.schunk.4f777243ccbbad2d.js" type="text/javascript"></script><script src="https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/js/webflow.schunk.d58e8607ac79fecf.js" type="text/javascript"></script><script src="https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/js/webflow.schunk.f60b38a82e2a1b2a.js" type="text/javascript"></script><script src="https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/js/webflow.ab0eb0a6.a200f81aded84495.js" type="text/javascript"></script><script src="https://cdn.jsdelivr.net/npm/gsap@3.12.5/dist/gsap.min.js"></script> <script src="https://cdn.jsdelivr.net/npm/gsap@3.12.5/dist/ScrollTrigger.min.js"></script> <script> //Hide any empty collection lists document.addEventListener('DOMContentLoaded', function () { // Select all Webflow collection lists on the page if(document.querySelectorAll('.hide-section-if-empty').length > 0){ var allParentSections = document.querySelectorAll('.hide-section-if-empty'); allParentSections.forEach(function (parentSection) { var cmsList = parentSection.querySelectorAll('.w-dyn-list'); if(cmsList.length > 0){ // Check if the collection list has any items if (cmsList[0].querySelectorAll('.w-dyn-item').length === 0) { // If no items exist, hide the parent section if (parentSection) { parentSection.classList.add('gds-hidden-section'); } } else { // Ensure the section is visible if items exist if (parentSection) { parentSection.classList.remove('gds-hidden-section'); } } } }); } }); </script></body></html>