A SAT Attack on Tarski’s High School Algebra Problem

arxiv.org
a-sat-attack-on-tarski’s-high-school-algebra-problem

Abstract:Tarski’s high school algebra problem asks whether every true identity concerning addition, multiplication, and exponentiation of positive integers follows from a list of 11 elementary identities. Surprisingly, Wilkie showed that the following identity is valid over the positive integers and … Read more

Is the attack helicopter dead?

hushkit.net
is-the-attack-helicopter-dead?

The attack helicopter is costly and complex to operate, yet it is taking a mauling in the Russian invasion of Ukraine. Russia’s full-scale invasion attempt of Ukraine starting in 2022 has shown both the vulnerability of helicopters and the effectiveness … Read more

The DDoS Attack of Academic Bullshit

benlandautaylor.com
the-ddos-attack-of-academic-bullshit

Not long ago, during a discussion with a Zoomer colleague about how to find research material, I realized that he had never experienced internet search back when it was good. I tried to explain how it used to be easier … Read more

The xz attack shell script

research.swtch.com

Introduction Andres Freund published the existence of the xz attack on 2024-03-29 to the public oss-security@openwall mailing list. The day before, he alerted Debian security and the (private) distros@openwall list. In his mail, he says that he dug into this … Read more

We are under DDoS attack and we do nothing

tableplus.com
we-are-under-ddos-attack-and-we-do-nothing

We’re under DDoS Attack Someone has been attempting to DDoS us for weeks now. They have flooded our server with hundreds of millions of requests and attempted to download our setup file millions of times. (In the last 5 days … Read more

Attack of the Week: Airdrop Tracing

blog.cryptographyengineering.com
attack-of-the-week:-airdrop-tracing

It’s been a while since I wrote an “attack of the week” post, and the fault for this is entirely mine. I’ve been much too busy writing boring posts about Schnorr signatures! But this week’s news brings an exciting story … Read more