Two win $1.8M contract to thwart advanced persistent threats in networks

The Defense Advanced Research Projects Agency has awarded a $1.8 million contract to two companies to verify a security monitoring system.

The winners are:

  • Galois
  • Guardtime Federal

Under the contract, the two companies will verify the ability of Guardtime Federal’s Keyless Signature Infrastructure to detect advanced persistent threats that are hidden in networks. These threats undermine network security and can cover their tracks by removing evidence from system log files, Galois said in a reelase.

Work under the contract will advance the state of formal verification tools and all blockchain-based integrity monitoring systems.

“Formal verification has evolved considerably over the past several years, but has only recently matured enough to tackle production-level software,” said Stephen Magill, Research Lead for Software Analysis at Galois, in a release.

“This collaborative effort seeks to advance our understanding of the role that integrity analysis plays in system security and lead to improvements in formal verification tools and methods that will be applicable to other existing systems,” he said.

About the Author

Mark Hoover is a senior staff writer with Washington Technology. You can contact him at mhoover@washingtontechnology.com, or connect with him on Twitter at @mhooverWT.

Reader Comments

Please post your comments here. Comments are moderated, so they may not appear immediately after submitting. We will not post comments that we consider abusive or off-topic.

Please type the letters/numbers you see above

What is your e-mail address?

My e-mail address is:

Do you have a password?

Forgot your password? Click here


  • Dive into our Contract Award database

    In an exclusive for WT Insider members, we are collecting all of the contract awards we cover into a database that you can sort by contractor, agency, value and other parameters. You can also download it into a spreadsheet. Our databases track awards back to 2013. Read More

  • Navigating the trends and issues of 2016 Nick Wakeman

    In our latest WT Insider Report, we pull together our best advice, insights and reporting on the trends and issues that will shape the market in 2016 and beyond. Read More

contracts DB

Washington Technology Daily

Sign up for our newsletter.

Terms and Privacy Policy consent

I agree to this site's Privacy Policy.