Experimental News Clipping Site

Tag: Smart Contracts

  • 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…

  • Hacker News: The $1.5B Bybit Hack: The Era of Operational Security Failures Has Arrived

    —

    by

    Kurt Seifried
    in

    Source URL: https://blog.trailofbits.com/2025/02/21/the-1.5b-bybit-hack-the-era-of-operational-security-failures-has-arrived/ Source: Hacker News Title: The $1.5B Bybit Hack: The Era of Operational Security Failures Has Arrived Feedly Summary: Comments AI Summary and Description: Yes Summary: The text discusses a significant operation security breach in the cryptocurrency domain, highlighting how sophisticated attackers, particularly North Korean state-sponsored threat actors, have shifted from exploiting vulnerabilities…

  • Rekt: Ionic Money – Rekt

    —

    by

    Kurt Seifried
    in

    Source URL: https://www.rekt.news/ionic-money-rekt Source: Rekt Title: Ionic Money – Rekt Feedly Summary: Fake LBTC, real losses. Social engineering artists convinced Ionic Money on Mode Network to accept counterfeit collateral, walked away with $6.9M, and left sister protocols holding toxic bags. Previously exploited twice as Midas – third time rekt’s the charm. AI Summary and Description:…

  • The Register: US accuses Canadian math prodigy of $65M crypto scheme

    —

    by

    Kurt Seifried
    in

    Source URL: https://www.theregister.com/2025/02/04/math_prodigy_crypto_scheme/ Source: The Register Title: US accuses Canadian math prodigy of $65M crypto scheme Feedly Summary: Suspect, still at large, said to back concept that ‘code is law’ New York feds today unsealed a five-count criminal indictment charging a 22-year-old Canadian math prodigy with exploiting vulnerabilities in two decentralized finance protocols, allegedly using…