The Software Assurance Marketplace, the SWAMP, is an important resource for improving software development and software assurance activities. Developed with funding from the Department of Homeland ...

The U.S. Department of Homeland Security is seeking participants for the Software Assurance Marketplace (SWAMP), which is expected to open to beta users in January. The ultimate goal for the ...

BOSTON--(BUSINESS WIRE)--LDRA, the leading provider of automated software verification, source code analysis, test tools and consultancy services, today announced LDRA tool suite support for NXP’s ...

WIRRAL, England--(BUSINESS WIRE)--LDRA, a leader in automated software verification, traceability and standards compliance, today announced extended support for the RISC-V instruction set architecture ...

I had an interesting conversation recently about the after-effects of Heartbleed and the challenges facing static analysis with Barton Miller, the chief scientist of the Software Assurance Marketplace ...

There’s no arguing with the fact that acquirers of software need assurances that the software they purchase is safe and stable to use. However, I struggle with the notion that analyzing software and ...

Because Patrick Beyer, SWAMP's Project Manager at Morgridge Institute for Research, the project's prime contractor, explained, "With open source's popularity, more and more government branches are ...

Gerard Holzmann at Bell Labs, Software to detect bugs in networked computers; Charles Howell at Mitre, Benchmarks for software assurance; Charles Simonyi at Intentional Software, Programming tools to ...

She translates federal guidance into scalable tools: supplier‑qualification matrices, assurance‑activity menus by risk tier, and monitoring plans that escalate deviations. "Our job is to ensure ...

Software vendors need automated tools that look for bugs in their code, but it may be a decade before many of those tools are mature and widely used, said the former director of cybersecurity for the ...