CINXE.COM

<!DOCTYPE html><html data-wf-domain="www.galois.com" data-wf-page="673b407e535dbf3b547179f5" data-wf-site="673b407e535dbf3b547179dd" lang="en" data-wf-locale="en"><head><meta charset="utf-8"/><title>News</title><meta content="News" property="og:title"/><meta content="News" property="twitter: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> <script id="finsweet-cmsload" defer src="https://cdn.jsdelivr.net/npm/@finsweet/attributes-cmsload@1/cmsload.js"></script>  <script id="finsweet-cmsfilter" defer src="https://cdn.jsdelivr.net/npm/@finsweet/attributes-cmsfilter@1/cmsfilter.js"></script>  <script id="finsweet-cmsselect" defer src="https://cdn.jsdelivr.net/npm/@finsweet/attributes-cmsselect@1/cmsselect.js"></script> <script> // Wait for all Finsweet scripts to load const cmsLoadScript = document.getElementById('finsweet-cmsload'); const cmsFilterScript = document.getElementById('finsweet-cmsfilter'); const cmsSelectScript = document.getElementById('finsweet-cmsselect'); // Function to organize select options into optgroups function organizeSelectOptions() { // Select the <select> element const selectElement = document.getElementById('categories-dropdown-filter'); // Function to move options into an optgroup function moveOptionsToOptGroup(optGroupLabel, criteria) { // Create the optgroup element const optGroup = document.createElement('optgroup'); optGroup.label = optGroupLabel; // Loop through each option in the select element const options = Array.from(selectElement.options); options.forEach(function(option) { // Check if the option should be moved to this optgroup if (criteria(option)) { optGroup.appendChild(option); // Move the option to the optgroup } }); // Append the optgroup to the select element selectElement.appendChild(optGroup); } // Move options to "Research Areas" optgroup moveOptionsToOptGroup('Research Areas', function(option) { return ['Advanced Cryptography & Privacy', 'Artificial Intelligence & Machine Learning', 'Rigorous Digital Engineering', 'Software & Systems Analysis'].includes(option.value); }); // Move options to "Solutions" optgroup moveOptionsToOptGroup('Solutions', function(option) { return ['Aerospace & Defense', 'Automotive', 'Critical Systems', 'Fintech', 'Healthcare', 'Semiconductors'].includes(option.value); }); // Move options to "Solutions" optgroup moveOptionsToOptGroup('Other', function(option) { return ['Conferences', 'Highlights', 'Human Factors', 'Life at Galois'].includes(option.value); }); } // Function to execute when the page loads function onPageLoad() { organizeSelectOptions(); // Hook into Finsweet's CMS Load and CMS Filter callbacks window.fsAttributes = window.fsAttributes || []; window.fsAttributes.push([ 'cmsload', (data) => { // Callback for CMS load (pagination) }, ]); window.fsAttributes.push([ 'cmsfilter', (data) => { }, ]); } // Check when all scripts have loaded let finsweetScriptsLoaded = 0; function checkScriptsLoaded() { finsweetScriptsLoaded++; if (finsweetScriptsLoaded === 3) { // Delay execution slightly to ensure scripts are fully ready setTimeout(onPageLoad, 500); } } // Add event listeners to each Finsweet script to ensure they have all loaded cmsLoadScript.addEventListener('load', checkScriptsLoaded); cmsFilterScript.addEventListener('load', checkScriptsLoaded); cmsSelectScript.addEventListener('load', checkScriptsLoaded); </script></head><body class="background-color-primary text-color-primary"><div class="w-layout-blockcontainer gradient-bg-primary w-container"><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="/" 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><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" aria-current="page" class="gds-sub-item__link color-neutral-400 w-inline-block w--current"><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><section class="gds-section"><div class="w-layout-blockcontainer gds-section__inner-wrapper u-component-padding-large w-container"><div class="hero_text-group--centered heading-group"><h6 class="heading-style-eyebrow margin-bottom margin-small"></h6><h1 id="w-node-f62021d5-7827-055c-9f45-73cf97a410e9-97a410e6">News</h1><p class="text-size-medium"><br/></p></div></div></section><div fs-cmsload-element="scroll-anchor" class="gds-filter-row"><div fs-cmsfilter-element="filters" class="gds-section__inner-wrapper w-form"><form id="email-form" name="email-form" data-name="Email Form" method="get" class="gds-filter-form" data-wf-page-id="673b407e535dbf3b547179f5" data-wf-element-id="62f679d6-0c75-c6a7-fa7d-f07a35cdba11"><div class="gds-filter-form__input-group"><div class="gds-label">FILTER BY:</div><div class="gds-filter-group"><select id="categories-dropdown-filter" name="Categories-Dropdown-Filter" data-name="Categories Dropdown Filter" fs-cmsfilter-field="categories" fs-cmsselect-element="select" class="gds-filter gds-filter--select gds-filter--large w-select"><option value="">All categories</option></select></div></div><div class="gds-filter-form__input-group"><div class="gds-label">SEARCH:</div><input class="gds-filter-search w-input" maxlength="256" name="Search-by-Name" fs-cmsfilter-field="name" data-name="Search by Name" placeholder="Search by name" type="text" id="Search-by-Name" required=""/></div><div class="gds-select-field-hidden-values w-dyn-list"><div role="list" class="w-dyn-items"><div role="listitem" class="w-dyn-item"><div fs-cmsselect-element="text-value">Conferences</div></div><div role="listitem" class="w-dyn-item"><div fs-cmsselect-element="text-value">Human Factors</div></div><div role="listitem" class="w-dyn-item"><div fs-cmsselect-element="text-value">Highlights</div></div><div role="listitem" class="w-dyn-item"><div fs-cmsselect-element="text-value">Life at Galois</div></div><div role="listitem" class="w-dyn-item"><div fs-cmsselect-element="text-value">Critical Systems</div></div><div role="listitem" class="w-dyn-item"><div fs-cmsselect-element="text-value">Fintech</div></div><div role="listitem" class="w-dyn-item"><div fs-cmsselect-element="text-value">Semiconductors</div></div><div role="listitem" class="w-dyn-item"><div fs-cmsselect-element="text-value">Automotive</div></div><div role="listitem" class="w-dyn-item"><div fs-cmsselect-element="text-value">Healthcare</div></div><div role="listitem" class="w-dyn-item"><div fs-cmsselect-element="text-value">Aerospace & Defense</div></div><div role="listitem" class="w-dyn-item"><div fs-cmsselect-element="text-value">Advanced Cryptography & Privacy</div></div><div role="listitem" class="w-dyn-item"><div fs-cmsselect-element="text-value">Artificial Intelligence & Machine Learning</div></div><div role="listitem" class="w-dyn-item"><div fs-cmsselect-element="text-value">Software & Systems Analysis</div></div><div role="listitem" class="w-dyn-item"><div fs-cmsselect-element="text-value">Rigorous Digital Engineering</div></div></div></div></form><div class="w-form-done"><div>Thank you! Your submission has been received!</div></div><div class="w-form-fail"><div>Oops! Something went wrong while submitting the form.</div></div></div></div><section class="gds-section u-padding-bottom-lg"><div class="w-layout-blockcontainer gds-section__inner-wrapper w-container"><div fs-cmsfilter-element="empty" class="gds-list-empty-state__text"><em>No results found. Try adjusting your filters or search terms to see more news.</em></div><div class="w-dyn-list"><div fs-cmsfilter-showquery="true" fs-cmsfilter-element="list" fs-cmsload-element="list" fs-cmsload-mode="pagination" role="list" class="gds-articles-collection w-dyn-items"><div role="listitem" class="gds-article-item-wrapper w-dyn-item"><div data-slug="galois-releases-new-versions-of-verification-tools-saw-cryptol-and-crux-april-2025" class="gds-article-item"><div class="gds-article-item"><a href="/articles/galois-releases-new-versions-of-verification-tools-saw-cryptol-and-crux-april-2025" class="gds-article-item__image-wrapper-link w-inline-block"><address data-color="teal" class="gds-article-item__image-wrapper"><img src="" loading="lazy" alt="" class="gds-article-item__image w-condition-invisible w-dyn-bind-empty"/><img src="https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news.png" loading="lazy" alt="" sizes="(max-width: 479px) 100vw, (max-width: 767px) 420px, (max-width: 991px) 55vw, (max-width: 1279px) 31vw, 416.005859375px" srcset="https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news-p-500.png 500w, https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news.png 800w" class="gds-article-item__image"/></address></a><div class="gds-article-item__card-wrapper"><a href="/articles/galois-releases-new-versions-of-verification-tools-saw-cryptol-and-crux-april-2025" class="gds-article-item__card-body-link w-inline-block"><div class="gds-article-item__card-body"><div class="gds-article-item__card-body-top"><h4 fs-cmsfilter-field="post_type" class="gds-article-item__type">News</h4><h4 fs-cmsfilter-field="name" class="gds-article-item__heading">Galois Releases New Versions of Verification Tools SAW, Cryptol, and Crux</h4><div class="gds-article-item__author-byline-wrapper"><div class="gds-article-item__author-byline">Galois</div></div></div><div class="gds-article-item__primary-link">Read more</div></div></a><div class="gds-article-item__categories-wrapper w-clearfix"><span class="gds-article-item__categories-byline">Tags: </span><div class="gds-article-item__categories-collection-list-wrapper w-dyn-list"><div role="list" class="gds-article-item__categories w-dyn-items"><div role="listitem" class="gds-article-item__category w-clearfix w-dyn-item"><a href="https://www.galois.com/news-insights?categories=Software+%26+Systems+Analysis" class="gds-article-item__category-link w-inline-block w-clearfix"><span fs-cmsfilter-field="categories" class="gds-article-item__category-text">Software & Systems Analysis</span></a></div><div role="listitem" class="gds-article-item__category w-clearfix w-dyn-item"><a href="https://galois.com/news-insights?categories=Advanced+Cryptography+%26+Privacy" class="gds-article-item__category-link w-inline-block w-clearfix"><span fs-cmsfilter-field="categories" class="gds-article-item__category-text">Advanced Cryptography & Privacy</span></a></div></div></div></div></div></div></div></div><div role="listitem" class="gds-article-item-wrapper w-dyn-item"><div data-slug="voxlet-team-advances-speech-anonymization-technology" class="gds-article-item"><div class="gds-article-item"><a href="/articles/voxlet-team-advances-speech-anonymization-technology" class="gds-article-item__image-wrapper-link w-inline-block"><address data-color="blue" class="gds-article-item__image-wrapper"><img src="" loading="lazy" alt="" class="gds-article-item__image w-condition-invisible w-dyn-bind-empty"/><img src="https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news.png" loading="lazy" alt="" sizes="(max-width: 479px) 100vw, (max-width: 767px) 420px, (max-width: 991px) 55vw, (max-width: 1279px) 31vw, 416.005859375px" srcset="https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news-p-500.png 500w, https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news.png 800w" class="gds-article-item__image"/></address></a><div class="gds-article-item__card-wrapper"><a href="/articles/voxlet-team-advances-speech-anonymization-technology" class="gds-article-item__card-body-link w-inline-block"><div class="gds-article-item__card-body"><div class="gds-article-item__card-body-top"><h4 fs-cmsfilter-field="post_type" class="gds-article-item__type">News</h4><h4 fs-cmsfilter-field="name" class="gds-article-item__heading">VOXLET Team Advances Speech Anonymization Technology </h4><div class="gds-article-item__author-byline-wrapper"><div class="gds-article-item__author-byline">Galois</div></div></div><div class="gds-article-item__primary-link">Read more</div></div></a><div class="gds-article-item__categories-wrapper w-clearfix"><span class="gds-article-item__categories-byline">Tags: </span><div class="gds-article-item__categories-collection-list-wrapper w-dyn-list"><div role="list" class="gds-article-item__categories w-dyn-items"><div role="listitem" class="gds-article-item__category w-clearfix w-dyn-item"><a href="https://galois.com/news-insights?categories=Artificial+Intelligence+%26+Machine+Learning" class="gds-article-item__category-link w-inline-block w-clearfix"><span fs-cmsfilter-field="categories" class="gds-article-item__category-text">Artificial Intelligence & Machine Learning</span></a></div></div></div></div></div></div></div></div><div role="listitem" class="gds-article-item-wrapper w-dyn-item"><div data-slug="galois-awarded-12-6-by-darpa-to-support-coop-program" class="gds-article-item"><div class="gds-article-item"><a href="/articles/galois-awarded-12-6-by-darpa-to-support-coop-program" class="gds-article-item__image-wrapper-link w-inline-block"><address data-color="teal" class="gds-article-item__image-wrapper"><img src="" loading="lazy" alt="" class="gds-article-item__image w-condition-invisible w-dyn-bind-empty"/><img src="https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news.png" loading="lazy" alt="" sizes="(max-width: 479px) 100vw, (max-width: 767px) 420px, (max-width: 991px) 55vw, (max-width: 1279px) 31vw, 416.005859375px" srcset="https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news-p-500.png 500w, https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news.png 800w" class="gds-article-item__image"/></address></a><div class="gds-article-item__card-wrapper"><a href="/articles/galois-awarded-12-6-by-darpa-to-support-coop-program" class="gds-article-item__card-body-link w-inline-block"><div class="gds-article-item__card-body"><div class="gds-article-item__card-body-top"><h4 fs-cmsfilter-field="post_type" class="gds-article-item__type">News</h4><h4 fs-cmsfilter-field="name" class="gds-article-item__heading">Galois Awarded $12.6M by DARPA to support COOP Program</h4><div class="gds-article-item__author-byline-wrapper"><div class="gds-article-item__author-byline">Galois</div></div></div><div class="gds-article-item__primary-link">Read more</div></div></a><div class="gds-article-item__categories-wrapper w-clearfix"><span class="gds-article-item__categories-byline">Tags: </span><div class="gds-article-item__categories-collection-list-wrapper w-dyn-list"><div role="list" class="gds-article-item__categories w-dyn-items"><div role="listitem" class="gds-article-item__category w-clearfix w-dyn-item"><a href="https://galois.com/news-insights?categories=Advanced+Cryptography+%26+Privacy" class="gds-article-item__category-link w-inline-block w-clearfix"><span fs-cmsfilter-field="categories" class="gds-article-item__category-text">Advanced Cryptography & Privacy</span></a></div></div></div></div></div></div></div></div><div role="listitem" class="gds-article-item-wrapper w-dyn-item"><div data-slug="towards-a-verified-jolt-zkvm" class="gds-article-item"><div class="gds-article-item"><a href="/articles/towards-a-verified-jolt-zkvm" class="gds-article-item__image-wrapper-link w-inline-block"><address data-color="purple" class="gds-article-item__image-wrapper"><img src="" loading="lazy" alt="" class="gds-article-item__image w-condition-invisible w-dyn-bind-empty"/><img src="https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news.png" loading="lazy" alt="" sizes="(max-width: 479px) 100vw, (max-width: 767px) 420px, (max-width: 991px) 55vw, (max-width: 1279px) 31vw, 416.005859375px" srcset="https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news-p-500.png 500w, https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news.png 800w" class="gds-article-item__image"/></address></a><div class="gds-article-item__card-wrapper"><a href="/articles/towards-a-verified-jolt-zkvm" class="gds-article-item__card-body-link w-inline-block"><div class="gds-article-item__card-body"><div class="gds-article-item__card-body-top"><h4 fs-cmsfilter-field="post_type" class="gds-article-item__type">News</h4><h4 fs-cmsfilter-field="name" class="gds-article-item__heading">Towards a verified Jolt zkVM</h4><div class="gds-article-item__author-byline-wrapper"><div class="gds-article-item__author-byline">James Parker</div></div></div><div class="gds-article-item__primary-link">Read more</div></div></a><div class="gds-article-item__categories-wrapper w-clearfix"><span class="gds-article-item__categories-byline">Tags: </span><div class="gds-article-item__categories-collection-list-wrapper w-dyn-list"><div role="list" class="gds-article-item__categories w-dyn-items"><div role="listitem" class="gds-article-item__category w-clearfix w-dyn-item"><a href="https://galois.com/news-insights?categories=Advanced+Cryptography+%26+Privacy" class="gds-article-item__category-link w-inline-block w-clearfix"><span fs-cmsfilter-field="categories" class="gds-article-item__category-text">Advanced Cryptography & Privacy</span></a></div></div></div></div></div></div></div></div><div role="listitem" class="gds-article-item-wrapper w-dyn-item"><div data-slug="midnight-and-halo2-zk-rollups-for-secure-scalability" class="gds-article-item"><div class="gds-article-item"><a href="/articles/midnight-and-halo2-zk-rollups-for-secure-scalability" class="gds-article-item__image-wrapper-link w-inline-block"><address data-color="blue" class="gds-article-item__image-wrapper"><img src="" loading="lazy" alt="" class="gds-article-item__image w-condition-invisible w-dyn-bind-empty"/><img src="https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news.png" loading="lazy" alt="" sizes="(max-width: 479px) 100vw, (max-width: 767px) 420px, (max-width: 991px) 55vw, (max-width: 1279px) 31vw, 416.005859375px" srcset="https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news-p-500.png 500w, https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news.png 800w" class="gds-article-item__image"/></address></a><div class="gds-article-item__card-wrapper"><a href="/articles/midnight-and-halo2-zk-rollups-for-secure-scalability" class="gds-article-item__card-body-link w-inline-block"><div class="gds-article-item__card-body"><div class="gds-article-item__card-body-top"><h4 fs-cmsfilter-field="post_type" class="gds-article-item__type">News</h4><h4 fs-cmsfilter-field="name" class="gds-article-item__heading">Midnight and Halo2: ZK Rollups for Secure Scalability</h4><div class="gds-article-item__author-byline-wrapper"><div class="gds-article-item__author-byline">Galois</div></div></div><div class="gds-article-item__primary-link">Read more</div></div></a><div class="gds-article-item__categories-wrapper w-clearfix"><span class="gds-article-item__categories-byline">Tags: </span><div class="gds-article-item__categories-collection-list-wrapper w-dyn-list"><div role="list" class="gds-article-item__categories w-dyn-items"><div role="listitem" class="gds-article-item__category w-clearfix w-dyn-item"><a href="https://galois.com/news-insights?categories=Advanced+Cryptography+%26+Privacy" class="gds-article-item__category-link w-inline-block w-clearfix"><span fs-cmsfilter-field="categories" class="gds-article-item__category-text">Advanced Cryptography & Privacy</span></a></div><div role="listitem" class="gds-article-item__category w-clearfix w-dyn-item"><a href="https://galois.com/news-insights?categories=Fintech" class="gds-article-item__category-link w-inline-block w-clearfix"><span fs-cmsfilter-field="categories" class="gds-article-item__category-text">Fintech</span></a></div></div></div></div></div></div></div></div><div role="listitem" class="gds-article-item-wrapper w-dyn-item"><div data-slug="galois-releases-indigo-to-improve-interoperability" class="gds-article-item"><div class="gds-article-item"><a href="/articles/galois-releases-indigo-to-improve-interoperability" class="gds-article-item__image-wrapper-link w-inline-block"><address data-color="teal" class="gds-article-item__image-wrapper"><img src="" loading="lazy" alt="" class="gds-article-item__image w-condition-invisible w-dyn-bind-empty"/><img src="https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news.png" loading="lazy" alt="" sizes="(max-width: 479px) 100vw, (max-width: 767px) 420px, (max-width: 991px) 55vw, (max-width: 1279px) 31vw, 416.005859375px" srcset="https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news-p-500.png 500w, https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news.png 800w" class="gds-article-item__image"/></address></a><div class="gds-article-item__card-wrapper"><a href="/articles/galois-releases-indigo-to-improve-interoperability" class="gds-article-item__card-body-link w-inline-block"><div class="gds-article-item__card-body"><div class="gds-article-item__card-body-top"><h4 fs-cmsfilter-field="post_type" class="gds-article-item__type">News</h4><h4 fs-cmsfilter-field="name" class="gds-article-item__heading">Galois Releases INDIGO to Improve Interoperability</h4><div class="gds-article-item__author-byline-wrapper"><div class="gds-article-item__author-byline">Galois</div></div></div><div class="gds-article-item__primary-link">Read more</div></div></a><div class="gds-article-item__categories-wrapper w-clearfix"><span class="gds-article-item__categories-byline">Tags: </span><div class="gds-article-item__categories-collection-list-wrapper w-dyn-list"><div role="list" class="gds-article-item__categories w-dyn-items"><div role="listitem" class="gds-article-item__category w-clearfix w-dyn-item"><a href="https://galois.com/news-insights?categories=Rigorous+Digital+Engineering" class="gds-article-item__category-link w-inline-block w-clearfix"><span fs-cmsfilter-field="categories" class="gds-article-item__category-text">Rigorous Digital Engineering</span></a></div></div></div></div></div></div></div></div><div role="listitem" class="gds-article-item-wrapper w-dyn-item"><div data-slug="galois-releases-camet-base-pack-1-7-1" class="gds-article-item"><div class="gds-article-item"><a href="/articles/galois-releases-camet-base-pack-1-7-1" class="gds-article-item__image-wrapper-link w-inline-block"><address data-color="teal" class="gds-article-item__image-wrapper"><img src="" loading="lazy" alt="" class="gds-article-item__image w-condition-invisible w-dyn-bind-empty"/><img src="https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news.png" loading="lazy" alt="" sizes="(max-width: 479px) 100vw, (max-width: 767px) 420px, (max-width: 991px) 55vw, (max-width: 1279px) 31vw, 416.005859375px" srcset="https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news-p-500.png 500w, https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news.png 800w" class="gds-article-item__image"/></address></a><div class="gds-article-item__card-wrapper"><a href="/articles/galois-releases-camet-base-pack-1-7-1" class="gds-article-item__card-body-link w-inline-block"><div class="gds-article-item__card-body"><div class="gds-article-item__card-body-top"><h4 fs-cmsfilter-field="post_type" class="gds-article-item__type">News</h4><h4 fs-cmsfilter-field="name" class="gds-article-item__heading">Galois Releases CAMET Base Pack 1.7.1</h4><div class="gds-article-item__author-byline-wrapper"><div class="gds-article-item__author-byline">Galois</div></div></div><div class="gds-article-item__primary-link">Read more</div></div></a><div class="gds-article-item__categories-wrapper w-clearfix"><span class="gds-article-item__categories-byline">Tags: </span><div class="gds-article-item__categories-collection-list-wrapper w-dyn-list"><div role="list" class="gds-article-item__categories w-dyn-items"><div role="listitem" class="gds-article-item__category w-clearfix w-dyn-item"><a href="https://galois.com/news-insights?categories=Rigorous+Digital+Engineering" class="gds-article-item__category-link w-inline-block w-clearfix"><span fs-cmsfilter-field="categories" class="gds-article-item__category-text">Rigorous Digital Engineering</span></a></div></div></div></div></div></div></div></div><div role="listitem" class="gds-article-item-wrapper w-dyn-item"><div data-slug="galois-serves-space-bacn-for-breakfast" class="gds-article-item"><div class="gds-article-item"><a href="/articles/galois-serves-space-bacn-for-breakfast" class="gds-article-item__image-wrapper-link w-inline-block"><address data-color="teal" class="gds-article-item__image-wrapper"><img src="" loading="lazy" alt="" class="gds-article-item__image w-condition-invisible w-dyn-bind-empty"/><img src="https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news.png" loading="lazy" alt="" sizes="(max-width: 479px) 100vw, (max-width: 767px) 420px, (max-width: 991px) 55vw, (max-width: 1279px) 31vw, 416.005859375px" srcset="https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news-p-500.png 500w, https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news.png 800w" class="gds-article-item__image"/></address></a><div class="gds-article-item__card-wrapper"><a href="/articles/galois-serves-space-bacn-for-breakfast" class="gds-article-item__card-body-link w-inline-block"><div class="gds-article-item__card-body"><div class="gds-article-item__card-body-top"><h4 fs-cmsfilter-field="post_type" class="gds-article-item__type">News</h4><h4 fs-cmsfilter-field="name" class="gds-article-item__heading">Galois Serves Space-BACN for Breakfast</h4><div class="gds-article-item__author-byline-wrapper"><div class="gds-article-item__author-byline">Galois</div></div></div><div class="gds-article-item__primary-link">Read more</div></div></a><div class="gds-article-item__categories-wrapper w-clearfix"><span class="gds-article-item__categories-byline">Tags: </span><div class="gds-article-item__categories-collection-list-wrapper w-dyn-list"><div role="list" class="gds-article-item__categories w-dyn-items"><div role="listitem" class="gds-article-item__category w-clearfix w-dyn-item"><a href="https://galois.com/news-insights?categories=Rigorous+Digital+Engineering" class="gds-article-item__category-link w-inline-block w-clearfix"><span fs-cmsfilter-field="categories" class="gds-article-item__category-text">Rigorous Digital Engineering</span></a></div><div role="listitem" class="gds-article-item__category w-clearfix w-dyn-item"><a href="https://www.galois.com/news-insights?categories=Aerospace+%26+Defense" class="gds-article-item__category-link w-inline-block w-clearfix"><span fs-cmsfilter-field="categories" class="gds-article-item__category-text">Aerospace & Defense</span></a></div></div></div></div></div></div></div></div><div role="listitem" class="gds-article-item-wrapper w-dyn-item"><div data-slug="galois-releases-new-versions-of-verification-tools-saw-cryptol-and-crux" class="gds-article-item"><div class="gds-article-item"><a href="/articles/galois-releases-new-versions-of-verification-tools-saw-cryptol-and-crux" class="gds-article-item__image-wrapper-link w-inline-block"><address data-color="blue" class="gds-article-item__image-wrapper"><img src="" loading="lazy" alt="" class="gds-article-item__image w-condition-invisible w-dyn-bind-empty"/><img src="https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news.png" loading="lazy" alt="" sizes="(max-width: 479px) 100vw, (max-width: 767px) 420px, (max-width: 991px) 55vw, (max-width: 1279px) 31vw, 416.005859375px" srcset="https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news-p-500.png 500w, https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news.png 800w" class="gds-article-item__image"/></address></a><div class="gds-article-item__card-wrapper"><a href="/articles/galois-releases-new-versions-of-verification-tools-saw-cryptol-and-crux" class="gds-article-item__card-body-link w-inline-block"><div class="gds-article-item__card-body"><div class="gds-article-item__card-body-top"><h4 fs-cmsfilter-field="post_type" class="gds-article-item__type">News</h4><h4 fs-cmsfilter-field="name" class="gds-article-item__heading">Galois Releases New Versions of Verification Tools SAW, Cryptol, and Crux</h4><div class="gds-article-item__author-byline-wrapper"><div class="gds-article-item__author-byline">Galois</div></div></div><div class="gds-article-item__primary-link">Read more</div></div></a><div class="gds-article-item__categories-wrapper w-clearfix"><span class="gds-article-item__categories-byline">Tags: </span><div class="gds-article-item__categories-collection-list-wrapper w-dyn-list"><div role="list" class="gds-article-item__categories w-dyn-items"><div role="listitem" class="gds-article-item__category w-clearfix w-dyn-item"><a href="https://galois.com/news-insights?categories=Advanced+Cryptography+%26+Privacy" class="gds-article-item__category-link w-inline-block w-clearfix"><span fs-cmsfilter-field="categories" class="gds-article-item__category-text">Advanced Cryptography & Privacy</span></a></div><div role="listitem" class="gds-article-item__category w-clearfix w-dyn-item"><a href="https://www.galois.com/news-insights?categories=Software+%26+Systems+Analysis" class="gds-article-item__category-link w-inline-block w-clearfix"><span fs-cmsfilter-field="categories" class="gds-article-item__category-text">Software & Systems Analysis</span></a></div></div></div></div></div></div></div></div><div role="listitem" class="gds-article-item-wrapper w-dyn-item"><div data-slug="galois-releases-the-swanky-suite-of-rust-libraries-for-secure-computation" class="gds-article-item"><div class="gds-article-item"><a href="/articles/galois-releases-the-swanky-suite-of-rust-libraries-for-secure-computation" class="gds-article-item__image-wrapper-link w-inline-block"><address data-color="blue" class="gds-article-item__image-wrapper"><img src="" loading="lazy" alt="" class="gds-article-item__image w-condition-invisible w-dyn-bind-empty"/><img src="https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news.png" loading="lazy" alt="" sizes="(max-width: 479px) 100vw, (max-width: 767px) 420px, (max-width: 991px) 55vw, (max-width: 1279px) 31vw, 416.005859375px" srcset="https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news-p-500.png 500w, https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news.png 800w" class="gds-article-item__image"/></address></a><div class="gds-article-item__card-wrapper"><a href="/articles/galois-releases-the-swanky-suite-of-rust-libraries-for-secure-computation" class="gds-article-item__card-body-link w-inline-block"><div class="gds-article-item__card-body"><div class="gds-article-item__card-body-top"><h4 fs-cmsfilter-field="post_type" class="gds-article-item__type">News</h4><h4 fs-cmsfilter-field="name" class="gds-article-item__heading">Galois Releases the Swanky Suite of Rust Libraries for Secure Computation</h4><div class="gds-article-item__author-byline-wrapper"><div class="gds-article-item__author-byline">Galois</div></div></div><div class="gds-article-item__primary-link">Read more</div></div></a><div class="gds-article-item__categories-wrapper w-clearfix"><span class="gds-article-item__categories-byline">Tags: </span><div class="gds-article-item__categories-collection-list-wrapper w-dyn-list"><div role="list" class="gds-article-item__categories w-dyn-items"><div role="listitem" class="gds-article-item__category w-clearfix w-dyn-item"><a href="https://galois.com/news-insights?categories=Advanced+Cryptography+%26+Privacy" class="gds-article-item__category-link w-inline-block w-clearfix"><span fs-cmsfilter-field="categories" class="gds-article-item__category-text">Advanced Cryptography & Privacy</span></a></div></div></div></div></div></div></div></div><div role="listitem" class="gds-article-item-wrapper w-dyn-item"><div data-slug="galois-releases-camet-base-pack-1-6-1-with-enhanced-capabilities-and-stability-improvements" class="gds-article-item"><div class="gds-article-item"><a href="/articles/galois-releases-camet-base-pack-1-6-1-with-enhanced-capabilities-and-stability-improvements" class="gds-article-item__image-wrapper-link w-inline-block"><address data-color="blue" class="gds-article-item__image-wrapper"><img src="" loading="lazy" alt="" class="gds-article-item__image w-condition-invisible w-dyn-bind-empty"/><img src="https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news.png" loading="lazy" alt="" sizes="(max-width: 479px) 100vw, (max-width: 767px) 420px, (max-width: 991px) 55vw, (max-width: 1279px) 31vw, 416.005859375px" srcset="https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news-p-500.png 500w, https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news.png 800w" class="gds-article-item__image"/></address></a><div class="gds-article-item__card-wrapper"><a href="/articles/galois-releases-camet-base-pack-1-6-1-with-enhanced-capabilities-and-stability-improvements" class="gds-article-item__card-body-link w-inline-block"><div class="gds-article-item__card-body"><div class="gds-article-item__card-body-top"><h4 fs-cmsfilter-field="post_type" class="gds-article-item__type">News</h4><h4 fs-cmsfilter-field="name" class="gds-article-item__heading">Galois Releases CAMET Base Pack 1.6.1 with Enhanced Capabilities and Stability Improvements</h4><div class="gds-article-item__author-byline-wrapper"><div class="gds-article-item__author-byline">Galois</div></div></div><div class="gds-article-item__primary-link">Read more</div></div></a><div class="gds-article-item__categories-wrapper w-clearfix"><span class="gds-article-item__categories-byline">Tags: </span><div class="gds-article-item__categories-collection-list-wrapper w-dyn-list"><div role="list" class="gds-article-item__categories w-dyn-items"><div role="listitem" class="gds-article-item__category w-clearfix w-dyn-item"><a href="https://galois.com/news-insights?categories=Rigorous+Digital+Engineering" class="gds-article-item__category-link w-inline-block w-clearfix"><span fs-cmsfilter-field="categories" class="gds-article-item__category-text">Rigorous Digital Engineering</span></a></div></div></div></div></div></div></div></div><div role="listitem" class="gds-article-item-wrapper w-dyn-item"><div data-slug="hacms-receives-prestigious-darpa-game-changer-award" class="gds-article-item"><div class="gds-article-item"><a href="/articles/hacms-receives-prestigious-darpa-game-changer-award" class="gds-article-item__image-wrapper-link w-inline-block"><address data-color="purple" class="gds-article-item__image-wrapper"><img src="" loading="lazy" alt="" class="gds-article-item__image w-condition-invisible w-dyn-bind-empty"/><img src="https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news.png" loading="lazy" alt="" sizes="(max-width: 479px) 100vw, (max-width: 767px) 420px, (max-width: 991px) 55vw, (max-width: 1279px) 31vw, 416.005859375px" srcset="https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news-p-500.png 500w, https://cdn.prod.website-files.com/673b407e535dbf3b547179ff/673b407e535dbf3b54717d73_bc_news.png 800w" class="gds-article-item__image"/></address></a><div class="gds-article-item__card-wrapper"><a href="/articles/hacms-receives-prestigious-darpa-game-changer-award" class="gds-article-item__card-body-link w-inline-block"><div class="gds-article-item__card-body"><div class="gds-article-item__card-body-top"><h4 fs-cmsfilter-field="post_type" class="gds-article-item__type">News</h4><h4 fs-cmsfilter-field="name" class="gds-article-item__heading">HACMS Receives Prestigious DARPA “Game Changer” Award</h4><div class="gds-article-item__author-byline-wrapper"><div class="gds-article-item__author-byline">Galois</div></div></div><div class="gds-article-item__primary-link">Read more</div></div></a><div class="gds-article-item__categories-wrapper w-clearfix"><span class="gds-article-item__categories-byline">Tags: </span><div class="gds-article-item__categories-collection-list-wrapper w-dyn-list"><div role="list" class="gds-article-item__categories w-dyn-items"><div role="listitem" class="gds-article-item__category w-clearfix w-dyn-item"><a href="https://galois.com/news-insights?categories=Rigorous+Digital+Engineering" class="gds-article-item__category-link w-inline-block w-clearfix"><span fs-cmsfilter-field="categories" class="gds-article-item__category-text">Rigorous Digital Engineering</span></a></div><div role="listitem" class="gds-article-item__category w-clearfix w-dyn-item"><a href="https://www.galois.com/news-insights?categories=Aerospace+%26+Defense" class="gds-article-item__category-link w-inline-block w-clearfix"><span fs-cmsfilter-field="categories" class="gds-article-item__category-text">Aerospace & Defense</span></a></div></div></div></div></div></div></div></div></div><div role="navigation" aria-label="List" class="w-pagination-wrapper gds-pagination"><div class="gds-pagination__page-buttons"><a fs-cmsload-element="page-button" href="#" class="gds-pagination__page-button w-inline-block"></a></div><div class="gds-pagination__page-dots"></div><a href="?46ffcbea_page=2" aria-label="Next Page" class="w-pagination-next gds-pagination__next-button"><svg class="w-pagination-next-icon gds-pagination__arrow-icon" height="12px" width="12px" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 12 12" transform="translate(0, 1)"><path fill="none" stroke="currentColor" fill-rule="evenodd" d="M4 2l4 4-4 4"></path></svg></a><link rel="prerender" href="?46ffcbea_page=2"/></div></div></div></section></div><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><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.d58e8607ac79fecf.js" type="text/javascript"></script><script src="https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/js/webflow.75bd4d11.6922638d9186b865.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>