Automated Tools for Binary Analysis & Optimization

Galois was awarded a contract through the Office of Naval Research – we’re partnering with SRI to build automated tools for binary analysis and optimization to minimize software bloat and reduce costs and complexity. Read more about the effort here: http://bit.ly/1fG7S45.

Read More

Understanding Changes to Software

We have developed a technique to make sense of change information from a typical software project’s history. The core of our approach is to treat the program text as a tree, to find differences in the tree structure, to group similar differences together, and then finally to extract a pattern that represents each group. Jason […]

Read More

Galois Awarded DHS Project: Roots of Trust for Mobile Devices

Galois is delighted to announce that our proposal “Practical Roots of Trust for Mobile Devices” has been selected for award by the Department of Homeland Security. In this Phase I Small Business Innovative Research (SBIR) award, Galois will be investigating methods to provide secure yet practical methods for mobile devices to authenticate to critical systems. […]

Read More

Galois Awarded Phase II SBIR with Office of Naval Research: Programmer Intention Capture Tool (PICT)

Galois has been selected by the Office of Naval Research (ONR) for a Phase II Small Business Innovative Research (SBIR) award, for its PICT tool that interactively captures and manages programmers’ intentions. The design of a software product often isn’t fully captured by the semantics and syntax of the language – many aspects of the design […]

Read More

Galois is hiring!

We are currently seeking software engineers/researchers to play a pivotal role in fulfilling our mission of creating trustworthiness in critical systems. Galois engineers/researchers participate in one or more projects concurrently, and specific roles vary greatly according to skills, interests, and company needs. Your role may include technology research and development, requirements gathering, implementation, testing, formal […]

Read More

Galois at ICFP 2012

Check out these ICFP presentations by Galois team members: Efficient Lookup-Table Protocol in Secure Multiparty Computation Video Presentation John Launchbury: watch video – http://www.youtube.com/watch?v=I79PwWpUx9c Paper John Launchbury, Iavor S. Diatchki, Thomas DuBuisson, and Andy Adams-Moran. 2012. Efficient lookup-table protocol in secure multiparty computation. In “Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming” […]

Read More

Galois Internship Available

Galois, Inc. has one or more internships available in Portland, Oregon, USA. PROJECT OVERVIEW: The project is a 4+ year research project on high-assurance autonomous vehicles. Galois will be working on three aspects of this problem: Synthesizing software components from Haskell-based embedded DSLs. Building/porting a hardware platform for testing our prototypes. Performing static/dynamic analysis on […]

Read More

Is the NIST Risk Management Framework poised to become a national cybersecurity standard?

A lot of organizations, including small businesses and critical infrastructure operators, might soon get new technical security requirements from the federal government. This will probably be very costly, especially for small businesses that don’t already implement the kinds of security measures that are standard for large federal contractors. I’ll give a brief overview of two […]

Read More

Galois’ Open-Source Projects on GitHub

Galois is pleased to announce the movement of our open source projects to GitHub! As part of our commitment to giving back to the open source community, we have decided that we can best publish our work using GitHub’s public website. This move should provide the open source community more direct access to our repositories, […]

Read More