The Hat, the Spectre and SAT Solvers (2024)

nhatcher.com

Sat, Jan 27, 2024 16-minute read In this blog post you are going to read about two things: A new flashy discovery in mathematics: aperiodic tilings of the plane with a single monotile SAT solvers. A family of not so … Read more

A Spectre Is Haunting Unicode

dampfkraft.com
a-spectre-is-haunting-unicode

In 1978 Japan’s Ministry of Economy, Trade and Industry established the encoding that would later be known as JIS X 0208, which still serves as an important reference for all Japanese encodings. However, after the JIS standard was released people … Read more

Spectre Mitigations Murder Userspace Performance

robert.ocallahan.org
spectre-mitigations-murder-userspace-performance

I just made a performance improvement to the (single-threaded) rr sources command to cache the results of access system calls checking for directory existence. It’s a simple and very effective optimization on my Skylake, Linux 5.12 laptop: Before: [roc@localhost code]$ … Read more

Spectre in JavaScript

leaky.page

This site hosts a proof of concept for the Spectre vulnerability written in JavaScript. It was developed and optimized for Chrome 88 running on an Intel® Core™ i7-6500U processor on Linux. While it was confirmed to work on other CPUs (different … Read more

Spectre exploits in the “wild”

dustri.org

Someone was silly enough to upload a working spectre (CVE-2017-5753) exploit for Linux (there is also a Windows one with symbols that I didn’t look at.) on VirusTotal last month, so here is my quick Sunday afternoon lazy analysis. The … Read more