Dr Joseph Kiniry, Galois’s election systems expert, will be speaking before the Elections Commission of San Francisco today on open source software and the benefits it will bring to elections technology. Dr. Kiniry will also touch on the barriers that have kept open software from manifesting in the elections world until now. The Elections Commission […]
Dr. Aaron Tomb, research lead in Software Correctness at Galois, delivered the invited talk last Friday, Sept 25, 2015 at SAT 2015, the International Conference on Theory and Applications of Satisfiability Testing. In the talk Dr. Tomb walked through the properties of cryptographic code that are within the reach of existing solvers, and described some of the tools in applying SAT solvers to cryptographic algorithms.
This post originally appeared on the Adventium Labs website. Adventium was acquired by Galois in 2022. The Defense Advanced Research Projects Agency (DARPA) has selected Adventium Labs as one of the performers on its Cyber Fault-tolerant Attack Recovery (CFAR) program, worth $5.4M over 42 months if all options are awarded.
This post originally appeared on the Adventium Labs website. Adventium was acquired by Galois in 2022. Adventium has received a 2-year, $750K Phase 2 NASA SBIR to continue work on its Architecture Framework for Fault Management Assessment And Design (AFFMAD) project.