Experimental News Clipping Site

Tag: proof

  • The Register: HybridPetya: More proof that Secure Boot bypasses are not just an urban legend

    —

    by

    Kurt Seifried
    in

    Source URL: https://www.theregister.com/2025/09/12/hopefully_just_a_poc_hybridpetya/ Source: The Register Title: HybridPetya: More proof that Secure Boot bypasses are not just an urban legend Feedly Summary: Although it hasn’t been seen in the wild yet A new ransomware strain dubbed HybridPetya was able to exploit a patched vulnerability to bypass Unified Extensible Firmware Interface (UEFI) Secure Boot on unrevoked…

  • Krebs on Security: Bulletproof Host Stark Industries Evades EU Sanctions

    —

    by

    Kurt Seifried
    in

    Source URL: https://krebsonsecurity.com/2025/09/bulletproof-host-stark-industries-evades-eu-sanctions/ Source: Krebs on Security Title: Bulletproof Host Stark Industries Evades EU Sanctions Feedly Summary: In May 2025, the European Union levied financial sanctions on the owners of Stark Industries Solutions Ltd., a bulletproof hosting provider that materialized two weeks before Russia invaded Ukraine and quickly became a top source of Kremlin-linked cyberattacks and…

  • The Register: Anthropic’s Claude Code runs code to test it if is safe – which might be a big mistake

    —

    by

    Kurt Seifried
    in

    Source URL: https://www.theregister.com/2025/09/09/ai_security_review_risks/ Source: The Register Title: Anthropic’s Claude Code runs code to test it if is safe – which might be a big mistake Feedly Summary: AI security reviews add new risks, say researchers App security outfit Checkmarx says automated reviews in Anthropic’s Claude Code can catch some bugs but miss others – and…

  • Simon Willison’s Weblog: Load Llama-3.2 WebGPU in your browser from a local folder

    —

    by

    Kurt Seifried
    in

    Source URL: https://simonwillison.net/2025/Sep/8/webgpu-local-folder/#atom-everything Source: Simon Willison’s Weblog Title: Load Llama-3.2 WebGPU in your browser from a local folder Feedly Summary: Load Llama-3.2 WebGPU in your browser from a local folder Inspired by a comment on Hacker News I decided to see if it was possible to modify the transformers.js-examples/tree/main/llama-3.2-webgpu Llama 3.2 chat demo (online here,…

  • Slashdot: Mathematicians Find GPT-5 Makes Critical Errors in Original Proof Generation

    —

    by

    Kurt Seifried
    in

    Source URL: https://science.slashdot.org/story/25/09/08/165206/mathematicians-find-gpt-5-makes-critical-errors-in-original-proof-generation?utm_source=rss1.0mainlinkanon&utm_medium=feed Source: Slashdot Title: Mathematicians Find GPT-5 Makes Critical Errors in Original Proof Generation Feedly Summary: AI Summary and Description: Yes Summary: The text discusses a study by University of Luxembourg mathematicians that evaluated the capabilities of GPT-5 in extending a qualitative mathematical theorem. The findings revealed significant shortcomings of the AI, particularly…

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

  • Schneier on Security: GPT-4o-mini Falls for Psychological Manipulation

    —

    by

    Kurt Seifried
    in

    Source URL: https://www.schneier.com/blog/archives/2025/09/gpt-4o-mini-falls-for-psychological-manipulation.html Source: Schneier on Security Title: GPT-4o-mini Falls for Psychological Manipulation Feedly Summary: Interesting experiment: To design their experiment, the University of Pennsylvania researchers tested 2024’s GPT-4o-mini model on two requests that it should ideally refuse: calling the user a jerk and giving directions for how to synthesize lidocaine. The researchers created experimental…

  • Cloud Blog: StreamSight: Driving transparency in music royalties with AI-powered forecasting

    —

    by

    Kurt Seifried
    in

    Source URL: https://cloud.google.com/blog/products/media-entertainment/streamsight-driving-transparency-in-music-royalties-with-ai-powered-forecasting/ Source: Cloud Blog Title: StreamSight: Driving transparency in music royalties with AI-powered forecasting Feedly Summary: In an industry generating vast volumes of streaming data every day, ensuring precision, speed, and transparency in royalty tracking is a constant and evolving priority. For music creators, labels, publishers, and rights holders, even small gaps in…

  • Cloud Blog: Accelerate your IPv6 journey: Introducing DNS64 and NAT64 for the Cross-Cloud Network

    —

    by

    Kurt Seifried
    in

    Source URL: https://cloud.google.com/blog/products/networking/connect-ipv6-only-workloads-to-ipv4-with-dns64-and-nat64/ Source: Cloud Blog Title: Accelerate your IPv6 journey: Introducing DNS64 and NAT64 for the Cross-Cloud Network Feedly Summary: We introduced Cross-Cloud Network to help organizations transform hybrid and multicloud connectivity, and today, many customers are using it to build distributed applications across multiple clouds, on-premises networks, and the internet. A key aspect…