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.