by Eric Seidel, Galois intern Embedded DSLs are a bit of a double-edged sword. They have a low start-up cost because you can defer a lot of work to the host language, but producing good error messages can be challenging. People often talk about the quality of type errors produced by the host language, but […]
by Brent Carmer and David W. Archer, PhD Our team at Galois, Inc. is interested in making secure computation practical. Much of our secure computation work has focused on linear secret sharing (LSS, a form of multi-party computation) and the platform we’ve built on that technology. However, we’ve also done a fair bit of comparison […]
A whitepaper providing a technical summary of our PDF voting hack is now available: Modifying an Off-the-Shelf Wireless Router for PDF Ballot Tampering If you missed it, you can find our bird’s eye view breakdown of the process here: http://galois.com/blog/2014/11/hacking-internet-voting-via-ballot-tampering/
Dan Zimmerman and Joe Kiniry Election Day was this week. If you took advantage of early voting, or you live overseas, you probably used a paper ballot you received in the mail a few weeks ago. A digital alternative, being considered across the USA, is voting-by-email. To vote using email (Fig. 1), you download and […]
During the first week of October, Galois held “Innovation Week,” a time for everybody to explore new ideas, recharge our creativity, have fun and share what we’ve learned and done with each other. Throughout the week, Galwegians worked on a diverse set of side projects: running experiments, building prototypes, solving puzzles and acquiring new skills.
Over the last few months, Galois has published or spoken about a variety of technologies based on the open source Xen hypervisor: our port of FreeRTOS on Xen, our MAC-enhanced version of the XenStore, and, of course, our continuing work on the Haskell Lightweight Virtual Machine (a.k.a., the HaLVM). Based on all this activity, I […]
In an interview with The Christian Science Monitor, Joe Kiniry, Galois’ digital voting systems cyber-security expert, weighs in on the narrowly missed catastrophe of a hacked election in last month’s Ukranian presidential election. To learn more, read the article.
John Launchbury, Galois’ founder and former Chief Scientist, will be joining DARPA’s Information Innovation Office this summer as a program manager. In this position, Launchbury will be overseeing the existing High-Assurance Cyber Military Systems (HACMS) and Programming Computation on Encrypted Data (PROCEED) programs, as well as new projects still under development. Read more about the […]
Aaron Tomb recently gave an interview with the Machine Intelligence Research Institute (MIRI) about what Galois is doing on DARPA’s Crowd Sourced Formal Verification (CSFV) program to crowd-source the problem of software verification. Read the article here: http://intelligence.org/2014/05/29/aaron-tomb/
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 take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.