Galois continues to advance building secure, hack-proof critical flight control software in its work on SMACCMPilot, part of DARPA’s High Assurance Cyber Military Systems (HACMS) program. We demonstrated technology developed to-date under this program at DARPA I2O’s Demo Day on May 21 at the Pentagon. Read more about the program and what our team is doing in this article recently published […]

We are pleased to announce the open source release of Cryptol version 2.  Bugs in crypto code have been in the news lately – Cryptol helps developers detect (or avoid) correctness errors in cryptographic code. What Cryptol does is reduce the gap between the reference specification of a cryptographic algorithm and an executable version which […]

We are pleased to announce the availability of a new tech talk video: “A short examination on the intersection of security and usability (or How usable security could save us all)”, presented by Morgan Miller. For more details, please visit the talk announcement page. For more videos, please visit our Vimeo channel.

Galois is pleased to host the following tech talk. These talks are open to the interested public–please join us! (There is no need to pre-register for the talk.) title: A Gentle Introduction to Hiding Usage Patterns speaker: Rafail Ostrovsky time: Friday, 25 April 2014, 10am location: Galois Inc. 421 SW 6th Ave. Suite 300, Portland, […]

Heartbleed is the nickname of a dangerous OpenSSL vulnerability that was just announced. A security update was already available before the announcement, and this is definitely a vulnerability where quickly patching makes a big difference. A fast response matters here because malware wasn’t in the wild yet, so many sites likely can prevent any negative consequences […]

Galois is pleased to host the following tech talk. These talks are open to the interested public–please join us! (There is no need to pre-register for the talk.) title: A short examination on the intersection of security and usability (or How usable security could save us all) speaker: Morgan Miller time: Tuesday, 8 April 2014, […]

Galois is pleased to host the following tech talk. These talks are open to the interested public–please join us! (There is no need to pre-register for the talk.) title: Practical Challenges to Secure Computation speaker: John Launchbury time: Tuesday, 1 April 2014, 11am location: Galois Inc. 421 SW 6th Ave. Suite 300, Portland, OR, USA […]

Joe Kiniry has recently joined Galois as a Principal Investigator. He was previously an academic in Europe for twelve years, most recently a Full Professor at the Technical University of Denmark. He has extensive experience in formal methods, high-assurance software engineering, foundations of computer science and mathematics, and information security. Specific areas that he has […]

As part of DARPA’s Crowd Sourced Formal Verification (CSFV) program, Galois has partnered with game design and development experts voidALPHA to produce a free online formal verification game, StormBound. Formal verification is the most rigorous way to thwart attacks against IT systems and applications upon which military, government, and commercial organizations rely. Traditional formal methods, […]

Rogan Creswick will be giving the next Portland Linux/Unix Group’s (PLUG) Advanced Topics presentation, “Multi-App Security Analysis: Looking for Android App Collusion.” The event, hosted by PLUG, will be held next Tuesday, Nov. 19th at 7:00 p.m. at Free Geek, 1731 SE 10th Avenue, Portland, OR (map). Abstract The Android permission model opens up a number of opportunities […]