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 […]

Portland, Oregon (October 30, 2013) – Rob Wiltbank, Ph.D. has joined Galois as its CEO. Rob is widely recognized as a world expert in angel investing performance and entrepreneurial strategy. In his new role, Rob will drive strategy for Galois’ growth, oversee business operations and development, and help commercialize its technologies. “I’m tremendously pleased to […]

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: Programming Diversity speaker: Ashe Dryden time: Tuesday, 22 October 2013, 10:30am location: Galois Inc. 421 SW 6th Ave. Suite 300, Portland, OR, USA (3rd floor of […]