13Sep

Galois and Guardtime Federal Awarded $1.8M DARPA Contract to Formally Verify Blockchain-Based Integrity Monitoring System

by Martin Ruubel
Galois and Guardtime Federal today announced they have jointly been awarded a $1.8 million contract by the Defense Advanced Research Projects Agency (DARPA) to verify the correctness of Guardtime’s KSI® system. The contract will fund a significant effort that aims to advance the state of formal verification tools and all blockchain-based integrity monitoring systems.

Latest news

Show archiveHide archive
September 22, 2014
August 20, 2014
April 09, 2014