Sign in

Paul Meyer

@katexochen.bsky.social
40 followers 31 following 22 posts

software eng @ Amutable | #nixpkgs maintainer #ConfidentialComputing #Nix #NixOS #ReproducibleBuilds

PostsRepliesMedia
Paul Meyer @katexochen.bsky.social · 22/09/2026
TPM PCRs are scarce, so systemd allocates PCR-like registers in the TPM's NV memory. The way these NvPCRs are securely anchored was reworked in v262. I wrote up how the new design works by rebuilding an NvPCR from scratch against a software TPM: katexochen.aro.bz/posts/system...
katexochen.aro.bz
Understanding NvPCRs in systemd v262
systemd answers TPM PCR scarcity with additional PCR-like registers allocated in the TPM’s NV memory, with an anchoring design that was reworked in v262. In this hands-on deep dive, we rebuild a syste...
100
Paul Meyer @katexochen.bsky.social · 29/04/2026
Building reproducibly is important for remote attestation but hard if artifacts contain signatures. I wrote about how we use ECDSA public key recovery to create secure, reproducible signatures, without anyone knowing a private key. katexochen.aro.bz/posts/reprod... #ReproducibleBuilds #Cryptography
katexochen.aro.bz
Secure signatures without a private key
Reproducible builds allow anyone to verify that a binary matches its source code. But what if the build artifact must contain a cryptographic signature? Reproducing the signature requires the private ...
000
Paul Meyer @katexochen.bsky.social · 07/04/2026
> [TEEs] and in general hardware attestation are just f***d. All their keys and roots are not PQ and I heard of no progress in rolling out PQ ones, which at hardware speeds means we are forced to accept they might not make it words.filippo.io/crqc-timeline/ #ConfidentialComputing #pqc
words.filippo.io
A Cryptography Engineer’s Perspective on Quantum Computing Timelines
The risk that cryptographically-relevant quantum computers materialize within the next few years is now high enough to be dispositive, unfortunately.
000
Paul Meyer @katexochen.bsky.social · 07/04/2026
Recordings of OC3 2026 (Open Confidential Computing Conference) are now available: www.youtube.com/playlist?lis... #ConfidentialComputing #Cloud #CloudSecurity #AI
youtube.com
OC3 2026 - YouTube
OC3 is the conference that brings together the confidential computing community. The event is hosted and organized by Edgeless Systems.
000
Paul Meyer @katexochen.bsky.social · 07/04/2026
BadAML exploits host-supplied ACPI tables to get arbitrary code execution inside confidential VMs. We reproduced the attack end-to-end against our stack and built an AML sandbox to stop it. katexochen.aro.bz/posts/badaml/ #ConfidentialComputing #Security #Linux
katexochen.aro.bz
Reproducing and mitigating BadAML
BadAML is an attack that exploits host-supplied ACPI tables to gain arbitrary code execution inside confidential VMs, bypassing their memory isolation guarantees. Working on Contrast, we reproduced th...
000
Paul Meyer @katexochen.bsky.social · 31/10/2025
Call for Participation: Nix and NixOS devroom @ FOSDEM 2026 The devroom provides a welcoming space for the Nix community and its extended projects, to give time and space for both technical and non-technical talks about Nix/NixOS. discourse.nixos.org/t/call-for-p... #Nix #NixOS #FOSDEM #fosdem2026
discourse.nixos.org
Call for Participation: Nix and NixOS devroom @ FOSDEM 2026
We are pleased to announce the Nix and NixOS devroom will return for another year at FOSDEM 2026, and with that comes the Call for Participation! The Nix and NixOS devroom aims to provide a welcoming...
041
Reposted by Paul Meyer
NixOS Transylvania Sprint @transylvaniasprint.bsky.social · 23/06/2025
Announcing: Transylvania Sprint - One Week of Nix/OS Hacking Date: October 6-11, 2025 Location: Recenter House, Adrianu Mare, Romania Registration is open! More details at: transylvaniasprint.org #nixos #nix #OpenSource #Hackathon #Romania #Events #Sprint #Transylvania
transylvaniasprint.org
Transylvania Sprint
Nix/OS hackathon in Transylvania, Romania
132
Paul Meyer @katexochen.bsky.social · 24/05/2025
Let's take a look at the #NixOS 25.05 release notes. 👀 Starting on the NixOS side of things: nixos-rebuild-ng, a full rewrite of nixos-rebuild in Python, is available for testing. You can enable it by setting 'system.rebuild.enableNg' in your configuration (to replace the old nixos-rebuild), [1/x]
140
Paul Meyer @katexochen.bsky.social · 23/05/2025
NixOS 25.05 "Warbler" is now released! 🎉 nixos.org/blog/announc... #NixOS #nixpkgs #nix #distro #openSource #linux
nixos.org
NixOS 25.05 released | Blog | Nix & NixOS
Nix is a tool that takes a unique approach to package management and system configuration. Learn how to make reproducible, declarative and reliable systems.
010
Paul Meyer @katexochen.bsky.social · 24/04/2025
SaltSprint, a new NixOS hackathon in Halle (Saale), Germany, announced! From June 30 – July 4, 2025, a week of intense Nix hacking, collaboration, and knowledge sharing in central Germany. saltsprint.org The sprint is hosted by flyingcircus.io. #Nix #NixOS #OpenSource #Hackathon
saltsprint.org
Saltsprint 2025 - One week of NixOS hacking in Halle (Saale)
Develop, learn and grow together with the NixOS community: The Saltsprint in the SaltLabs - organised by the Flying Circus.
030
Paul Meyer @katexochen.bsky.social · 24/04/2025
Nice, screen sharing with chromium + pipewire fixed again on NixOS. github.com/NixOS/nixpkgs/pull/398963 Commit is already included in all unstable channels. #NixOS #nixpkgs
github.com
chromium: fix SIGKILL when trying to screenshare with PipeWire 1.4 by emilylange · Pull Request #398963 · NixOS/nixpkgs
Fixes #390975. See https://chromium-review.googlesource.com/c/chromium/src/+/6421030. Electron is not affected by this because it is built with use_cfi=false. Things done Built on platform(s) x8...
030
Paul Meyer @katexochen.bsky.social · 23/04/2025
"You don't have to chase the commercial endeavor, but it may come [...] to you. [...] If you want there to be peace in the project, give people extension points where necessary, so that everything doesn't have to flow into core in order to feel like it's a first class citizen."-@kelseyhightower.com
100