Tootfinder

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended version)
Linard Arquint, Samarth Kishor, Jason R. Koenig, Joey Dodds, Daniel Kroening, Peter M\"uller
https://arxiv.org/abs/2507.00595

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended version)
Existing program verifiers can prove advanced properties about security protocol implementations, but are difficult to scale to large codebases because of the manual effort required. We develop a novel methodology called *Diodon* that addresses this challenge by splitting the codebase into the protocol implementation (the *Core*) and the remainder (the *Application*). This split allows us to apply powerful semi-automated verification techniques to the security-critical Core, while fully-automat…

This is the first I've heard of this:
“They’re finding backdoors in Barbie dolls,” said Antani, now CEO of Horizon3.ai, a cybersecurity firm, referring to concerns from researchers who successfully hacked the microphone of a digitally connected version of the toy."
https://

Smartphones have become an intelligence treasure trove
Hackers tied to China's government have tried repeatedly to access the phones of prominent Americans, part of Beijing's sprawling cyberespionage efforts. Smartphones and other mobile devices present significant national security and cybersecurity risks, as foreign government hackers exploit vulnerabilities in mobile networks and apps to spy on people and steal secrets. And people's careless use of mobile devices to share sensitive information is another concern. National security experts say th…

This https://arxiv.org/abs/1911.11868 has been replaced.
link: https://scholar.google.com/scholar?q=a

A Unified View of Graph Regularity via Matrix Decompositions
We prove algorithmic weak and \Szemeredi{} regularity lemmas for several classes of sparse graphs in the literature, for which only weak regularity lemmas were previously known. These include core-dense graphs, low threshold rank graphs, and (a version of) $L^p$ upper regular graphs. More precisely, we define \emph{cut pseudorandom graphs}, we prove our regularity lemmas for these graphs, and then we show that cut pseudorandomness captures all of the above graph classes as special cases. The …

"NFC is getting a range boost"
Sure, what could go wrong?
https://www.theverge.com/news/689281/nfc-15-update-tap-to-pay-range-boost

It’s infuriating that every Substack email comes with a “read in app” link but it just takes you to the App Store, even if you have the app installed already. If you then tap “Open”, it just opens the app; it doesn’t take you to the specific post you were trying to read.
Yes, websites can’t tell which apps you have installed. Which is why Substack should link to the web version with a Smart App Banner. Not rocket science, but I guess that would make it too easy to avoid the app??

Meta reveals more information about its research glasses Aria Gen 2, including their form factor, computer vision cameras, sensors, and on-device compute (Emma Roth/The Verge)
https://www.theverge.com/news/679707/meta-aria-gen-2-upgrades-specs-ai

Here’s what’s inside Meta’s experimental new smart glasses
Meta has revealed the technical details about Aria Gen 2, the latest version of its experimental smart glasses designed for researchers.

@… well, I have a LineageOS and Gemini app for some time for testing and while I'm far from the AI hype, the version that Google is doing really speaks to me. They integrate those LLM features very nicely and very smart.
Like in Google Sheets where I can do some quick calculations without making some crazy functions. Or recognizing a plan…