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.
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.