Tag: contracts
-
Hacker News: Coq-of-rust: Formal verification tool for Rust
Source URL: https://github.com/formal-land/coq-of-rust Source: Hacker News Title: Coq-of-rust: Formal verification tool for Rust Feedly Summary: Comments AI Summary and Description: Yes Summary: The text discusses “coq-of-rust,” a formal verification tool designed for the Rust programming language, aimed at ensuring that applications are bug-free through mathematical proofs. This tool highlights an innovative approach to bolster software…
-
Rekt: 1Inch – Rekt
Source URL: https://www.rekt.news/1inch-rekt Source: Rekt Title: 1Inch – Rekt Feedly Summary: One hacker transformed 1inch resolver contracts into a $5 million ATM through an integer underflow exploit – all with a negative 512 value. Attacker pocketed $450K as a “bounty" for exposing two years of an undetected vulnerability. AI Summary and Description: Yes Summary: This…
-
The Register: CISA: We didn’t fire our red team, we just unhired a bunch of them
Source URL: https://www.theregister.com/2025/03/13/cisa_red_team_layoffs/ Source: The Register Title: CISA: We didn’t fire our red team, we just unhired a bunch of them Feedly Summary: Agency tries to save face as it also pulls essential funding for election security initiatives The US cybersecurity agency is trying to save face by seeking to clear up what it’s calling…
-
The Register: CISA worker says 100-strong Red Team fired after DOGE cancelled contract
Source URL: https://www.theregister.com/2025/03/12/cisa_staff_layoffs/ Source: The Register Title: CISA worker says 100-strong Red Team fired after DOGE cancelled contract Feedly Summary: Election infosec advisory agency also shuttered A penetration tester who worked at the US govt’s CISA claims his 100-strong team was dismissed after Elon Musk’s Trump-blessed DOGE unit cancelled a contract – and that more…
-
The Register: The NHS security culture problem is a crisis years in the making
Source URL: https://www.theregister.com/2025/03/10/nhs_security_culture/ Source: The Register Title: The NHS security culture problem is a crisis years in the making Feedly Summary: Insiders say board members must be held accountable and drive positive change from the top down Analysis Walk into any hospital and ask the same question – “Which security system should we invest in?"…
-
The Register: Broadcom has won. 70 percent of large VMware customers bought its biggest bundle
Source URL: https://www.theregister.com/2025/03/07/broadcom_q1_fy2025/ Source: The Register Title: Broadcom has won. 70 percent of large VMware customers bought its biggest bundle Feedly Summary: Now working with seven hyperscalers for custom AI silicon. Not working on acquiring bits of Intel Broadcom’s acquisition of VMware appears to be a big success, on the balance sheet at least, after…
-
The Register: UK government’s cloud strategy: Pay more, get less, blame vendor lock-in?
Source URL: https://www.theregister.com/2025/02/28/uk_government_cloud_strategy/ Source: The Register Title: UK government’s cloud strategy: Pay more, get less, blame vendor lock-in? Feedly Summary: Home Office’s £450M deal with AWS raises questions over competition and aligning department requirements UK central government departments need to better align their requirements in cloud computing to get better deals out of the big…
-
The Register: 30-year-old NHS supply chain system hit by 35 major alerts in 11 months
Source URL: https://www.theregister.com/2025/02/27/thirtyyearold_nhs_supply_chain_system/ Source: The Register Title: 30-year-old NHS supply chain system hit by 35 major alerts in 11 months Feedly Summary: Thousands of order lines not picked, causing delays to hospital deliveries A state-owned company that handles £4.5 billion ($5.7 billion) annual spending on behalf of the NHS has suffered 35 high-priority computer system…