Joseph Lorenzo Hall, PhD

@danwallach We are moving past the era of patching buffer overflows. By enforcing structural verification in software and physical verification in hardware, we are building infrastructure where trust is mathematically and physically guaranteed. More: josephhall.org/blog/wallach-m… 6/6

@danwallach To survive hardware betrayal, DARPA's COOP program treats the processor as a black box. By monitoring physical exhaust like power fluctuations and EM emissions, COOP uses the analog signature of the chip as an undeniable oracle for digital correctness. 5/6

At NDSS 2026, @danwallach outlined DARPA's plan to solve memory safety bugs using AI. But the real rabbit hole is what happens next: securing hardware against physical decay. My new post on scaling election security principles to the global Internet: josephhall.org/blog/wallach-m… 1/6

Mazzy Star - Fade Into You | Live at Shoreline Amphitheatre (1994) youtube.com/watch?v=o4m5jQ…

Nightmare fuel to start a week of vacation: filling the espresso machine's water reservoir... only to have thousands of tiny red ants pour out. Evasive action taken and problem solved, but I still feel phantom ants crawling on me. I just wanted coffee.

I've resurrected my thesis-era CA 1% manual audit Election Administration "Dice Binning Calculator" josephhall.org/dicebins/ (originally at: josephhall.org/dicebins.php )

@MilesParks really enjoy you on NPR Politics Podcast

Sweetie loves horror movies. A jump scare in Hokum was so effective I think I actually pulled a muscle. The things we do for love. Go see it.

Hey everyone. We’ve seen the discussions around Copy Fail (CVE-2026-31431) and the disclosure process. We appreciate the passion from distro maintainers, defenders, and the broader Linux community. This is a serious issue, and we want to share some context on our side in good faith. 🧵

@brian_pak @threadreaderapp unroll

We’re grateful to the kernel security team and everyone working hard on patches. Looking ahead, we’re sure Xint and our researchers will uncover many more critical vulnerabilities. We’ll try our best next time to create less chaos for folks. Happy to discuss improvements openly. Thanks for reading. Let’s keep making Linux stronger together. 🙏

RIP Stew Baker; countless arguments in the crypto wars, always with a smile and creativity

my thing is intentionally breaking my Duolingo streak. That's the real game

Been overhauling my website with Gemini as a coding companion and finally getting closer to a fully modular cv: josephhall.org/cv/

Upgraded my navy GR1 with the greatest state flag in the country. Proud to represent Maryland wherever this bag travels.

The Chinese Government Just Got the World’s Largest Digital Rights Conference Canceled wired.com/story/the-chin…

"We believe foreign interference is the reason RightsCon 2026 won’t proceed in Zambia or online." A statement to our community about why RightsCon 2026 will not take place in Zambia | RightsCon Summit Series rightscon.org/rc26-statement/

Who Owns the Code Claude Wrote? legallayer.substack.com/p/who-owns-the…