Formal-Methods-Based Bugfinding for LLVM’s AArch64 Backend

TypoSquatting, RepoJacking, and Domain Takeover – The Story of the Recent Attacks

A layered approach to content blocking

Issue #233

6/7/2022

Or subscribe using...
Github icon for OAuth via Github Google icon for OAuth via Google
{{!PreviewText!}} 

Shadoop
There's a seagull nest on the roof across the street from my window, and I feel like I've become far too invested in their success. They're so damn adorable, even though I saw them ripping apart the carcass of a pigeon a couple of days ago.
I'm guessing it's hormones or instincts, but I'd say over the past two years I've felt a drastic change in my attitude towards children (in the positive direction). The human body is an insanely complicated and interesting organic machine. Imagine if your computer started to all of a sudden hint at it wanting you to get another one to replace it. I guess it kind of does that as it becomes obsolete and can no longer run modern (bloated?) software. Oh jeez, am I just becoming obsolete?
Anyway, a little unrelated digression, but those are healthy every once in a while. Here's the issue.

====================================================================

Formal-Methods-Based Bugfinding for LLVM’s AArch64 Backend

Published: 6 June 2022
Tags: compiler, formal methods


Ryan Berger, Stefan Mada, Nader Boushehri, and John Regehr demonstrate an approach to finding miscompilation errors in a LLVM backend using formal methods.


====================================================================

TypoSquatting, RepoJacking, and Domain Takeover – The Story of the Recent Attacks

Published: 1 June 2022
Tags: infosec, python, rust


Alex Ilgayev covers three recent incidents involving malicious packages in the Rust and Python ecosystems.


====================================================================

A layered approach to content blocking

Published: 4 June 2022
Tags: web


Rohan Kumar explains how an update to the extension API in Chrome will affect content filtering (ad blockers).


Want to help and get cool stuff?

Thank you for reading! If you enjoy the newsletter, I would really appreciate you helping me spread the word by forwarding this to your friends and colleagues or sharing it on social media! Get cool stuff for your referrals using your link https://abyteofcoding.com or the buttons below.

Your referrals:


If you want to discuss or comment on this issue, head on over to this page at A Byte of Coding. You can also subscribe there if you're new!

Have comments or feedback? Just reply to this email or hit me up on Twitter @AByteOfCoding.

Email landed in your promotions tab? Please move it over to primary so you don't miss the latest issues in the future.
Thanks for your Support! 

Thanks to sponsors and supporters like Євген Грицай, Scott Munro, zturak, pek, Emil Hannesbo, Joe Hill, Astrid Sapphire, Gregory Mazzola, moki scott, Michael, Matt Braun, Tim Nash, Christoffer, and Mike Rhodes this newsletter is provided to you for free. If you'd like to also show your support and buy me a monthly meal, you can donate on the Patreon page. It's not necessary, but it lets me know that I'm doing a good job and that you're finding value in the content.


Stats (updated daily)

Sent: 2848

Opens: 1338

Clicks: 296

Link Clicks Clicks % Unique Clicks Unique Clicks %
Formal-Methods-Based Bugfinding for LLVM’s AArch64 Backend 52 22.61% 57 22.80
TypoSquatting, RepoJacking, and Domain Takeover – The Story of the Recent Attacks 88 38.26% 94 37.60
A layered approach to content blocking 90 39.13% 99 39.60

Previous

Back to Issues

Next