Galois presentations at High Confidence Software and Systems (HCSS) 2017

The High Confidence Software and Systems (HCSS) conference brings together researchers and organizations on the cutting-edge of safety-, security- and mission-critical applications and is now in its second decade. The main themes of HCSS 2017 are Privacy, Assurance for AI, Industrialization of Formal Methods, and Technology and Model Cross-over. If you are attending, Galois and […]

Read More

Galois Awarded $1 million IARPA Contract To Improve Security Of Data Computation

RAMPARTS initiative to explore feasibility of leveraging fully homomorphic encryption (FHE) to secure data processing in untrusted environments Galois announced today that it has been awarded a $1 million contract by The Intelligence Advanced Research Projects Activity (IARPA), in the Office of the Director of National Intelligence, to explore the feasibility of securing data while […]

Read More

Galois Launches First Office in Dayton, OH

Galois, an R&D organization that specializes in developing innovative security technologies  today announced its first Dayton office, reflecting a commitment to driving technology innovation in Ohio and expanding the support it provides to defense agencies and commercial organizations throughout the region. Headquartered in Portland, OR, Dayton is Galois’s third U.S. location. Galois has signed a […]

Read More

Why next-gen vehicles should consider security from the start

StateScoop

Email was initially created without security in mind and we’ve paid for it ever since by continually bolting fixes onto it, said Isaac Potoczny-Jones, research lead at Galois. But the complexity of connected vehicle systems has created pushback on the issue of cybersecurity, he noted. “Innovative areas like this have a real challenge in baking nonfunctional requirements like cybersecurity into the basis of their systems,” Potoczny-Jones said. “But just because there’s no value today in attackers targeting these systems that there won’t be value tomorrow. We don’t know what we’re up against tomorrow. Things change. They will start to target these systems.”

Permalink

DARPA, Galois Launch Benchmark Challenges To Prevent Software ‘Reverse Engineering’

Galois today announced two benchmark challenges – sponsored by DARPA – that invite competitive submissions able to break the security of program obfuscation technology designed to prevent software ‘reverse engineering.’ The challenges are part of DARPA’s SafeWare program that funds research aimed to make software less susceptible to being hacked or compromised. The challenges are […]

Read More

Air Force goes after cyber deception technology

Network World

Specifically, Galois will develop its Prattle system for the Air Force. Galois describes Prattle as a system that generates traffic that misleads an attacker that has penetrated a network: making them doubt what they have learned, or to cause them to make mistakes that increase their likelihood of being detected sooner.

Permalink

Loose lips may better Air Force security with ‘Prattle’

Federal News Radio

The Air Force is giving Galois a $750,000 grant to work on the program as part of a larger $100 million effort to expand cyber detection technologies. The funds will be used to take the program out of its prototype phase. “The idea is to try to fool the adversary about what’s going on in the world, so that they either make bad decisions they take longer or they are easier to detect,” said Adam Wick, research lead at Galois, the company contracted with the Air Force for the project.

Permalink

Galois Awarded Air Force Grant For Advanced Cyber Deception Technology

Award part of a growing number of Galois projects focused on helping organizations deploy safe, and cost-effective deception technology to deal with cyber threats.   Galois announced today that it has been awarded a $750,000 grant from the Air Force Research Lab (AFRL) to develop a new, advanced network cyber deception technology: Prattle. Prattle generates […]

Read More

Crypto-Currency Software Emerges as Tool to Block Cyberattacks

Bloomberg

Paving the way for government use, DARPA has funded a handful of startups, such as Guardtime Federal and Galois Inc., to develop blockchain uses for secure communications, as well as potentially everything from weapons systems to files. The work should be completed within a year, Booher said. Some defense contractors are already demonstrating and deploying the blockchain, he said.

Permalink

Even the US military is looking at blockchain technology—to secure nuclear weapons

Quartz

If the verification goes well, it would inch DARPA closer to using some form of blockchain technology for the military, Booher says. “We’re certainly thinking through a lot of applications,” he says. “As Galois does its verification work and we understand at a deep level the security properties pf this [technology] then I would start to set up a series of meetings [with the rest of the agency] to start that dialog.”

Permalink