DARPA

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
close

Trending

  • POWER TRAINING: How to engage your customers

    Don't miss our Aug. 2 Washington Technology Power Training session on Mastering Stakeholder Engagement, where you'll learned the critical skills you need to more fully connect with your customers and win more business. Read More

  • PROJECT 38 PODCAST

    In our latest Project 38 Podcast, editor Nick Wakeman interviews Tom Romeo, the leader of Maximus Federal about how it has zoomed up the 2019 Top 100. 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.