DARPA Contract to Verify Blockchain Integrity Monitoring Awarded to Galois and Guardtime Federal

Research and Development company Galois and Guardtime Federal have announced they have jointly been awarded a $1.8 million contract by the Defense Advanced Research Projects Agency to verify the correctness of Guardtime’s Keyless Signature Infrastructure. The contract will fund an attempt to advance the state of formal verification tools and...
1 65 66 67 68 69 89
Page 67 of 89