Three ways formal methods can scale for software security

Security is not like paint: it can’t just be applied after a system has been completed. Instead, security has to be built into the system design. But how can we know that a system design is secure against a particular attack? And how can we know that t… Continue reading Three ways formal methods can scale for software security

Server market revenue reached $22.6 billion in 3Q20

Vendor revenue in the worldwide server market grew 2.2% year over year to $22.6 billion during the third quarter of 2020 (3Q20), according to IDC. Worldwide server shipments declined 0.2% year over year to nearly 3.1 million units in 3Q20. Volume serve… Continue reading Server market revenue reached $22.6 billion in 3Q20

How a move to the cloud can improve disaster recovery plans

COVID-19 and the subsequent global recession have thrown a wrench into IT spending. Many enterprises have placed new purchases on hold. Gartner recently projected that global spending on IT would drop 8% overall this year — and yet dollars allocated to… Continue reading How a move to the cloud can improve disaster recovery plans

IBM plans to spin off infrastructure services as a separate $19B business

IBM, a company that originally made its name out of its leadership in building a myriad of enterprise hardware (quite literally: its name is an abbreviation for International Business Machines), is taking one more step away from that legacy and deeper into the world of cloud services. The company today announced that it plans to […] Continue reading IBM plans to spin off infrastructure services as a separate $19B business

Vendor revenue in the worldwide server market grew 19.8% year over year

According to the IDC Worldwide Quarterly Server Tracker, vendor revenue in the worldwide server market grew 19.8% year over year to $24.0 billion during the second quarter of 2020. Worldwide server shipments grew 18.4% year over year to nearly 3.2 mill… Continue reading Vendor revenue in the worldwide server market grew 19.8% year over year

Cryptomining activity could be a sign your servers are under attack

Organizations’ on-premise and cloud-based servers are compromised, abused and rented out as part of a sophisticated criminal monetization lifecycle, Trend Micro research finds. The findings come from a report looking at how the underground hostin… Continue reading Cryptomining activity could be a sign your servers are under attack

Global server market revenue declined 6.0% year over year in 1Q20

Vendor revenue in the worldwide server market declined 6.0% year over year to $18.6 billion during the first quarter of 2020 (1Q20). Worldwide server shipments declined 0.2% year over year to just under 2.6 million units in 1Q20, IDC reveals. In terms … Continue reading Global server market revenue declined 6.0% year over year in 1Q20

New propagation module makes Trickbot more stealthy

Trickbot infections of Domain Controller (DC) servers has become more difficult to detect due to a new propagation module that makes the malware run from memory, Palo Alto Networks researchers have found. That also means that the malware infection can&… Continue reading New propagation module makes Trickbot more stealthy

Hackers breached six Cisco servers through SaltStack Salt vulnerabilities

Earlier this month, when F-Secure publicly revealed the existence of two vulnerabilities affecting SaltStack Salt and attackers started actively exploiting them, Cisco was among the victims. The revelation was made on Thursday, when Cisco published an … Continue reading Hackers breached six Cisco servers through SaltStack Salt vulnerabilities