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 ...

On September 13, 2022 the Center for Devices and Radiological Health (CDRH) and the Center for Biologics Evaluation and Research (CBER) jointly released a new draft guidance document titled “Computer ...

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 ...

For the last five years or so, I have been actively engaging with the security community in academia, industry, and government to better understand the gaps that exist in software assurance. Working ...

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 ...

I have bad news for you: Your applications (and Web applications in particular) are a disaster waiting to happen and that’s on top of the vulnerabilities your network infrastructure already has.