Experimental News Clipping Site

Tag: smart contract

  • Slashdot: Boffins Build Automated Android Bug Hunting System

    —

    by

    Kurt Seifried
    in

    Source URL: https://it.slashdot.org/story/25/09/05/196218/boffins-build-automated-android-bug-hunting-system?utm_source=rss1.0mainlinkanon&utm_medium=feed Source: Slashdot Title: Boffins Build Automated Android Bug Hunting System Feedly Summary: AI Summary and Description: Yes Summary: The text discusses an innovative AI-powered bug-hunting agent called A2, developed by researchers from Nanjing University and the University of Sydney. This agent aims to enhance vulnerability discovery in Android apps, achieving significantly higher…

  • The Register: At last, a use case for AI agents with high sky-high ROI: Stealing crypto

    —

    by

    Kurt Seifried
    in

    Source URL: https://www.theregister.com/2025/07/10/ai_agents_automatically_steal_cryptocurrency/ Source: The Register Title: At last, a use case for AI agents with high sky-high ROI: Stealing crypto Feedly Summary: Boffins outsmart smart contracts with evil automation Using AI models to generate exploits for cryptocurrency contract flaws appears to be a promising business model, though not necessarily a legal one.… AI Summary…

  • Rekt: KiloEx – Rekt

    —

    by

    Kurt Seifried
    in

    Source URL: https://www.rekt.news/kiloex-rekt Source: Rekt Title: KiloEx – Rekt Feedly Summary: Oracle manipulation 101 – check your damn validation. KiloEx lost almost $7.5 million when their MinimalForwarder contract accepted any forged signature without verification. The attack hit Base, BNB Chain, opBNB, Taiko, and Manta simultaneously. AI Summary and Description: Yes Summary: The text highlights a…

  • Hacker News: Coq-of-rust: Formal verification tool for Rust

    —

    by

    Kurt Seifried
    in

    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

    —

    by

    Kurt Seifried
    in

    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…

  • Schneier on Security: North Korean Hackers Steal $1.5B in Cryptocurrency

    —

    by

    Kurt Seifried
    in

    Source URL: https://www.schneier.com/blog/archives/2025/02/north-korean-hackers-steal-1-5b-in-cryptocurrency.html Source: Schneier on Security Title: North Korean Hackers Steal $1.5B in Cryptocurrency Feedly Summary: It looks like a very sophisticated attack against the Dubai-based exchange Bybit: Bybit officials disclosed the theft of more than 400,000 ethereum and staked ethereum coins just hours after it occurred. The notification said the digital loot had…

  • Rekt: Infini – Rekt

    —

    by

    Kurt Seifried
    in

    Source URL: https://www.rekt.news/infini-rekt Source: Rekt Title: Infini – Rekt Feedly Summary: The perfect DeFi hack. No flash loans, no zero-days. Just a rogue dev who built a backdoor, waited 114 days, then drained $49.5M from Infini with admin privileges. Same old story, new-age incompetence. When will protocols learn that admin keys aren’t toys? AI Summary…