PUBLICATIONS

FILTER BY:
SEARCH:
Advanced Cryptography & Privacy
Aerospace & Defense
Artificial Intelligence & Machine Learning
Automotive
Conferences
Critical Systems
Fintech
Healthcare
Highlights
Human Factors
Life at Galois
Rigorous Digital Engineering
Semiconductors
Software & Systems Analysis
Thank you! Your submission has been received!
Oops! Something went wrong while submitting the form.
No results found. Try adjusting your filters or search terms to see more publications.

Composition Challenges for Automated Software Diversity

Benjamin Davis, Per Larsen, Stijn Volckaert, Simon Winwood, David Melski, Michael Franz, Stephen Magill

VIEW PUBLICATION
Tech Report
Software & Systems Analysis

Macaw: A Machine Code Toolbox for the Busy Binary Analyst

Ryan G. Scott, Brett Boston, Benjamin Davis, Iavor Diatchki, Mike Dodds, Joe Hendrix, Daniel Matichuk, Kevin Quick, Tristan Ravitch, Valentin Robert, Benjamin Selfridge, Andrei Stefănescu, Daniel Wagner, and Simon Winwood

VIEW PUBLICATION
Paper
Software & Systems Analysis

Analyzing Large Language Model Behavior via Embedding Analysis

Sourya Dey, Michael Robinson, Shauna Sweet, Andrew Lauziere, Jonathan Daugherty, and Caitlin Burgess

VIEW PUBLICATION
Paper
Artificial Intelligence & Machine Learning

Principles and Metrics for Digital Curation in Aviation

David Archer, Abha Moitra, Kit Siu, Paul Cuddihy

VIEW PUBLICATION
Paper
Advanced Cryptography & Privacy

Crux, a Precise Verifier for Rust and Other Languages

Stuart Pernsteiner, Iavor S. Diatchki, Robert Dockins, Mike Dodds, Joe Hendrix, Tristan Ravich, Patrick Redmond, Ryan Scott, and Aaron Tomb

VIEW PUBLICATION
Paper
Software & Systems Analysis

KATch: A Fast Symbolic Verifier for NetKAT

Mark Moeller, Jules Jacobs, Oliver Savary Belanger, David Darais,. Cole Schlesinger, Steffan Smolka, Nate Foster, and Alexandra Silva

VIEW PUBLICATION
Paper
Software & Systems Analysis

Grand Unified Modeling of Behavioral Operators - Graphical User Interface (GUMBO-GUI) Final Technical Report

Danielle Stewart

VIEW PUBLICATION
Tech Report
Rigorous Digital Engineering

Fielding Faster: Removing Time and Cost Barriers to Software Certification Using Qualifiable Code Generators

Paul Pazandak, Fabrizio Bertocci, Benoit Razet, and Brian Senese

VIEW PUBLICATION
Paper
Software & Systems Analysis

VOLTA Maturation for AF/DoD Embedded System Analysis (V-MESA)

Danielle Stewart

VIEW PUBLICATION
Tech Report
Rigorous Digital Engineering

Model Based Engineering Support for Future Attack Reconnaissance Aircraft: Final Report

Tyler D. Smith, Charlie Payne, Edward Sandberg, Moira Southern, Alex Mahrer, and Taisa Kushner

VIEW PUBLICATION
Tech Report
Rigorous Digital Engineering

Daedalus: Safer Document Parsing

Iavor S. Diatchki, Mike Dodds, Harrison Goldstein, Bill Harris, David A. Holland, Benoit Razet, Cole Schlesinger, and Simon Winwood

VIEW PUBLICATION
Paper
Software & Systems Analysis
Artificial Intelligence & Machine Learning

Integrating Episodic and Semantic Memory in Machine Teammates to Enable Explainable After-Action Review and Intervention Planning in HAA Operations

E. Davis and K. Schleisman

VIEW PUBLICATION
Paper
Artificial Intelligence & Machine Learning

‍T 503.626.6616
E contact@galois.com

Portland, OR
421 SW 6th Avenue, Suite 300
Portland, Oregon 97204

‍Arlington, VA
901 N Stuart Street, Suite 501
Arlington, Virginia 22203

‍Minneapolis, MN
111 Third Avenue South, Suite 350
Minneapolis, MN 55401

‍Dayton, OH
444 E 2nd Street
Dayton, Ohio 45402

© Copyright Galois, Inc. 2024. All Rights Reserved | Terms of Use | Privacy Policy